scripts/coccicheck/configure

   1 #!/bin/bash
   2
   3 MODE=$1
   4 PROJECT=$2
   5
   6 if [ "$MODE" == "" -o "$PROJECT" == "" ]; then
   7         echo -e "\n\tUsage: $0 mode path\n"
   8         echo -e "\tmode\torg or diff according to your needs"
   9         echo -e "\tpath\tyour project path\n"
  10         exit 1
  11 fi
  12
  13 SPATCHVER=`spatch -version 2>&1 | sed "s|spatch version \([^ ]*\) .*|\1|"`
  14 WITHPYTHON=`spatch -version 2>&1 | sed "s|spatch version \([^ ]*\) with Python support|yes|"`
  15 WITHPYTHON=`echo $WITHPYTHON | sed "s|spatch version \([^ ]*\) without Python support||"`
  16
  17 echo "Using spatch version $SPATCHVER"
  18 #TODO: Add version check
  19
  20 if [ "$WITHPYTHON" ] ; then
  21     echo "Your version has been build with Python support"
  22 else
  23     echo "Your version has no Python support"
  24     if [ "org" == "$MODE" ] ; then
  25         echo "org mode requires Python support."
  26         exit 1
  27     fi
  28 fi
  29 echo
  30
  31 echo "Using PREFIX="${PREFIX:=`pwd`}
  32 echo "Using PROJECT="${PROJECT:=$PREFIX/project}
  33 echo "Using COCCI="${COCCI:=$PREFIX/cocci}
  34 echo "Using RESULTS="${RESULTS:=$PREFIX/results}
  35
  36 if [ "`which glimpse`" ]; then
  37     FLAGS=${SPFLAGS:="-timeout 60 -use_glimpse"}
  38 else
  39     FLAGS=${SPFLAGS:="-timeout 60"}
  40 fi
  41 SPFLAGS="$FLAGS -D $MODE"
  42 echo "Using SPFLAGS="$SPFLAGS
  43
  44 echo -e "\nFor efficiency, run \`<coccinelle dir>/scripts/glimpseindex_cocci.sh\`"
  45 echo -e "in $PROJECT"
  46 echo -e "NB: glimpse is available at http://webglimpse.net/ but it is not under the GPL.\n"
  47
  48 sed -i "s|^PREFIX?=.*$|PREFIX?=${PREFIX}|" Makefile
  49 sed -i "s|^PROJECT?=.*$|PROJECT?=${PROJECT}|" Makefile
  50 sed -i "s|^COCCI?=.*$|COCCI?=${COCCI}|" Makefile
  51 sed -i "s|^RESULTS?=.*$|RESULTS?=${RESULTS}|" Makefile
  52 sed -i "s|^SPFLAGS?=.*$|SPFLAGS?=\"${SPFLAGS}\"|" Makefile
  53