[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 76c106532908441556fc19cd48b6cd3376de3f6c
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 24 19:40:47 2010 +0100

    Make apron detection work also on bytecode architectures

diff --git a/debian/patches/0002-Enable-Apron-support.patch b/debian/patches/0002-Enable-Apron-support.patch
index 1ae5775..b3f4b42 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..1d0e83c 100644
+index d08df14..57a5f39 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
@@ -15,13 +15,13 @@ index d08df14..1d0e83c 100644
     AC_CHECK_FILE(/usr/local/lib/apron.cmxa,APRONLIB="-I /usr/local/lib -I /usr/lib",APRONLIB=no)
     if test "$APRONLIB" = no ; then	
 -      AC_CHECK_FILE(/usr/lib/apron.cmxa,APRONLIB="-I /usr/lib -I /usr/local/lib",APRONLIB=no)
-+      AC_CHECK_FILE(/usr/lib/ocaml/apron/apron.cmxa,APRONLIB="-I /usr/lib/ocaml/apron",APRONLIB=no)
++      AC_CHECK_FILE(/usr/lib/ocaml/apron/apron.cma,APRONLIB="-I +apron",APRONLIB=no)
        if test "$APRONLIB" = no ; then	
  	 AC_MSG_ERROR(Cannot find APRON library.)
        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 box.cmxa polka.cmxa" ;
     ATPCMO=atp/atp.cmo
  fi
  

-- 
why packaging