From 6f593f5ef05f6a1a7bf4cd2ce6d59c41345e034b Mon Sep 17 00:00:00 2001
From: notin
Date: Mon, 9 Jun 2008 15:05:37 +0000
Subject: Remplacement des echo -e par printf + bug sur les exécutables ocaml
 dans coq_makefile

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11079 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coq_makefile.ml4 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'tools')

diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4
index 2a5be13d3e..a34e21fb55 100644
--- a/tools/coq_makefile.ml4
+++ b/tools/coq_makefile.ml4
@@ -108,7 +108,7 @@ let standard sds sps =
   print "\trm -f all.ps all-gal.ps all.glob $(VFILES:.v=.glob) $(HTMLFILES) \
          $(GHTMLFILES) $(VFILES:.v=.tex) $(VFILES:.v=.g.tex) $(VFILES:.v=.v.d)\n";
   if !some_mlfile then
-    print "\trm -f $(CMOFILES) $(MLFILES:.ml=.ml.d)\n";
+    print "\trm -f $(CMOFILES) $(MLFILES:.ml=.cmi) $(MLFILES:.ml=.ml.d)\n";
   print "\t- rm -rf html\n";
   List.iter
     (fun (file,_,_) -> print "\t- rm -f "; print file; print "\n")
@@ -184,8 +184,8 @@ let variables l =
     (* Caml executables and relative variables *)
     printf "CAMLC:=$(CAMLBIN)ocamlc -rectypes -c\n";
     printf "CAMLOPTC:=$(CAMLBIN)ocamlopt -rectypes -c\n";
-    printf "CAMLLINK:=$(CAMLBIN)ocamlc\n";
-    printf "CAMLOPTLINK:=$(CAMLBIN)ocamlopt\n";
+    printf "CAMLLINK:=$(CAMLBIN)ocamlc -rectypes\n";
+    printf "CAMLOPTLINK:=$(CAMLBIN)ocamlopt -rectypes\n";
     print "GRAMMARS:=grammar.cma\n";
     print "CAMLP4EXTEND:=pa_extend.cmo pa_macro.cmo q_MLast.cmo\n";
     print "PP:=-pp \"$(CAMLBIN)$(CAMLP4)o -I . -I $(COQTOP)/parsing $(CAMLP4EXTEND) $(GRAMMARS) -impl\"\n";
-- 
cgit v1.2.3