Commit d887a486 authored by POTTIER Francois's avatar POTTIER Francois

Updated and to fail more gracefully

when Menhir or MenhirLib cannot be built or installed.
parent 08b86d55
......@@ -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
......@@ -7,7 +7,7 @@
. ./
# Make sure Menhir and MenhirLib are up-to-date.
./ || exit 1
# Build the parser with the code back-end and run it.
echo "Building and running (code)..."
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