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 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile.extr')

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)
-- 
cgit