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

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 97a7fbeb0b377f563df4854f2b415af14f70eaf3
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri Jan 23 12:42:00 2009 +0100

    Updating the patch

diff --git a/debian/patches/src_Makefile.dpatch b/debian/patches/src_Makefile.dpatch
index cf62798..288bc9d 100755
--- a/debian/patches/src_Makefile.dpatch
+++ b/debian/patches/src_Makefile.dpatch
@@ -1,20 +1,19 @@
 #! /bin/sh /usr/share/dpatch/dpatch-run
-## 02_src_Makefile.dpatch by Mehdi Dogguy <dogguy at pps.jussieu.fr>
+## src_Makefile.dpatch by Mehdi Dogguy <dogguy at pps.jussieu.fr>
 ##
 ## DP: Do not try to build .cmx on non-native architectures.
 
 @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 @@
+--- menhir~/src/Makefile	2009-01-19 14:24:29.000000000 +0100
++++ menhir/src/Makefile	2009-01-23 11:21:11.000000000 +0100
+@@ -246,5 +246,9 @@
  
  # 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
+ lib: menhirLib.cmo menhirLib.cmi menhirLib.cmx menhirLib.o
 +endif
  

-- 
menhir packaging