[gentoo-commits] proj/sci:master commit in: sci-mathematics/why/files/, sci-mathematics/why/
commit: b965520209214cd9a83ac0377a881eff48034f7f
Author: Aisha Tammy aisha cc>
AuthorDate: Thu Sep 24 19:33:48 2020 +
Commit: Aisha Tammy aisha cc>
CommitDate: Thu Sep 24 19:33:48 2020 +
URL:https://gitweb.gentoo.org/proj/sci.git/commit/?id=b9655202
sci-mathematics/why: drop dead package
Package-Manager: Portage-3.0.7, Repoman-3.0.1
Signed-off-by: Aisha Tammy aisha.cc>
sci-mathematics/why/files/why-flocq23.patch | 11 -
sci-mathematics/why/metadata.xml| 25 ---
sci-mathematics/why/why-2.34.ebuild | 69 -
3 files changed, 105 deletions(-)
diff --git a/sci-mathematics/why/files/why-flocq23.patch
b/sci-mathematics/why/files/why-flocq23.patch
deleted file mode 100644
index b54d85a38..0
--- a/sci-mathematics/why/files/why-flocq23.patch
+++ /dev/null
@@ -1,11 +0,0 @@
lib/coq/WhyFloats.v.orig 2014-03-17 16:01:46.0 -0600
-+++ lib/coq/WhyFloats.v2014-04-21 15:39:55.680771647 -0600
-@@ -108,7 +108,7 @@
- generalize (Zeq_bool_eq _ _ H1). clear.
- rewrite Fcalc_digits.Z_of_nat_S_digits2_Pnat.
- intros H.
--apply (Fcalc_digits.Zpower_gt_Zdigits Fcalc_digits.radix2 (Zpos prec) (Zpos
m)).
-+apply (Fcore_digits.Zpower_gt_Zdigits Fcalc_digits.radix2 (Zpos prec) (Zpos
m)).
- revert H.
- unfold FLT_exp.
- generalize (Fcore_digits.Zdigits radix2 (Zpos m)).
diff --git a/sci-mathematics/why/metadata.xml b/sci-mathematics/why/metadata.xml
deleted file mode 100644
index 70e1eb45f..0
--- a/sci-mathematics/why/metadata.xml
+++ /dev/null
@@ -1,25 +0,0 @@
-
-http://www.gentoo.org/dtd/metadata.dtd;>
-
-
- s...@gentoo.org
- Gentoo Science Project
-
-
-Why is a software verification platform. It contains a general-purpose
-verification condition generator (VCG) which is used as a back-end
-by other verification tools but it can also be used directly to verify
-programs. It also provides Krakatoa, a tool or the verification of Java
-programs and Caduceus, a tool for the verification of C programs.
-
-
- Use sci-mathematics/apron library
for
-abstract interpretation
- Add sci-mathematics/coq
support
- Add sci-mathematics/flocq
support
- Add sci-mathematics/gappalib-coq
support
- Add sci-mathematics/frama-c
support
- Add sci-mathematics/pff
support
- Add sci-mathematics/why3
support
-
-
diff --git a/sci-mathematics/why/why-2.34.ebuild
b/sci-mathematics/why/why-2.34.ebuild
deleted file mode 100644
index 4851cd7c9..0
--- a/sci-mathematics/why/why-2.34.ebuild
+++ /dev/null
@@ -1,69 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit autotools eutils
-
-DESCRIPTION="Why is a software verification platform"
-HOMEPAGE="http://why.lri.fr/;
-SRC_URI="http://why.lri.fr/download/${P}.tar.gz;
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="~amd64"
-IUSE="apron coq doc examples float gappa frama-c gtk pff why3"
-
-DEPEND=">=dev-lang/ocaml-3.12.1
- >=dev-ml/ocamlgraph-1.5
- gtk? ( >=dev-ml/lablgtk-2.14 )
- apron? ( sci-mathematics/apron )
- coq? ( sci-mathematics/coq )
- gappa? ( sci-mathematics/gappalib-coq )
- pff? ( sci-mathematics/pff )
- frama-c? ( >=sci-mathematics/frama-c-20140301 )
- float? ( sci-mathematics/flocq )
- why3? ( sci-mathematics/why3 )"
-RDEPEND="${DEPEND}"
-
-DOCS=( CHANGES README Version )
-
-src_prepare() {
- sed -i Makefile.in \
- -e "s/DESTDIR =.*//g" \
- -e "s/@COQLIB@/\$(DESTDIR)\/@COQLIB@/g" || die
-
- #to build with apron-0.9.10
- sed -i configure.in \
- -e "s/pvs/sri-pvs/g" \
- -e "s/oct_caml/octMPQ_caml/g" \
- -e "s/box_caml/boxMPQ_caml/g" \
- -e "s/polka_caml/polkaMPQ_caml/g" || die
-
- epatch "${FILESDIR}"/why-flocq23.patch
- eautoreconf
-}
-
-src_configure() {
- econf $(use_enable apron) PATH="/usr/bin:$PATH"
-}
-
-src_compile(){
- MAKEOPTS+=" -j1"
- emake DESTDIR="/"
-}
-
-src_install(){
- default
-
- doman doc/why.1
-
- if use doc; then
- dodoc doc/manual.ps
- fi
-
- if use examples; then
- insinto /usr/share/doc/${PF}
- doins -r examples examples-c
- fi
-}
[gentoo-commits] proj/sci:master commit in: sci-mathematics/why/
commit: ccc480dc46e5542efa5c4cb98bd4bc965b843c7e
Author: Marius Brehler linux sungazer de>
AuthorDate: Wed Jun 15 15:06:49 2016 +
Commit: Marius Brehler linux sungazer de>
CommitDate: Wed Jun 15 15:06:49 2016 +
URL:https://gitweb.gentoo.org/proj/sci.git/commit/?id=ccc480dc
sci-mathematics/why: Drop ~x86 keyword
Package-Manager: portage-2.2.28
sci-mathematics/why/why-2.34.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/why/why-2.34.ebuild
b/sci-mathematics/why/why-2.34.ebuild
index c0ab0af..b2e3af2 100644
--- a/sci-mathematics/why/why-2.34.ebuild
+++ b/sci-mathematics/why/why-2.34.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
@@ -12,7 +12,7 @@ SRC_URI="http://why.lri.fr/download/${P}.tar.gz;
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="~amd64"
IUSE="apron coq doc examples float gappa frama-c gtk pff why3"
DEPEND=">=dev-lang/ocaml-3.12.1
[gentoo-commits] proj/sci:master commit in: sci-mathematics/why/
commit: afbcc389ce51f747b2c7e06cd1e1b5b1e170c55a
Author: Marius Brehler marbre AT linux DOT sungazer DOT de
AuthorDate: Sun Feb 8 10:03:51 2015 +
Commit: Christoph Junghans ottxor AT gentoo DOT org
CommitDate: Sun Feb 8 10:03:51 2015 +
URL:http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=afbcc389
sci-mathematics/why-2.34: Cleanup ebuild
---
sci-mathematics/why/ChangeLog | 6 +-
sci-mathematics/why/why-2.34.ebuild | 19 +++
2 files changed, 16 insertions(+), 9 deletions(-)
diff --git a/sci-mathematics/why/ChangeLog b/sci-mathematics/why/ChangeLog
index 1fc178c..14dc8f5 100644
--- a/sci-mathematics/why/ChangeLog
+++ b/sci-mathematics/why/ChangeLog
@@ -1,7 +1,11 @@
# ChangeLog for sci-mathematics/why
-# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 08 Feb 2015; Marius Brehler mar...@linux.sungazer.de
+ why-2.34.ebuild:
+ Cleanup ebuild
+
21 Jun 2014; Jonathan-Christofer Demay jcde...@gmail.com
-why-2.30.ebuild, -files/why-2.30.patch, +why-2.34.ebuild,
+why-flocq23.patch:
version bump
diff --git a/sci-mathematics/why/why-2.34.ebuild
b/sci-mathematics/why/why-2.34.ebuild
index 99372cd..4c13022 100644
--- a/sci-mathematics/why/why-2.34.ebuild
+++ b/sci-mathematics/why/why-2.34.ebuild
@@ -1,8 +1,8 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
-EAPI=5
+EAPI=5
inherit autotools eutils
@@ -27,33 +27,36 @@ DEPEND==dev-lang/ocaml-3.12.1
why3? ( sci-mathematics/why3 )
RDEPEND=${DEPEND}
+DOCS=( CHANGES README Version )
+
src_prepare() {
sed -i Makefile.in \
-e s/DESTDIR =.*//g \
- -e s/@COQLIB@/\$(DESTDIR)\/@COQLIB@/g
+ -e s/@COQLIB@/\$(DESTDIR)\/@COQLIB@/g || die
#to build with apron-0.9.10
sed -i configure.in \
-e s/pvs/sri-pvs/g \
-e s/oct_caml/octMPQ_caml/g \
-e s/box_caml/boxMPQ_caml/g \
- -e s/polka_caml/polkaMPQ_caml/g
+ -e s/polka_caml/polkaMPQ_caml/g || die
epatch ${FILESDIR}/why-flocq23.patch
eautoreconf
}
src_configure() {
- econf $(use_enable apron) PATH=/usr/bin:$PATH || die econf failed
+ econf $(use_enable apron) PATH=/usr/bin:$PATH
}
src_compile(){
- emake -j1 DESTDIR=/ || die emake failed
+ MAKEOPTS+= -j1
+ emake DESTDIR=/
}
src_install(){
- emake install DESTDIR=${D} || die emake install failed
- dodoc CHANGES README Version
+ default
+
doman doc/why.1
if use doc; then
[gentoo-commits] proj/sci:master commit in: sci-mathematics/why/
commit: c7e2fc52559882476a1f10d39dedf4fc4bf6c6a6 Author: Jauhien Piatlicki jauhien AT gentoo DOT org AuthorDate: Tue Sep 2 20:38:13 2014 + Commit: Jauhien Piatlicki jauhien AT gentoo DOT org CommitDate: Tue Sep 2 20:38:13 2014 + URL:http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=c7e2fc52 sci-mathematics/why: silence repoman, fix metadata.xml --- sci-mathematics/why/metadata.xml | 10 ++ 1 file changed, 10 insertions(+) diff --git a/sci-mathematics/why/metadata.xml b/sci-mathematics/why/metadata.xml index a777c26..d1a5308 100644 --- a/sci-mathematics/why/metadata.xml +++ b/sci-mathematics/why/metadata.xml @@ -9,4 +9,14 @@ programs. It also provides Krakatoa, a tool or the verification of Java programs and Caduceus, a tool for the verification of C programs. /longdescription +use + flag name='apron'Use pkgsci-mathematics/apron/pkg library for + abstract interpretation/flag + flag name='coq'Add pkgsci-mathematics/coq/pkg support/flag + flag name='float'Add pkgsci-mathematics/flocq/pkg support/flag + flag name='gappa'Add pkgsci-mathematics/gappalib-coq/pkg support/flag + flag name='frama-c'Add pkgsci-mathematics/frama-c/pkg support/flag + flag name='pff'Add pkgsci-mathematics/pff/pkg support/flag + flag name='why3'Add pkgsci-mathematics/why3/pkg support/flag +/use /pkgmetadata
