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