[Pkg-ocaml-maint-commits] r1266 - trunk/packages/cduce/trunk/debian/patches

[Stefano Zacchiroli]

Author: zack
Date: 2005-04-14 09:49:01 +0000 (Thu, 14 Apr 2005)
New Revision: 1266

Removed:
   trunk/packages/cduce/trunk/debian/patches/dont-compile-mlcduce-wrapper.dpatch
Modified:
   trunk/packages/cduce/trunk/debian/patches/00list
Log:
added back mlcduce_wrapper, it is needed at runtime by cduce_mktop


Modified: trunk/packages/cduce/trunk/debian/patches/00list
===================================================================
--- trunk/packages/cduce/trunk/debian/patches/00list	2005-04-14 07:24:50 UTC (rev 1265)
+++ trunk/packages/cduce/trunk/debian/patches/00list	2005-04-14 09:49:01 UTC (rev 1266)
@@ -1 +0,0 @@
-dont-compile-mlcduce-wrapper

Deleted: trunk/packages/cduce/trunk/debian/patches/dont-compile-mlcduce-wrapper.dpatch
===================================================================
--- trunk/packages/cduce/trunk/debian/patches/dont-compile-mlcduce-wrapper.dpatch	2005-04-14 07:24:50 UTC (rev 1265)
+++ trunk/packages/cduce/trunk/debian/patches/dont-compile-mlcduce-wrapper.dpatch	2005-04-14 09:49:01 UTC (rev 1266)
@@ -1,21 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## dont-compile-mlcduce-wrapper.dpatch by  <thomas@crazy.kos.nx>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: No description.
-
-@DPATCH@
-diff -urNad cduce-0.3.2/Makefile /tmp/dpep.EYtqbe/cduce-0.3.2/Makefile
---- cduce-0.3.2/Makefile	2005-03-22 08:38:08.000000000 +0100
-+++ /tmp/dpep.EYtqbe/cduce-0.3.2/Makefile	2005-04-13 23:30:51.092040149 +0200
-@@ -5,8 +5,8 @@
- INSTALL_BINARIES=cduce$(EXE)
- 
- ifneq ($(ML_INTERFACE), false)
--  ALL_TARGET += cdo2ml mlcduce_wrapper
--  INSTALL_BINARIES += cdo2ml$(EXE) mlcduce_wrapper$(EXE) cduce_mktop
-+  ALL_TARGET += cdo2ml
-+  INSTALL_BINARIES += cdo2ml$(EXE) cduce_mktop
- endif
- 
-