From 83023733e8ac5fa28893b260664f6d6527b481ab Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 15 Jan 2015 15:42:14 +0100
Subject: Added variable to the Makefile to specify additional linker commands
 and changed the configure script to deactivated the checklink build if
 needed.

---
 Makefile.extr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index 35ae5f7b..70b0cb67 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -90,11 +90,11 @@ CCOMP_OBJS:=$(shell $(MODORDER) driver/Driver.cmx)
 
 ccomp: $(CCOMP_OBJS)
 	@echo "Linking $@"
-	@$(OCAMLOPT) -o $@ $(LIBS) $+
+	@$(OCAMLOPT) -o $@ $(LIBS) $+ $(LINKERSPEC)
 
 ccomp.byte: $(CCOMP_OBJS:.cmx=.cmo)
 	@echo "Linking $@"
-	@$(OCAMLC) -o $@ $(LIBS:.cmxa=.cma) $+
+	@$(OCAMLC) -o $@ $(LIBS:.cmxa=.cma) $+ $(LINKERSPEC)
 
 ifeq ($(CCHECKLINK),true)
 
-- 
cgit 


From b3f8438c6224f537ba7a84580f432c40a63a481c Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 16 Jan 2015 15:59:08 +0100
Subject: Added new target to just remove the cm[iox] files and the build
 executables.

---
 Makefile.extr | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index 70b0cb67..2d429f76 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -156,6 +156,10 @@ clean:
 	rm -f $(GENERATED)
 	for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done
 
+cleansource:
+        rm -f $(EXECUTABLES)
+	for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done
+
 # Generation of .depend.extr
 
 depend: $(GENERATED)
-- 
cgit 


From 58f6c7b5f4935fe9aca0eceb4ce8684d9816c7b5 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 16 Jan 2015 16:37:29 +0100
Subject: Replaced 8 spaces by tabs.

---
 Makefile.extr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index 2d429f76..2afd6e31 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -157,7 +157,7 @@ clean:
 	for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done
 
 cleansource:
-        rm -f $(EXECUTABLES)
+	rm -f $(EXECUTABLES)
 	for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done
 
 # Generation of .depend.extr
-- 
cgit