- official build fix for ocaml 3.09
authorJan Rękorajski <baggins@pld-linux.org>
Sat, 10 Dec 2005 01:46:27 +0000 (01:46 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    coq-ocaml-3.09.patch -> 1.1

coq-ocaml-3.09.patch [new file with mode: 0644]

diff --git a/coq-ocaml-3.09.patch b/coq-ocaml-3.09.patch
new file mode 100644 (file)
index 0000000..38d29e6
--- /dev/null
@@ -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 $*
This page took 0.325242 seconds and 4 git commands to generate.