diff --git a/abstractions/Makefile b/abstractions/Makefile
index 4cd69009a871beda1cd549f9f5d43b6997077b9a..b85a753079ff4424e9e1596aa54ccd5c7ec99f68 100644
--- a/abstractions/Makefile
+++ b/abstractions/Makefile
@@ -76,15 +76,13 @@ ds-abs_install:
 
 #------------------------------------------------------------------------------#
 # JMMMP
-jmmmp:
-	make -C $(abstractions_src)/jmmmp
-
+JMMMP_NAME = jmmmp
 jmmmp_install:
-	make -C $(abstractions_src)/jmmmp DESTDIR="$(DESTDIR)" objectsdir="$(objectsdir)" install
-
-jmmmp_clean:
-	make -C $(abstractions_src)/jmmmp clean
-
+	install -d $(DESTDIR)$(objectsdir)/$(JMMMP_NAME)
+	install -d $(DESTDIR)$(objectsdir)/$(JMMMP_NAME)/examples
+	install -p $(abstractions_src)/$(JMMMP_NAME)/*.* $(DESTDIR)$(objectsdir)/$(JMMMP_NAME)
+	install -p $(abstractions_src)/$(JMMMP_NAME)/examples/*.* \
+		 $(DESTDIR)$(objectsdir)/$(JMMMP_NAME)/examples
 
 #------------------------------------------------------------------------------#
 # LIST-ABS