[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20071212.dfsg-1-22-g1dee1a7

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit f62b173246beb0147ede2d7eca80e5cd8bc89470
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Mon Jan 19 14:19:43 2009 +0100

    Add src_Makefile.dpatch to not try to build cmx files on non-native archs

diff --git a/debian/patches/00list b/debian/patches/00list
index 112ed86..ae66ce8 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1 +1,2 @@
 manpage
+src_Makefile
diff --git a/debian/patches/src_Makefile.dpatch b/debian/patches/src_Makefile.dpatch
new file mode 100755
index 0000000..e940685
--- /dev/null
+++ b/debian/patches/src_Makefile.dpatch
@@ -0,0 +1,21 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## 02_src_Makefile.dpatch by Mehdi Dogguy <dogguy at pps.jussieu.fr>
+##
+## DP: Do not try to build .cmx on non-native architectures.
+
+ at DPATCH@
+diff -urNad menhir~/src/Makefile menhir/src/Makefile
+--- menhir~/src/Makefile	2009-01-19 13:57:50.000000000 +0100
++++ menhir/src/Makefile	2009-01-19 13:58:51.000000000 +0100
+@@ -246,5 +246,10 @@
+ 
+ # Building menhirLib.
+ 
+-lib: menhirLib.cmo menhirLib.cmi menhirLib.cmx menhirLib.o
++ifeq ($(TARGET),byte)
++lib: menhirLib.cmo menhirLib.cmi
++else
++ lib: menhirLib.cmo menhirLib.cmi menhirLib.cmx menhirLib.o
++
++endif
+ 

-- 
menhir packaging