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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 6ed50ce2..b4db7be9 100644
--- a/Makefile
+++ b/Makefile
@@ -174,9 +174,9 @@ doc/coq2html.ml: doc/coq2html.mll
 	ocamllex -q doc/coq2html.mll
 
 tools/ndfun: tools/ndfun.ml
-	ocamlopt -o tools/ndfun str.cmxa tools/ndfun.ml
+	ocamlopt -o tools/ndfun str.cmxa tools/ndfun.ml $(LINKERSPEC)
 tools/modorder: tools/modorder.ml
-	ocamlopt -o tools/modorder str.cmxa tools/modorder.ml
+	ocamlopt -o tools/modorder str.cmxa tools/modorder.ml $(LINKERSPEC)
 
 latexdoc:
 	cd doc; $(COQDOC) --latex -o doc/doc.tex -g $(FILES)
-- 
cgit