From 98749c9a507fb4a5bfec049ec7828eb357766884 Mon Sep 17 00:00:00 2001
From: regisgia <regisgia@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 7 Dec 2012 10:36:58 +0000
Subject: * tools/Coq_makefile   Export $(COQMKTOP) in generated Makefiles.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16028 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coq_makefile.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tools/coq_makefile.ml')

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index bc90caafe..cbc6df2ff 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -399,6 +399,7 @@ let variables is_install opt (args,defs) =
     print "GALLINA?=$(COQBIN)gallina\n";
     print "COQDOC?=$(COQBIN)coqdoc\n";
     print "COQCHK?=$(COQBIN)coqchk\n\n";
+    print "COQMKTOP?=$(COQBIN)coqmktop\n\n";
     end;
     (* Caml executables and relative variables *)
     if !some_ml4file || !some_mlfile || !some_mlifile then begin
-- 
cgit v1.2.3