From edca82b2ff6721b69c49533c40aadf10e5987816 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 24 Feb 2003 15:25:08 +0000
Subject: on sait se refaire uniquement si option -f

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

diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4
index d42ccd17a6..9267145df9 100644
--- a/tools/coq_makefile.ml4
+++ b/tools/coq_makefile.ml4
@@ -21,7 +21,7 @@ type target =
 
 let output_channel = ref stdout
 let makefile_name = ref "Makefile"
-let make_name = ref "Make"
+let make_name = ref ""
 
 let some_file = ref false
 let some_vfile = ref false
@@ -107,10 +107,12 @@ let standard sds =
     (fun x -> print "\t(cd "; print x; print " ; $(MAKE) install)\n")
     sds;
   print "\n";
-  printf "%s: %s\n" !makefile_name !make_name;
-  printf "\tmv -f %s %s.bak\n" !makefile_name !makefile_name;
-  printf "\t$(COQBIN)coq_makefile -f %s -o %s\n" !make_name !makefile_name;
-  print "\n";
+  if !make_name <> "" then begin
+    printf "%s: %s\n" !makefile_name !make_name;
+    printf "\tmv -f %s %s.bak\n" !makefile_name !makefile_name;
+    printf "\t$(COQBIN)coq_makefile -f %s -o %s\n" !make_name !makefile_name;
+    print "\n";
+  end;
   print "clean:\n";
   print "\trm -f *.cmo *.cmi *.cmx *.o *.vo *.vi *.g *~\n";
   print "\trm -f all.ps all-gal.ps $(HTMLFILES) $(GHTMLFILES)\n";
-- 
cgit v1.2.3