diff options
| author |  notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-10-20 11:55:00 +0000 |
|---|---|---|
| committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-10-20 11:55:00 +0000 |
| commit | c98ec252732f6735c23cd622166c0b09ca254c59 (patch) | |
| tree | 741ab061df48b6420ddbc38d10aec4986652dc68 /tools | |
| parent | d4f002fedb5669581ff2e270de798f05221c1313 (diff) | |
Syntaxe de COQBIN
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11475 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coq_makefile.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4 index abb348f3a..673827c9b 100644 --- a/tools/coq_makefile.ml4 +++ b/tools/coq_makefile.ml4 @@ -254,7 +254,7 @@ let include_dirs l = print "OCAMLLIBS:=-I $(CAMLP4LIB) "; print_list "\\\n " str_i; print "\n"; print "COQLIB:=$(shell $(COQBIN)coqtop -where 2> /dev/null)\n"; print "ifdef COQTOP # set COQTOP for compiling from Coq sources\n"; - print " COQBIN:=$(COQTOP)/bin\n"; + print " COQBIN:=$(COQTOP)/bin/\n"; print " COQSRCLIBS:=-I $(COQTOP)/kernel -I $(COQTOP)/lib \\ -I $(COQTOP)/library -I $(COQTOP)/parsing \\ -I $(COQTOP)/pretyping -I $(COQTOP)/interp \\ |