Commit 7d5de7c1 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Improve [make check] to auto-remove menhir and/or menhirLib, menhirSdk.

parent 83903260
......@@ -158,14 +158,16 @@ check:
# so that is what we do. For this reason, we must check first that
# ocamlfind does not already have some version of menhirLib.
@ if ocamlfind query menhirLib >/dev/null 2>/dev/null ; then \
echo "Error: menhirLib is already installed." ; \
echo "Please remove it first by running this command:" ; \
if opam list -i menhir >/dev/null ; then \
echo " opam remove menhir" ; \
echo "Warning: menhir is already installed." ; \
read -p "Can I remove it [Enter/^C]?" -n 1 -r ; \
opam remove menhir ; \
else \
echo " ocamlfind remove menhirLib" ; \
echo "Warning: menhirLib is already installed." ; \
read -p "Can I remove it [Enter/^C]?" -n 1 -r ; \
ocamlfind remove menhirLib ; \
ocamlfind remove menhirSdk || true ; \
fi ; \
exit 1 ; \
fi
@ TEMPDIR=`mktemp -d /tmp/menhir-test.XXXXXX` && { \
echo " * Extracting. " && \
......
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