[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.23+dfsg-1-10-g3de1ee2

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 24b35e55bcdd41adb77590522e1ed6620d8a766d
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 24 18:24:20 2010 +0100

    Rename patch

diff --git a/debian/changelog b/debian/changelog
index 4fce70c..bc7004b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -20,7 +20,7 @@ why (2.23+dfsg-1) unstable; urgency=low
 
   [ Samuel Mimram ]
   * Enable apron support.
-  * Added apron patch in order to be able to build with apron support.
+    + Add 0002-Enable-Apron-support.patch
 
  -- Mehdi Dogguy <mehdi at debian.org>  Sun, 24 Jan 2010 17:31:23 +0100
 
diff --git a/debian/patches/apron b/debian/patches/0002-Enable-Apron-support.patch
similarity index 68%
rename from debian/patches/apron
rename to debian/patches/0002-Enable-Apron-support.patch
index 5b4115d..1ae5775 100644
--- a/debian/patches/apron
+++ b/debian/patches/0002-Enable-Apron-support.patch
@@ -1,8 +1,16 @@
-Index: why/configure.in
-===================================================================
---- why.orig/configure.in	2010-01-17 18:45:00.000000000 +0100
-+++ why/configure.in	2010-01-17 18:46:14.000000000 +0100
-@@ -252,12 +252,12 @@
+From: Samuel Mimram <samuel.mimram at ens-lyon.org>
+Date: Sun, 17 Jan 2010 18:51:03 +0100
+Subject: [PATCH] Enable Apron support
+
+---
+ configure.in |    4 ++--
+ 1 files changed, 2 insertions(+), 2 deletions(-)
+
+diff --git a/configure.in b/configure.in
+index d08df14..1d0e83c 100644
+--- a/configure.in
++++ b/configure.in
+@@ -252,12 +252,12 @@ AC_ARG_ENABLE(apron,[  --enable-apron=[no/yes]  use APRON library for abstract i
  if test "$enable_apron" = "yes" ; then
     AC_CHECK_FILE(/usr/local/lib/apron.cmxa,APRONLIB="-I /usr/local/lib -I /usr/lib",APRONLIB=no)
     if test "$APRONLIB" = no ; then	
@@ -17,3 +25,4 @@ Index: why/configure.in
     ATPCMO=atp/atp.cmo
  fi
  
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 3b8d4de..33a37a4 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,2 @@
 0001-Do-not-run-tests-on-non-existant-files.patch
-apron
+0002-Enable-Apron-support.patch

-- 
why packaging