This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why.
commit e6ed2404eee272952b9852cbefe852b5492c5aa6 Author: Ralf Treinen <trei...@free.fr> Date: Fri Jan 17 20:28:32 2014 +0100 drop patch 0007-Replace-caduceus-invocation-by-Frama-C --- debian/changelog | 1 + ...07-Replace-caduceus-invocation-by-Frama-C.patch | 24 ---------------------- debian/patches/series | 1 - 3 files changed, 1 insertion(+), 25 deletions(-) diff --git a/debian/changelog b/debian/changelog index 53ce110..c180f92 100644 --- a/debian/changelog +++ b/debian/changelog @@ -8,6 +8,7 @@ why (2.33-1) unstable; urgency=low - 0004-Default-to-why2-for-jessie-atp.patch - 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch - 0006-Fix-spelling-error-in-binary.patch + - 0007-Replace-caduceus-invocation-by-Frama-C.patch -- diff --git a/debian/patches/0007-Replace-caduceus-invocation-by-Frama-C.patch b/debian/patches/0007-Replace-caduceus-invocation-by-Frama-C.patch deleted file mode 100644 index 825bc6b..0000000 --- a/debian/patches/0007-Replace-caduceus-invocation-by-Frama-C.patch +++ /dev/null @@ -1,24 +0,0 @@ -From: Mehdi Dogguy <me...@debian.org> -Date: Mon, 16 Jan 2012 18:19:16 +0100 -Subject: Replace caduceus invocation by Frama-C - ---- - bin/gwhy.sh | 4 +--- - 1 file changed, 1 insertion(+), 3 deletions(-) - -diff --git a/bin/gwhy.sh b/bin/gwhy.sh -index 35c487e..f7d7a6b 100755 ---- a/bin/gwhy.sh -+++ b/bin/gwhy.sh -@@ -13,9 +13,7 @@ case $1 in - make -f $b.makefile gui - ;; - *.c) -- b=`basename $1 .c` -- caduceus -why-opt -split-user-conj $1 || exit 1 -- make -f $b.makefile gui -+ frama-c -jessie -jessie-why-opt="-split-user-conj" $1 || exit 1 - ;; - *.jc) - b=`basename $1 .jc` --- diff --git a/debian/patches/series b/debian/patches/series index dd33e08..e69de29 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +0,0 @@ -0007-Replace-caduceus-invocation-by-Frama-C.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.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