[bpt/coccinelle.git] / scripts / coccicheck / configure

#!/bin/bash

MODE=$1
PROJECT=$2

if [ "$MODE" == "" -o "$PROJECT" == "" ]; then
	echo -e "\n\tUsage: $0 mode path\n"
	echo -e "\tmode\torg or diff according to your needs"
	echo -e "\tpath\tyour project path\n"
	exit 1
fi

echo "Using PREFIX="${PREFIX:=`pwd`}
echo "Using PROJECT="${PROJECT:=$PREFIX/project}
echo "Using COCCI="${COCCI:=$PREFIX/cocci}
echo "Using RESULTS="${RESULTS:=$PREFIX/results}
echo "Using SPFLAGS="${SPFLAGS:="-timeout 60 -use_glimpse -D $MODE"}

echo -e "\nFor efficiency, run \`<coccinelle dir>/scripts/glimpseindex_cocci.sh\`"
echo -e "in $PROJECT\n"

sed -i "s|^PREFIX?=.*$|PREFIX?=${PREFIX}|" Makefile
sed -i "s|^PROJECT?=.*$|PROJECT?=${PROJECT}|" Makefile
sed -i "s|^COCCI?=.*$|COCCI?=${COCCI}|" Makefile
sed -i "s|^RESULTS?=.*$|RESULTS?=${RESULTS}|" Makefile
sed -i "s|^SPFLAGS?=.*$|SPFLAGS?=\"${SPFLAGS}\"|" Makefile
Commit	Line	Data
951c7801 C	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	echo "Using PREFIX="${PREFIX:=`pwd`}
	14	echo "Using PROJECT="${PROJECT:=$PREFIX/project}
	15	echo "Using COCCI="${COCCI:=$PREFIX/cocci}
	16	echo "Using RESULTS="${RESULTS:=$PREFIX/results}
	17	echo "Using SPFLAGS="${SPFLAGS:="-timeout 60 -use_glimpse -D $MODE"}
	18
	19	echo -e "\nFor efficiency, run \`<coccinelle dir>/scripts/glimpseindex_cocci.sh\`"
	20	echo -e "in $PROJECT\n"
	21
	22	sed -i "s\|^PREFIX?=.*$\|PREFIX?=${PREFIX}\|" Makefile
	23	sed -i "s\|^PROJECT?=.*$\|PROJECT?=${PROJECT}\|" Makefile
	24	sed -i "s\|^COCCI?=.*$\|COCCI?=${COCCI}\|" Makefile
	25	sed -i "s\|^RESULTS?=.*$\|RESULTS?=${RESULTS}\|" Makefile
	26	sed -i "s\|^SPFLAGS?=.*$\|SPFLAGS?=\"${SPFLAGS}\"\|" Makefile
	27