Commit 658992fa authored by MARCHE Claude's avatar MARCHE Claude

install Isabelle: do not fail if compilation fails

parent 7226a369
......@@ -1176,7 +1176,7 @@ install_no_local::
echo "[Warning] Cannot pre-build the Isabelle heap because the"; \
echo " current Why3 path in Isabelle component configuration [$$d]"; \
echo " is not the same as the current install dir [$(LIBDIR)/why3/isabelle]"; \
else isabelle build -bc Why3 ; \
else (isabelle build -bc Why3 ; true) \
fi)
install_local::
......@@ -1185,7 +1185,7 @@ install_local::
echo "[Warning] Cannot pre-build the Isabelle heap because the"; \
echo " current Why3 path in Isabelle component configuration [$$d]"; \
echo " is not the same as the current install dir [`pwd`/lib/isabelle]"; \
else isabelle build -bc Why3 ; \
else (isabelle build -bc Why3 ; true)\
fi)
......
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