diff options
| author | herbelin | 2002-05-30 14:17:11 +0000 |
|---|---|---|
| committer | herbelin | 2002-05-30 14:17:11 +0000 |
| commit | 80bc2882c2c81ed4b35133584fc60ccc0bc6fef0 (patch) | |
| tree | fe873751441b379f096cf2a3977256744ec3bbaa /tools | |
| parent | bbc73182d6d5006ba348794c664fac742e78a8f2 (diff) | |
Ajout des -I contrib
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2738 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coq_makefile.ml4 | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4 index 042a18738a..587b960709 100644 --- a/tools/coq_makefile.ml4 +++ b/tools/coq_makefile.ml4 @@ -169,7 +169,13 @@ let variables l = 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 \\ - -I $(COQTOP)/toplevel -I $(CAMLP4LIB)\n"; + -I $(COQTOP)/toplevel -I $(COQTOP)/contrib/correctness \\ + -I $(COQTOP)/contrib/extraction -I $(COQTOP)/contrib/field \\ + -I $(COQTOP)/contrib/fourier -I $(COQTOP)/contrib/graphs \\ + -I $(COQTOP)/contrib/interface -I $(COQTOP)/contrib/jprover \\ + -I $(COQTOP)/contrib/omega -I $(COQTOP)/contrib/romega \\ + -I $(COQTOP)/contrib/ring -I $(COQTOP)/contrib/xml \\ + -I $(CAMLP4LIB)\n"; print "ZFLAGS=$(OCAMLLIBS) $(COQSRC)\n"; print "OPT="; if !opt = "-byte" then print "-byte"; print "\n"; print "COQFLAGS=-q $(OPT) $(COQLIBS)\n"; |