[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 692f22b800dd0e68a8eb9ece42d711ce1a6d6fea
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 24 22:16:38 2010 +0100

    Apron also needs oct.cmxa (0002-Enable-Apron-support.patch)

diff --git a/debian/changelog b/debian/changelog
index 184842b..395306b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -14,6 +14,7 @@ why (2.23+dfsg-1) unstable; urgency=low
     + Add 0003-Fix-spelling-errors.patch
   * Fix FTBFS on bytecode architectures
     + Add 0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch
+    + Apron also needs oct.cmxa (0002-Enable-Apron-support.patch)
   * Fix debhelper-but-no-misc-depends
   * Fix out-of-date-standards-version
   * Set filter-pristine-tar to True in debian/gbp.conf
diff --git a/debian/patches/0002-Enable-Apron-support.patch b/debian/patches/0002-Enable-Apron-support.patch
index b3f4b42..b3aeaa8 100644
--- a/debian/patches/0002-Enable-Apron-support.patch
+++ b/debian/patches/0002-Enable-Apron-support.patch
@@ -7,7 +7,7 @@ Subject: [PATCH] Enable Apron support
  1 files changed, 2 insertions(+), 2 deletions(-)
 
 diff --git a/configure.in b/configure.in
-index d08df14..57a5f39 100644
+index d08df14..7d0b77b 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
@@ -21,7 +21,7 @@ index d08df14..57a5f39 100644
        fi		     
     fi
 -   APRONLIBS="-cclib ' -lpolka_caml -lpolkaMPQ -loct_caml -loctMPQ -lbox_caml -lboxMPQ -lapron_caml -lapron -lgmp_caml -lmpfr -lgmp -lbigarray -lcamlidl' bigarray.cmxa gmp.cmxa apron.cmxa box.cmxa polka.cmxa"
-+   APRONLIBS="-cclib ' -lpolkaMPQ_caml -lpolkaMPQ -loctMPQ_caml -loctMPQ -lboxMPQ_caml -lboxMPQ -lapron_caml -lapron -lgmp_caml -lmpfr -lgmp -lbigarray -lcamlidl' bigarray.cmxa gmp.cmxa apron.cmxa box.cmxa polka.cmxa" ;
++   APRONLIBS="-cclib ' -lpolkaMPQ_caml -lpolkaMPQ -loctMPQ_caml -loctMPQ -lboxMPQ_caml -lboxMPQ -lapron_caml -lapron -lgmp_caml -lmpfr -lgmp -lbigarray -lcamlidl' bigarray.cmxa gmp.cmxa apron.cmxa oct.cmxa box.cmxa polka.cmxa" ;
     ATPCMO=atp/atp.cmo
  fi
  

-- 
why packaging