SOURCES: coq-ocaml-3.09.patch (NEW) - official build fix for ocaml...

baggins baggins at pld-linux.org
Sat Dec 10 02:46:32 CET 2005


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 $*
================================================================



More information about the pld-cvs-commit mailing list