From 01828887dda772aca9e8bbddb3325cc939729ed4 Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Fri, 11 Jan 2019 16:52:07 +0100
Subject: quick and dirty Makefile fixes

---
 Makefile.extr              | 4 ++--
 mppa_k1c/unittest/Makefile | 5 +++--
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/Makefile.extr b/Makefile.extr
index 3da757cf..f5140a0c 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -43,7 +43,7 @@ cparser/pre_parser_messages.ml:
 
 DIRS=extraction \
   lib common $(ARCH) backend cfrontend cparser driver \
-  exportclight debug
+  exportclight debug mppa_k1c/unittest
 
 INCLUDES=$(patsubst %,-I %, $(DIRS))
 
@@ -89,7 +89,7 @@ ifeq ($(wildcard .depend.extr),.depend.extr)
 CCOMP_OBJS:=$(shell $(MODORDER) driver/Driver.cmx)
 
 ccomp: $(CCOMP_OBJS)
-	@echo "Linking $@"
+	@echo "Linking $@ with "$(CCOMP_OBJS)
 	@$(OCAMLOPT) -o $@ $(LIBS) $(LINK_OPT) $+
 
 ccomp.byte: $(CCOMP_OBJS:.cmx=.cmo)
diff --git a/mppa_k1c/unittest/Makefile b/mppa_k1c/unittest/Makefile
index fc7a51ac..5e79efe4 100644
--- a/mppa_k1c/unittest/Makefile
+++ b/mppa_k1c/unittest/Makefile
@@ -7,6 +7,7 @@ TEST_CMX=mppa_k1c/unittest/postpass_test.cmx
 
 UNITTEST_OBJS:=$(shell $(MODORDER) $(TEST_CMX))
 
-postpass_test: $(TEST_CMX) $(UNITTEST_OBJS)
-	@echo "Linking $@"
+postpass_test: $(UNITTEST_OBJS)
+	@echo "Linking $@ $(UNITTEST_OBJS)"
 	@$(OCAMLOPT) -o $@ $(LIBS) $(LINK_OPT) $+
+
-- 
cgit