Commit 643b92ab authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Improve config.sh so that it works even if the Menhir executable has not been

built yet.
parent da6c0241
SRC=../src
# Make SRC an absolute path.
# (We need at least MENHIR to be an absolute path.)
if command -v greadlink >/dev/null ; then
SRC=`greadlink -f $SRC`
else
SRC=`readlink -f $SRC`
fi
BUILD=$SRC/_stage1
# An absolute path for Menhir.
MENHIR=$BUILD/menhir.native
if which greadlink >/dev/null ; then
MENHIR=`greadlink -f $MENHIR`
else
MENHIR=`readlink -f $MENHIR`
fi
CALC=calc
DATA=calc-data
GENE=gene
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment