[Pkg-ocaml-maint-commits] [SCM] menhir packaging branch, master, updated. debian/20090204.dfsg-2-9-g4023840

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 6ac61237a834b2a31af08e4142e2b79c6a58105b
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed Jun 24 23:08:30 2009 +0200

    Drop src_Makefile.dpatch: integrated upstream

diff --git a/debian/patches/00list b/debian/patches/00list
index ae66ce8..112ed86 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1,2 +1 @@
 manpage
-src_Makefile
diff --git a/debian/patches/src_Makefile.dpatch b/debian/patches/src_Makefile.dpatch
deleted file mode 100755
index aa57524..0000000
--- a/debian/patches/src_Makefile.dpatch
+++ /dev/null
@@ -1,18 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## 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-02-18 16:45:36.000000000 +0100
-+++ menhir/src/Makefile	2009-02-18 16:55:40.000000000 +0100
-@@ -249,4 +249,8 @@
- 
- # Building menhirLib.
- 
-+ifeq ($(TARGET),byte)
-+lib: menhirLib.cmo menhirLib.cmi
-+else
- lib: menhirLib.cmo menhirLib.cmi menhirLib.cmx menhirLib.o
-+endif

-- 
menhir packaging