[Pkg-ocaml-maint-commits] [apron] 02/07: Fix build failure with ppl-1.0 (Closes: #707347)
Stéphane Glondu
glondu at moszumanska.debian.org
Wed Dec 25 12:06:26 UTC 2013
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository apron.
commit d2d864ed473930399fe697c640bd7be67ecd21a5
Author: Stephane Glondu <steph at glondu.net>
Date: Wed Dec 25 12:45:52 2013 +0100
Fix build failure with ppl-1.0 (Closes: #707347)
---
.../0008-Fix-build-failure-with-ppl-1.0.patch | 25 ++++++++++++++++++++++
debian/patches/series | 1 +
2 files changed, 26 insertions(+)
diff --git a/debian/patches/0008-Fix-build-failure-with-ppl-1.0.patch b/debian/patches/0008-Fix-build-failure-with-ppl-1.0.patch
new file mode 100644
index 0000000..afd1345
--- /dev/null
+++ b/debian/patches/0008-Fix-build-failure-with-ppl-1.0.patch
@@ -0,0 +1,25 @@
+From: Matthias Klose <doko at ubuntu.com>
+Date: Wed, 25 Dec 2013 12:44:12 +0100
+Subject: Fix build failure with ppl-1.0
+
+Origin: https://launchpadlibrarian.net/160556930/apron_0.9.10-5.2ubuntu5_0.9.10-5.2ubuntu6.diff.gz
+Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=707347
+Signed-off-by: Stephane Glondu <steph at glondu.net>
+---
+ apron/ppl/ppl_user.cc | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/apron/ppl/ppl_user.cc b/apron/ppl/ppl_user.cc
+index 09290bf..d542154 100644
+--- a/apron/ppl/ppl_user.cc
++++ b/apron/ppl/ppl_user.cc
+@@ -320,7 +320,7 @@ bool ap_ppl_of_box(Congruence_System& r, ap_interval_t** a, size_t intdim, size_
+ exact = false;
+ }
+ /* singleton */
+- else r.insert(Constraint(Variable(i)==temp));
++ else r.insert(Constraint(Variable(i)==mpz_class(temp)));
+ }
+ return exact;
+ }
+--
diff --git a/debian/patches/series b/debian/patches/series
index dacdfa3..131c395 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,3 +5,4 @@
0005-Install-oct-.a.patch
0006-Remove-references-to-obsolete-mpfr_random.patch
0007-Fix-rounding-mode-check-in-assert.patch
+0008-Fix-build-failure-with-ppl-1.0.patch
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/apron.git
More information about the Pkg-ocaml-maint-commits
mailing list