From e908db98f5a2e6a7b353e46759b5df9e46ff7398 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 29 Sep 2020 09:29:23 +0200
Subject: [PATCH] fixes info about installation into a specific directory
---
Makefile | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index f0c781533f0..1814f273604 100644
--- a/Makefile
+++ b/Makefile
@@ -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:
--
GitLab