From 9aeb7d213524742f682d40f2a8fc2fdfd412a7fb Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jan=20R=C4=99korajski?= <baggins@pld-linux.org>
Date: Sat, 10 Dec 2005 01:46:27 +0000
Subject: [PATCH 1/1] - official build fix for ocaml 3.09

Changed files:
    coq-ocaml-3.09.patch -> 1.1
---
 coq-ocaml-3.09.patch | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 coq-ocaml-3.09.patch

diff --git a/coq-ocaml-3.09.patch b/coq-ocaml-3.09.patch
new file mode 100644
index 0000000..38d29e6
--- /dev/null
+++ b/coq-ocaml-3.09.patch
@@ -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 $*
-- 
2.43.0