[Pkg-ocaml-maint-commits] [why] 01/01: accept new frama-c

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository why.

commit c8219b1e13c90446da5ba6113229acf0e2407317
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Tue Feb 4 12:33:23 2014 +0100

    accept new frama-c
---
 debian/changelog                |  5 +++--
 debian/patches/frama-c-versions | 16 ++++++++++++++++
 debian/patches/series           |  1 +
 3 files changed, 20 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index d0fa082..7adfb7c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -13,14 +13,15 @@ why (2.33-1) unstable; urgency=low
   * New patch deprecated-or to replace "or" by "||", needed for more strict
     checks in ocaml 4
   * New patch hashtbl to fix compilation with ocaml 4.01, taken from fedora.
-  * Patch atp-versions: update accepted versions of external provers:
+  * New patch atp-versions: update accepted versions of external provers:
     alt-ergo, coq
+  * New patch frama-c-versions: update accepted version of frama-c
   * Add myself to uploaders.
   * Standards-Version 3.9.5 (no change)
   * Add DEP8-style package tests for why with alt-ergo, and why with cvc3.
   * Bump build-dependency on frama-c-base to the latest version.
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 04 Feb 2014 09:50:48 +0100
+ -- Ralf Treinen <treinen at debian.org>  Tue, 04 Feb 2014 12:33:02 +0100
 
 why (2.30+dfsg-5) unstable; urgency=low
 
diff --git a/debian/patches/frama-c-versions b/debian/patches/frama-c-versions
new file mode 100644
index 0000000..771e80f
--- /dev/null
+++ b/debian/patches/frama-c-versions
@@ -0,0 +1,16 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: Accept newer version of frama-c
+
+Index: why/configure.in
+===================================================================
+--- why.orig/configure.in	2014-02-04 13:43:45.271873700 +0100
++++ why/configure.in	2014-02-04 13:44:38.342418588 +0100
+@@ -300,7 +300,7 @@
+       FRAMACVERSION=`$FRAMAC -version | sed -n -e 's|Version: *\(.*\)$|\1|p' `
+       AC_MSG_RESULT($FRAMACVERSION)
+       case $FRAMACVERSION in
+-        Fluorine-20130401) 
++        Fluorine-20130401|Fluorine-20130601) 
+            FRAMAC=yes
+            ;;
+         *) FRAMACMSG="you need Frama-C version Fluorine-20130401"
diff --git a/debian/patches/series b/debian/patches/series
index e509f90..0e7ff18 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,4 @@
 deprecated-or
 hashtbl
 atp-versions
+frama-c-versions

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