diff options
| author | notin | 2008-02-25 18:23:57 +0000 |
|---|---|---|
| committer | notin | 2008-02-25 18:23:57 +0000 |
| commit | e467f77a19229058070d43e9cf1080534b9aee74 (patch) | |
| tree | 97fdb66f68c5e5081d3c5a5b21b177362044efff /tools | |
| parent | 615acfb1ab34c4352accfef438f21627d026e945 (diff) | |
coq_makefile: variables
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10586 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coq_makefile.ml4 | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4 index ddfea418a5..a9968b03eb 100644 --- a/tools/coq_makefile.ml4 +++ b/tools/coq_makefile.ml4 @@ -170,7 +170,6 @@ let variables l = section "Variables definitions."; print "CAMLP4LIB:=$(shell camlp5 -where 2> /dev/null || camlp4 -where)\n"; print "CAMLP4:=$(notdir $(CAMLP4LIB))\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)/interp \\ @@ -182,11 +181,11 @@ let variables l = -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 "ZFLAGS:=$(OCAMLLIBS) $(COQSRC)\n"; if !opt = "-byte" then - print "override OPT=-byte\n" + print "override OPT:=-byte\n" else - print "OPT=\n"; + print "OPT:=\n"; if !impredicative_set = true then print "OTHERFLAGS=-impredicative-set\n"; print "COQFLAGS:=-q $(OPT) $(COQLIBS) $(OTHERFLAGS) $(COQ_XML)\n"; print "COQC:=$(COQBIN)coqc\n"; @@ -304,13 +303,13 @@ let all_target l = | [] -> [] in section "Definition of the \"all\" target."; - print "VFILES="; print_list "\\\n " (vfiles l); print "\n"; - print "VOFILES=$(VFILES:.v=.vo)\n"; - print "GLOBFILES=$(VFILES:.v=.glob)\n"; - print "VIFILES=$(VFILES:.v=.vi)\n"; - print "GFILES=$(VFILES:.v=.g)\n"; - print "HTMLFILES=$(VFILES:.v=.html)\n"; - print "GHTMLFILES=$(VFILES:.v=.g.html)\n"; + print "VFILES:="; print_list "\\\n " (vfiles l); print "\n"; + print "VOFILES:=$(VFILES:.v=.vo)\n"; + print "GLOBFILES:=$(VFILES:.v=.glob)\n"; + print "VIFILES:=$(VFILES:.v=.vi)\n"; + print "GFILES:=$(VFILES:.v=.g)\n"; + print "HTMLFILES:=$(VFILES:.v=.html)\n"; + print "GHTMLFILES:=$(VFILES:.v=.g.html)\n"; print "\n"; print "all: "; print_list "\\\n " (fnames l); print "\n\n"; |