Commit 9c04c29f authored by MARCHE Claude's avatar MARCHE Claude

fix again the probelm of quotes

parent a058b788
......@@ -1098,10 +1098,10 @@ drivers/isabelle-realizations.aux: Makefile
) > $@
install_no_local::
cp -r lib/isabelle $(LIBDIR)/why3
cp drivers/isabelle-realizations.aux $(DATADIR)/why3/drivers/
@(d=`isabelle components -l | grep why3`; \
if test "$$d" != $(LIBDIR)/why3/isabelle; then \
cp -r lib/isabelle "$(LIBDIR)/why3"
cp drivers/isabelle-realizations.aux "$(DATADIR)/why3/drivers/"
@(d=`isabelle components -l | grep why3 | sed -e 's/^ *//' `; \
if test "$$d" != "$(LIBDIR)/why3/isabelle"; then \
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]"; \
......@@ -1109,8 +1109,8 @@ install_no_local::
fi)
install_local::
@(d=`isabelle components -l | grep why3`; \
if test "$$d" != `pwd`/lib/isabelle; then \
@(d=`isabelle components -l | grep why3 | sed -e 's/^ *//'`; \
if test "$$d" != "`pwd`/lib/isabelle"; then \
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]"; \
......
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