Skip to content
Snippets Groups Projects
Commit e908db98 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

fixes info about installation into a specific directory

parent e185f645
No related branches found
No related tags found
No related merge requests found
......@@ -175,8 +175,8 @@ ifeq ($(FRAMAC_INSTALLDIR),"")
dune install
else
dune install --prefix ${FRAMAC_INSTALLDIR}
echo 'DO NOT FORGET TO EXPAND YOUR OCAMLPATH VARIABLE:'
echo ' export OCAMLPATH="${FRAMAC_INSTALLDIR}:$$OCAMLPATH"'
@echo 'DO NOT FORGET TO EXPAND YOUR OCAMLPATH VARIABLE:'
@echo ' export OCAMLPATH="${FRAMAC_INSTALLDIR}/lib:$$OCAMLPATH"'
endif
uninstall:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment