This is an automated email from the git hooks/post-receive script.
mehdi pushed a commit to branch master
in repository frama-c.
commit 425ef1875af98b81627491d19162a9a8e19316dc
Author: Mehdi Dogguy <me...@debian.org>
Date: Sun Sep 10 13:48:52 2017 +0200
Do not use '-C' CPPFLAG when compiling jemalloc
---
...not-use-C-CPPFLAG-when-compiling-jemalloc.patch | 24 ++++++++++++++++++++++
debian/patches/series | 1 +
2 files changed, 25 insertions(+)
diff --git
a/debian/patches/0012-Do-not-use-C-CPPFLAG-when-compiling-jemalloc.patch
b/debian/patches/0012-Do-not-use-C-CPPFLAG-when-compiling-jemalloc.patch
new file mode 100644
index 0000000..9fe062b
--- /dev/null
+++ b/debian/patches/0012-Do-not-use-C-CPPFLAG-when-compiling-jemalloc.patch
@@ -0,0 +1,24 @@
+From: Dimitri John Ledkov <x...@ubuntu.com>
+Date: Sun, 10 Sep 2017 13:46:12 +0200
+Subject: Do not use '-C' CPPFLAG when compiling jemalloc
+
+math.h bombs out with -C on i386
+
+Bug-Ubuntu: https://bugs.launchpad.net/bugs/1714514
+---
+ src/plugins/e-acsl/contrib/libjemalloc/Makefile.in | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/src/plugins/e-acsl/contrib/libjemalloc/Makefile.in
b/src/plugins/e-acsl/contrib/libjemalloc/Makefile.in
+index 5cf61df..539e916 100644
+--- a/src/plugins/e-acsl/contrib/libjemalloc/Makefile.in
++++ b/src/plugins/e-acsl/contrib/libjemalloc/Makefile.in
+@@ -23,7 +23,7 @@ abs_srcroot := @abs_srcroot@
+ abs_objroot := @abs_objroot@
+
+ # Build parameters.
+-CPPFLAGS := @CPPFLAGS@ -I$(srcroot)include -I$(objroot)include
++CPPFLAGS := $(filter-out -C, @CPPFLAGS@ -I$(srcroot)include
-I$(objroot)include)
+ CFLAGS := @CFLAGS@
+ LDFLAGS := @LDFLAGS@
+ EXTRA_LDFLAGS := @EXTRA_LDFLAGS@
diff --git a/debian/patches/series b/debian/patches/series
index f13c859..bae8855 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -9,3 +9,4 @@
0009-Better-handling-of-dynlink-detection.patch
0010-Add-zsh-completion-file.patch
0011-Fix-installation-target-on-bytecode-architectures.patch
+0012-Do-not-use-C-CPPFLAG-when-compiling-jemalloc.patch
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.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
