diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-05-29 13:22:50 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-05-29 13:22:50 +0000 |
| commit | e4adec22d1525a4eb0b59285dc4c8c7d41d63128 (patch) | |
| tree | aad449dbe8172df7e37c75d6eefc8064249e0cae /tools/coq_makefile.ml | |
| parent | 6a617ef747adf198caef983aead1c2e2c63c2afa (diff) | |
Chgt de MAKE= ...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1771 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools/coq_makefile.ml')
| -rw-r--r-- | tools/coq_makefile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml index e0177396b..7a7813840 100644 --- a/tools/coq_makefile.ml +++ b/tools/coq_makefile.ml @@ -165,7 +165,7 @@ let variables l = in section "Variables definitions."; print "CAMLP4LIB=`camlp4 -where`\n"; - print "MAKE=make \"COQBIN=$(COQBIN)\" \"OPT=$(OPT)\"\n"; +(* print "MAKE=make \"COQBIN=$(COQBIN)\" \"OPT=$(OPT)\"\n"; *) print "COQSRC=-I $(COQTOP)/kernel -I $(COQTOP)/lib \\ -I $(COQTOP)/library -I $(COQTOP)/parsing -I $(COQTOP)/pretyping \\ -I $(COQTOP)/proofs -I $(COQTOP)/syntax -I $(COQTOP)/tactics \\ |