From add5c6681606d183dd8391f48c87ef62f0b84003 Mon Sep 17 00:00:00 2001
From: Sojourner Truth <jon.w.wilkes@gmail.com>
Date: Tue, 19 Jul 2016 19:03:01 -0400
Subject: [PATCH] change externals/Makefile to install jmmmp directly since it
 no longer has its own Makefile

---
 abstractions/Makefile | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/abstractions/Makefile b/abstractions/Makefile
index 4cd69009a..b85a75307 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
-- 
GitLab