config.sh 235 Bytes
Newer Older
1 2
SRC=../src
BUILD=$SRC/_stage1
3 4

# An absolute path for Menhir.
5
MENHIR=$BUILD/menhir.native
POTTIER Francois's avatar
POTTIER Francois committed
6
if which greadlink >/dev/null ; then
7 8 9 10
  MENHIR=`greadlink -f $MENHIR`
else
  MENHIR=`readlink -f $MENHIR`
fi
11 12 13

CALC=calc
DATA=calc-data
14 15

GENE=gene