diff --git a/share/Makefile.installation b/share/Makefile.installation index c5cd0159c6c77cd98ea41d9cdf866050be17f9bb..535654377a202e058e18620fadb88e2900bb78cb 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