Commit 4de51f68 authored by POTTIER Francois's avatar POTTIER Francois

Fix [make reinstall] so that the libraries are properly installed and the demos can be built.

parent 8e5d3b0b
......@@ -267,8 +267,11 @@ unpin:
.PHONY: reinstall
reinstall:
$(MAKE) -C src bootstrap
opam reinstall --assume-built --working-dir menhir
opam reinstall -v --working-dir menhir
# We do not use --assume-built,
# as it would require first re-building everything using
# make PREFIX=`pwd`/src -f Makefile all
# and that is time-consuming.
# -------------------------------------------------------------------------
......
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