diff options
| author | letouzey | 2001-12-19 11:42:11 +0000 |
|---|---|---|
| committer | letouzey | 2001-12-19 11:42:11 +0000 |
| commit | d14df293d2696f00a8de137bea9fe3a89e0bdeb0 (patch) | |
| tree | 3b7407ed3564a95ab2dfcbc42eb47c93ba75affd /Makefile | |
| parent | e45a0752bce5712945332a85b34d487db7407f59 (diff) | |
reparation du make depend et du .depend
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2334 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 74 |
1 files changed, 43 insertions, 31 deletions
@@ -761,13 +761,7 @@ ML4FILES += toplevel/mltop.ml4 clean:: rm -f toplevel/mltop.byteml toplevel/mltop.optml -# files compiled with camlp4 because of streams syntax - -lib/pp.cmo: lib/pp.ml - $(OCAMLC) -pp camlp4o $(BYTEFLAGS) -c $< - -lib/pp.cmx: lib/pp.ml - $(OCAMLOPT) -pp camlp4o $(OPTFLAGS) -c $< +# files compiled with -rectypes kernel/term.cmo: kernel/term.ml $(OCAMLC) -rectypes $(BYTEFLAGS) -c $< @@ -781,41 +775,59 @@ library/nametab.cmo: library/nametab.ml library/nametab.cmx: library/nametab.ml $(OCAMLOPT) -rectypes $(OPTFLAGS) -c $< -contrib/xml/xml.cmo: contrib/xml/xml.ml - $(OCAMLC) -pp camlp4o $(BYTEFLAGS) -c $< +# files compiled with camlp4 because of streams syntax + +#lib/pp.cmo: lib/pp.ml +# $(OCAMLC) $(BYTEFLAGS) -c $< + +#lib/pp.cmx: lib/pp.ml +# $(OCAMLOPT_P4O) -c $< + +#contrib/xml/xml.cmo: contrib/xml/xml.ml4 +# $(OCAMLC_P4O) -c $< + +#contrib/xml/xml.cmx: contrib/xml/xml.ml4 +# $(OCAMLOPT_P4O) -c $< + +#contrib/xml/xmlcommand.cmo: contrib/xml/xmlcommand.ml4 +# $(OCAMLC_P4O) -c $< + +#contrib/xml/xmlcommand.cmx: contrib/xml/xmlcommand.ml4 +# $(OCAMLOPT_P4O) -c $< -contrib/xml/xml.cmx: contrib/xml/xml.ml - $(OCAMLOPT) -pp camlp4o $(OPTFLAGS) -c $< +#contrib/interface/dad.cmo: contrib/interface/dad.ml4 +# $(OCAMLC_P4O) -c $< -contrib/xml/xmlcommand.cmo: contrib/xml/xmlcommand.ml - $(OCAMLC) -pp camlp4o $(BYTEFLAGS) -c $< +#contrib/interface/dad.cmx: contrib/interface/dad.ml4 +# $(OCAMLOPT_P4O) -c $< -contrib/xml/xmlcommand.cmx: contrib/xml/xmlcommand.ml - $(OCAMLOPT) -pp camlp4o $(OPTFLAGS) -c $< +#contrib/interface/line_parser.cmo: contrib/interface/line_parser.ml4 +# $(OCAMLC_P4O) -c $< -contrib/interface/dad.cmo: contrib/interface/dad.ml - $(OCAMLC) -pp camlp4o $(BYTEFLAGS) -c $< +#contrib/interface/line_parser.cmx: contrib/interface/line_parser.ml4 +# $(OCAMLOPT_P4O) -c $< -contrib/interface/dad.cmx: contrib/interface/dad.ml - $(OCAMLOPT) -pp camlp4o $(OPTFLAGS) -c $< +#tools/coq_makefile.cmo: tools/coq_makefile.ml4 +# $(OCAMLC_P4O) -c $< -contrib/interface/line_parser.cmo: contrib/interface/line_parser.ml - $(OCAMLC) -pp camlp4o $(BYTEFLAGS) -c $< +#tools/coq_makefile.cmx: tools/coq_makefile.ml4 +# $(OCAMLOPT_P4O) -c $< -contrib/interface/line_parser.cmx: contrib/interface/line_parser.ml - $(OCAMLOPT) -pp camlp4o $(OPTFLAGS) -c $< +#tools/coq-tex.cmo: tools/coq-tex.ml4 +# $(OCAMLC_P4O) -c $< -tools/coq_makefile.cmo: tools/coq_makefile.ml - $(OCAMLC) -pp camlp4o $(BYTEFLAGS) -c $< +#tools/coq-tex.cmx: tools/coq-tex.ml4 +# $(OCAMLOPT_P4O) -c $< -tools/coq_makefile.cmx: tools/coq_makefile.ml - $(OCAMLOPT) -pp camlp4o $(OPTFLAGS) -c $< +ML4FILES += lib/pp.ml4 \ + contrib/xml/xml.ml4 \ + contrib/xml/xmlcommand.ml4 \ + contrib/interface/dad.ml4 \ + contrib/interface/line_parser.ml4 \ + tools/coq_makefile.ml4 \ + tools/coq-tex.ml4 -tools/coq-tex.cmo: tools/coq-tex.ml - $(OCAMLC) -pp camlp4o $(BYTEFLAGS) -c $< -tools/coq-tex.cmx: tools/coq-tex.ml - $(OCAMLOPT) -pp camlp4o $(OPTFLAGS) -c $< ########################################################################### # Default rules |