[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.19+dfsg-2-17-g9832da6

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 246cd0343d3d8fd7daae2c493bbaf12f7065fe70
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Nov 13 14:10:05 2009 +0100

    Fix detection of Alt-Ergo (Closes: #552776).

diff --git a/debian/changelog b/debian/changelog
index 9f07472..7d0d9d1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+why (2.19+dfsg-3) unstable; urgency=low
+
+  * Fix detection of Alt-Ergo (Closes: #552776).
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Fri, 13 Nov 2009 14:09:08 +0100
+
 why (2.19+dfsg-2) unstable; urgency=low
 
   * Install why library in usr/share since there is no arch dependent
diff --git a/debian/patches/00list b/debian/patches/00list
index 9e34026..e9c6887 100644
--- a/debian/patches/00list
+++ b/debian/patches/00list
@@ -1,3 +1,4 @@
 jessie_lib
 logopath
 makefile.in
+altergo
diff --git a/debian/patches/altergo.dpatch b/debian/patches/altergo.dpatch
new file mode 100755
index 0000000..678d326
--- /dev/null
+++ b/debian/patches/altergo.dpatch
@@ -0,0 +1,19 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## altergo.dpatch by Mehdi Dogguy <mehdi at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
+ at DPATCH@
+diff -urNad why~/tools/dpConfig.ml why/tools/dpConfig.ml
+--- why~/tools/dpConfig.ml	2009-11-13 14:08:03.000000000 +0100
++++ why/tools/dpConfig.ml	2009-11-13 14:08:39.000000000 +0100
+@@ -71,7 +71,7 @@
+     is_interactive = false;
+     version = "";
+     version_switch = "-version";
+-    version_regexp = "Ergo \\([^ ]*\\)";
++    version_regexp = "Alt-Ergo \\([^ ]*\\)";
+     command = "alt-ergo";
+     command_switches = "";
+     valid_regexp = make_regexp "\\bValid\\b";

-- 
why packaging