Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 54b28a0e authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Updated build.sh and test.sh to fail more gracefully

when Menhir or MenhirLib cannot be built or installed.
parent 11269a29
No related branches found
No related tags found
No related merge requests found
......@@ -24,5 +24,10 @@ fi
# Re-install MenhirLib.
ocamlfind remove menhirLib
ocamlfind install menhirLib $SRC/META $BUILD/menhirLib.cmi $BUILD/menhirLib.cmo $BUILD/menhirLib.cmx $BUILD/menhirLib.o
if ! ocamlfind install menhirLib \
$SRC/META $BUILD/menhirLib.cmi $BUILD/menhirLib.cmo \
$BUILD/menhirLib.cmx $BUILD/menhirLib.o ; then
echo "Could not install MenhirLib. Stop."
exit 1
fi
......@@ -7,7 +7,7 @@
. ./config.sh
# Make sure Menhir and MenhirLib are up-to-date.
./build.sh
./build.sh || exit 1
# Build the parser with the code back-end and run it.
echo "Building and running (code)..."
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment