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 <me...@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 <me...@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 <me...@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 _______________________________________________ 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