Author: baggins Date: Sat Dec 10 01:46:32 2005 GMT Module: SOURCES Tag: HEAD ---- Log message: - official build fix for ocaml 3.09
---- Files affected: SOURCES: coq-ocaml-3.09.patch (NONE -> 1.1) (NEW) ---- Diffs: ================================================================ Index: SOURCES/coq-ocaml-3.09.patch diff -u /dev/null SOURCES/coq-ocaml-3.09.patch:1.1 --- /dev/null Sat Dec 10 02:46:32 2005 +++ SOURCES/coq-ocaml-3.09.patch Sat Dec 10 02:46:27 2005 @@ -0,0 +1,27 @@ +*** Makefile 2005/02/01 15:38:09 +--- Makefile 2005/11/04 00:46:57 +*************** +*** 1453,1463 **** + + .ml4.cmx: + $(SHOW)'OCAMLOPT4 $<' +! $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $< + + .ml4.cmo: + $(SHOW)'OCAMLC4 $<' +! $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $< + + #.v.vo: + # $(BOOTCOQTOP) -compile $* +--- 1453,1463 ---- + + .ml4.cmx: + $(SHOW)'OCAMLOPT4 $<' +! $(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $< + + .ml4.cmo: + $(SHOW)'OCAMLC4 $<' +! $(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $< + + #.v.vo: + # $(BOOTCOQTOP) -compile $* ================================================================ _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
