diff options
| author | notin | 2008-03-07 09:20:41 +0000 |
|---|---|---|
| committer | notin | 2008-03-07 09:20:41 +0000 |
| commit | 905c47d6a07cc69b9e7aa0b9d73caeacf2b1d2be (patch) | |
| tree | 61715ba81892c76c4134292c1e140c685fcd844b | |
| parent | 46312ab70ae7b0e7c432ea30efd211b528cd8145 (diff) | |
Correction d'un bug de coq_makefile
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10633 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | tools/coq_makefile.ml4 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4 index 88f967d266..9cbf4670a9 100644 --- a/tools/coq_makefile.ml4 +++ b/tools/coq_makefile.ml4 @@ -131,7 +131,7 @@ let implicit () = print "%.cmo: %.ml\n\t$(CAMLC) $(ZDEBUG) $(ZFLAGS) $(PP) $<\n\n"; print "%.cmx: %.ml\n\t$(CAMLOPTC) $(ZDEBUG) $(ZFLAGS) $(PP) $<\n\n"; and v_rule () = - print "%.vo %.glob: %.v\n\t$(COQC) $(COQLIBS) -dump-glob $*.glob $(COQDEBUG) $(COQFLAGS) $*\n\n"; + print "%.vo %.glob: %.v\n\t$(COQC) -dump-glob $*.glob $(COQDEBUG) $(COQFLAGS) $*\n\n"; print "%.vi: %.v\n\t$(COQC) -i $(COQDEBUG) $(COQFLAGS) $*\n\n"; print "%.g: %.v\n\t$(GALLINA) $<\n\n"; print "%.tex: %.v\n\t$(COQDOC) -latex $< -o $@\n\n"; @@ -237,7 +237,7 @@ let include_dirs l = let inc_i, inc_r = parse_includes l' in section "Libraries definition."; print "OCAMLLIBS:="; print_list "\\\n " inc_i; print "\n"; - print "COQLIBS:="; print_list "\\\n " inc_i; print_list "\\\n " inc_r; print "\n"; + print "COQLIBS:="; print_list "\\\n " inc_i; print " "; print_list "\\\n " inc_r; print "\n"; print "COQDOCLIBS:="; print_list "\\\n " inc_r; print "\n\n" let rec special = function @@ -446,8 +446,8 @@ let do_makefile args = banner (); warning (); command_line args; - variables l; include_dirs l; + variables l; all_target l; let sps = special l in custom sps; |