[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. debian/0.9.10-1-2-gbd33cd5

[Samuel Mimram]

The following commit has been merged in the master branch:
commit 54ed9fe2c22980735e1aec5c7325a25bec1de50a
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Mon Oct 26 23:43:07 2009 +0100

    Enable PPL support.

diff --git a/debian/Makefile.config b/debian/Makefile.config
index 7375392..9f96f6f 100644
--- a/debian/Makefile.config
+++ b/debian/Makefile.config
@@ -18,7 +18,7 @@ HAS_OCAML = 1
 # If defined to non-empty value, compiles the PPL domain
 # (require included patch to PPL, see ppl/README and ppl/ppl.patch)
 
-# HAS_PPL = 1
+HAS_PPL = 1
 
 # If defined to non-empty value, support for "long double" is enabled
 
diff --git a/debian/changelog b/debian/changelog
index 2ce0f40..49c8577 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+apron (0.9.10-2) unstable; urgency=low
+
+  * Enable PPL support.
+
+ -- Samuel Mimram <smimram at debian.org>  Mon, 26 Oct 2009 23:42:06 +0100
+
 apron (0.9.10-1) unstable; urgency=low
 
   * Initial release, closes: #552326.
diff --git a/debian/control b/debian/control
index 883824a..b1dca2e 100644
--- a/debian/control
+++ b/debian/control
@@ -11,6 +11,7 @@ Build-Depends:
  dh-ocaml (>= 0.9),
  libgmp3-dev,
  libmpfr-dev,
+ libppl0.10-dev,
  texi2html (>= 1.82),
  quilt
 Standards-Version: 3.8.3
@@ -37,7 +38,8 @@ Section: libdevel
 Architecture: all
 Depends: ${shlibs:Depends}, ${misc:Depends},
  libgmp3-dev,
- libmpfr-dev
+ libmpfr-dev,
+ libppl0.10-dev
 Provides: ${ocaml:Provides}
 Description: An abstract interpretation library
  The APRON library is dedicated to the static analysis of the numerical
diff --git a/debian/libapron.install b/debian/libapron.install
index 098263b..2f884d2 100644
--- a/debian/libapron.install
+++ b/debian/libapron.install
@@ -1,3 +1,5 @@
+usr/lib/libap_pkgrid.so.*
+usr/lib/libap_ppl.so.*
 usr/lib/libapron.so.*
 usr/lib/libboxD.so.*
 usr/lib/libboxMPFR.so.*
diff --git a/debian/libapron.override b/debian/libapron.override
index 64ac130..da59c5a 100644
--- a/debian/libapron.override
+++ b/debian/libapron.override
@@ -1 +1 @@
-libapron: package-name-doesnt-match-sonames libapron0 libboxD0 libboxMPFR0 libboxMPQ0 liboctD0 liboctMPQ0 libpolkaMPQ0 libpolkaRll0
+libapron: package-name-doesnt-match-sonames libap-pkgrid0 libap-ppl0 libapron0 libboxD0 libboxMPFR0 libboxMPQ0 liboctD0 liboctMPQ0 libpolkaMPQ0 libpolkaRll0
diff --git a/debian/rules b/debian/rules
index c32272b..9db84c9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -34,8 +34,9 @@ override_dh_auto_install:
 	$(MAKE) install
 	$(MAKE) -C apron install
 	$(MAKE) -C mlgmpidl install
+	cp apron/ppl/libap_ppl.so apron/ppl/libap_ppl_debug.so debian/tmp/usr/lib
 	chmod -x debian/tmp/usr/lib/*
-	for i in libapron.so libboxD.so libboxMPFR.so libboxMPQ.so liboctD.so liboctMPQ.so libpolkaMPQ.so libpolkaRll.so; do \
+	for i in libap_pkgrid.so libap_ppl.so libapron.so libboxD.so libboxMPFR.so libboxMPQ.so liboctD.so liboctMPQ.so libpolkaMPQ.so libpolkaRll.so; do \
 	    mv debian/tmp/usr/lib/$$i debian/tmp/usr/lib/$$i.0; \
 	    ln -s $$i.0 debian/tmp/usr/lib/$$i; \
 	done

-- 
apron packaging