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 <st...@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 <d...@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 <st...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits