Commit d9bffa2b authored by MARCHE Claude's avatar MARCHE Claude

[Isabelle] fix message when not building heap

parent 26e3d6c8
......@@ -1183,16 +1183,18 @@ install_no_local::
cp drivers/isabelle-realizations.aux $(DATADIR)/why3/drivers/
@(d=`isabelle components -l | grep why3`; \
if test $$d != $(LIBDIR)/why3/isabelle; then \
echo "Cannot build isabelle heap because component lib [$$d]"; \
echo "is not the same as the install dir [$(LIBDIR)/why3/isabelle]"; \
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 ; \
fi)
install_local::
@(d=`isabelle components -l | grep why3`; \
if test $$d != `pwd`/lib/isabelle; then \
echo "Cannot build isabelle heap because component lib [$$d]"; \
echo "is not the same as the install dir [`pwd`/lib/isabelle]"; \
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 ; \
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