[Pkg-ocaml-maint-commits] [why] 09/14: drop patch 0007-Replace-caduceus-invocation-by-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 e6ed2404eee272952b9852cbefe852b5492c5aa6
Author: Ralf Treinen <treinen at 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 <mehdi at 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