[Pkg-ocaml-maint-commits] [frama-c] 01/02: Fix FTBFS on bytecode architectures

[Mehdi Dogguy]

This is an automated email from the git hooks/post-receive script.

mehdi pushed a commit to branch master
in repository frama-c.

commit 18010be854001e4ac2c3789e584bbb475fe7ce0f
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Mon Apr 28 21:28:39 2014 +0200

    Fix FTBFS on bytecode architectures
---
 debian/changelog                                   | 11 +++++++++++
 ...during-the-configure-on-bytecode-architec.patch | 22 ++++++++++++++++++++++
 debian/patches/series                              |  1 +
 3 files changed, 34 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 373bd51..121c461 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,14 @@
+frama-c (20140301+neon+dfsg-2) UNRELEASED; urgency=low
+
+  * The new configure script tries to compile a test program linking
+    against the OCamlgraph library. Unfortunately, upstream only tests
+    the native case and fails for the bytecode case. Since, the OCamlgraph
+    library is tested elsewhere, I'm adding a patch to disable that check.
+    This resolves observed FTBFS on bytecode architectures (mips and mipsel).
+    - Add 0005-Don-t-fail-during-the-configure-on-bytecode-architec.patch
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Mon, 28 Apr 2014 21:26:07 +0200
+
 frama-c (20140301+neon+dfsg-1) unstable; urgency=medium
 
   * New upstream release.
diff --git a/debian/patches/0005-Don-t-fail-during-the-configure-on-bytecode-architec.patch b/debian/patches/0005-Don-t-fail-during-the-configure-on-bytecode-architec.patch
new file mode 100644
index 0000000..475bb87
--- /dev/null
+++ b/debian/patches/0005-Don-t-fail-during-the-configure-on-bytecode-architec.patch
@@ -0,0 +1,22 @@
+From: Mehdi Dogguy <mehdi at debian.org>
+Date: Mon, 28 Apr 2014 21:25:50 +0200
+Subject: Don't fail during the configure on bytecode architectures
+
+---
+ configure.in |    2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/configure.in b/configure.in
+index 81acf76..4d047d4 100644
+--- a/configure.in
++++ b/configure.in
+@@ -357,7 +357,7 @@ if test "$OCAMLGRAPH_EXISTS" = "yes"; then
+           ocamlgraph_error
+         fi
+       else
+-        ocamlgraph_error
++        echo "Upstream .oO(I'm too lazy to write a test for the pure bytecode case)"
+       fi
+     fi
+   else
+-- 
diff --git a/debian/patches/series b/debian/patches/series
index 33bac70..58b17e5 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@
 0002-Use-bin-cp-instead-of-usr-bin-install.patch
 0003-Disable-CHMOD_RO-invocations.patch
 0004-Port-to-OCamlgraph-1.8.5.patch
+0005-Don-t-fail-during-the-configure-on-bytecode-architec.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git