diff --git a/Makefile b/Makefile
index 310df6be813458feab212edff6ca70b2114d9021..93a48b3a3abea589c5fbcd04da92f9638f946624 100644
--- a/Makefile
+++ b/Makefile
@@ -165,6 +165,25 @@ force-reconfigure:
 	expr `$(CAT) .force-reconfigure` + 1 > .force-reconfigure
 
 
+##############################################################################
+.phony: install uninstall
+
+FRAMAC_INSTALLDIR?=""
+
+install:
+ifeq ($(FRAMAC_INSTALLDIR),"")
+	dune install
+else
+	dune install --prefix ${FRAMAC_INSTALLDIR}
+endif
+
+uninstall:
+ifeq ($(FRAMAC_INSTALLDIR),"")
+	dune uninstall
+else
+	dune uninstall --prefix ${FRAMAC_INSTALLDIR}
+endif
+
 ###############################################################################
 # Local Variables:
 # compile-command: "make"