From 686fc096c25a6147cf62feb46d5471fdca6e749d Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 13 Jul 2022 13:44:14 +0200
Subject: [PATCH] add informative messages during make install/uninstall
---
share/Makefile.installation | 2 ++
1 file changed, 2 insertions(+)
diff --git a/share/Makefile.installation b/share/Makefile.installation
index c5cd0159c6c..535654377a2 100644
--- a/share/Makefile.installation
+++ b/share/Makefile.installation
@@ -40,6 +40,7 @@ install:
ifeq ($(INSTALLDIR),)
dune install
else
+ @echo "Installing to prefix: ${INSTALLDIR}"
dune install --prefix ${INSTALLDIR}
@echo 'DO NOT FORGET TO EXPAND YOUR OCAMLPATH VARIABLE:'
@echo ' export OCAMLPATH="${INSTALLDIR}/lib:$$OCAMLPATH"'
@@ -49,5 +50,6 @@ uninstall:
ifeq ($(INSTALLDIR),)
dune uninstall
else
+ @echo "Uninstalling from prefix: ${INSTALLDIR}"
dune uninstall --prefix ${INSTALLDIR}
endif
--
GitLab