* [gentoo-commits] proj/sci:master commit in: sci-mathematics/why/
@ 2011-05-11 23:51 Jonathan-Christofer Demay
0 siblings, 0 replies; 6+ messages in thread
From: Jonathan-Christofer Demay @ 2011-05-11 23:51 UTC (permalink / raw
To: gentoo-commits
commit: e465d38b53de5cf7830c78cbe5a3fa112e775ed0
Author: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Wed May 11 23:51:31 2011 +0000
Commit: Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Wed May 11 23:51:31 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=e465d38b
sci-mathematics/why: version bump
---
sci-mathematics/why/ChangeLog | 6 +++++-
.../why/{why-2.28.ebuild => why-2.29.ebuild} | 0
2 files changed, 5 insertions(+), 1 deletions(-)
diff --git a/sci-mathematics/why/ChangeLog b/sci-mathematics/why/ChangeLog
index dcc0e0f..4820f8b 100644
--- a/sci-mathematics/why/ChangeLog
+++ b/sci-mathematics/why/ChangeLog
@@ -2,8 +2,12 @@
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 06 May 2011; J.-C. Demay <jcdemay@gmail.com>
+ -why-2.28.ebuild, +why-2.29.ebuild:
+ version bump
+
14 Feb 2011; J.-C. Demay <jcdemay@gmail.com>
- -why-2.26.ebuild, +why-2.28.ebuild, files/why_jessie-carbon.patch:
+ -why-2.26.ebuild, +why-2.28.ebuild, +files/why_jessie-carbon.patch:
version bump
11 Jul 2010; Andreas K. Huettel (dilfridge) <mail@akhuettel.de>
diff --git a/sci-mathematics/why/why-2.28.ebuild b/sci-mathematics/why/why-2.29.ebuild
similarity index 100%
rename from sci-mathematics/why/why-2.28.ebuild
rename to sci-mathematics/why/why-2.29.ebuild
^ permalink raw reply related [flat|nested] 6+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/why/
@ 2011-06-24 17:09 Justin Lecher
0 siblings, 0 replies; 6+ messages in thread
From: Justin Lecher @ 2011-06-24 17:09 UTC (permalink / raw
To: gentoo-commits
commit: a973191d68dba6bfb91433a99da491656f064058
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 24 15:19:48 2011 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Fri Jun 24 15:19:48 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=a973191d
QA on why
---
sci-mathematics/why/ChangeLog | 3 +++
sci-mathematics/why/why-2.29.ebuild | 2 +-
2 files changed, 4 insertions(+), 1 deletions(-)
diff --git a/sci-mathematics/why/ChangeLog b/sci-mathematics/why/ChangeLog
index 4820f8b..2a1bf9c 100644
--- a/sci-mathematics/why/ChangeLog
+++ b/sci-mathematics/why/ChangeLog
@@ -2,6 +2,9 @@
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 24 Jun 2011; Justin Lecher <jlec@gentoo.org> why-2.29.ebuild:
+ EAPI bump
+
06 May 2011; J.-C. Demay <jcdemay@gmail.com>
-why-2.28.ebuild, +why-2.29.ebuild:
version bump
diff --git a/sci-mathematics/why/why-2.29.ebuild b/sci-mathematics/why/why-2.29.ebuild
index d2e5b9c..c8cc38d 100644
--- a/sci-mathematics/why/why-2.29.ebuild
+++ b/sci-mathematics/why/why-2.29.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2010 Gentoo Foundation
+# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
^ permalink raw reply related [flat|nested] 6+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/why/
@ 2011-06-24 17:09 Justin Lecher
0 siblings, 0 replies; 6+ messages in thread
From: Justin Lecher @ 2011-06-24 17:09 UTC (permalink / raw
To: gentoo-commits
commit: ce6461b7190b5e7dd14d7ba350a3980c4fd625a7
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 24 15:14:28 2011 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Fri Jun 24 15:14:28 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=ce6461b7
Sort inherit and/or USE
(Portage version: 2.2.0_alpha41/git/Linux x86_64, signed Manifest commit with key 70EB7916)
---
sci-mathematics/why/why-2.29.ebuild | 44 +++++++++++++++++++----------------
1 files changed, 24 insertions(+), 20 deletions(-)
diff --git a/sci-mathematics/why/why-2.29.ebuild b/sci-mathematics/why/why-2.29.ebuild
index 2095e82..d2e5b9c 100644
--- a/sci-mathematics/why/why-2.29.ebuild
+++ b/sci-mathematics/why/why-2.29.ebuild
@@ -2,56 +2,60 @@
# Distributed under the terms of the GNU General Public License v2
# $Header: $
-EAPI="2"
+EAPI=4
inherit autotools eutils
-DESCRIPTION="Why is a software verification platform."
+DESCRIPTION="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 ~ppc ~x86"
-IUSE="apron coq doc examples gappa jessie gtk pff"
+IUSE="apron coq doc examples gappa gtk jessie pff"
-DEPEND=">=dev-lang/ocaml-3.09
- >=dev-ml/ocamlgraph-1.2
- gtk? ( >=dev-ml/lablgtk-2.14 )
- apron? ( sci-mathematics/apron )
- coq? ( sci-mathematics/coq )
- gappa? ( sci-mathematics/gappalib-coq )
- pff? ( sci-mathematics/pff )
- jessie? ( >=sci-mathematics/frama-c-20100401 )"
+DEPEND="
+ >=dev-lang/ocaml-3.09
+ >=dev-ml/ocamlgraph-1.2
+ apron? ( sci-mathematics/apron )
+ coq? ( sci-mathematics/coq )
+ gappa? ( sci-mathematics/gappalib-coq )
+ gtk? ( >=dev-ml/lablgtk-2.14 )
+ jessie? ( >=sci-mathematics/frama-c-20100401 )
+ pff? ( sci-mathematics/pff )"
RDEPEND="${DEPEND}"
src_prepare() {
- sed -i Makefile.in \
+ sed \
-e "s/DESTDIR =.*//g" \
- -e "s/@COQLIB@/\$(DESTDIR)\/@COQLIB@/g"
+ -e "s/@COQLIB@/\$(DESTDIR)\/@COQLIB@/g" \
+ -i Makefile.in || die
#to build with apron-0.9.10
- sed -i configure.in \
+ sed \
-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" \
+ -i configure.in || die
+
epatch "${FILESDIR}"/${PN}_jessie-carbon.patch
eautoreconf
}
src_configure() {
- econf $(use_enable apron) PATH="/usr/bin:$PATH" || die "econf failed"
+ econf \
+ $(use_enable apron)
}
src_compile(){
- emake -j1 DESTDIR="/" || die "emake failed"
+ emake -j1 DESTDIR="${EROOT}" || die "emake failed"
}
src_install(){
- DESTDIR="${D}" emake install || die "emake install failed"
- dodoc CHANGES README Version
+ default
+
doman doc/why.1
if use doc; then
^ permalink raw reply related [flat|nested] 6+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/why/
@ 2014-09-02 21:19 Jauhien Piatlicki
0 siblings, 0 replies; 6+ messages in thread
From: Jauhien Piatlicki @ 2014-09-02 21:19 UTC (permalink / raw
To: gentoo-commits
commit: c7e2fc52559882476a1f10d39dedf4fc4bf6c6a6
Author: Jauhien Piatlicki <jauhien <AT> gentoo <DOT> org>
AuthorDate: Tue Sep 2 20:38:13 2014 +0000
Commit: Jauhien Piatlicki <jauhien <AT> gentoo <DOT> org>
CommitDate: Tue Sep 2 20:38:13 2014 +0000
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 <pkg>sci-mathematics/apron</pkg> library for
+ abstract interpretation</flag>
+ <flag name='coq'>Add <pkg>sci-mathematics/coq</pkg> support</flag>
+ <flag name='float'>Add <pkg>sci-mathematics/flocq</pkg> support</flag>
+ <flag name='gappa'>Add <pkg>sci-mathematics/gappalib-coq</pkg> support</flag>
+ <flag name='frama-c'>Add <pkg>sci-mathematics/frama-c</pkg> support</flag>
+ <flag name='pff'>Add <pkg>sci-mathematics/pff</pkg> support</flag>
+ <flag name='why3'>Add <pkg>sci-mathematics/why3</pkg> support</flag>
+</use>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 6+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/why/
@ 2015-02-08 21:07 Christoph Junghans
0 siblings, 0 replies; 6+ messages in thread
From: Christoph Junghans @ 2015-02-08 21:07 UTC (permalink / raw
To: gentoo-commits
commit: afbcc389ce51f747b2c7e06cd1e1b5b1e170c55a
Author: Marius Brehler <marbre <AT> linux <DOT> sungazer <DOT> de>
AuthorDate: Sun Feb 8 10:03:51 2015 +0000
Commit: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
CommitDate: Sun Feb 8 10:03:51 2015 +0000
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 <marbre@linux.sungazer.de>
+ why-2.34.ebuild:
+ Cleanup ebuild
+
21 Jun 2014; Jonathan-Christofer Demay <jcdemay@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
^ permalink raw reply related [flat|nested] 6+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/why/
@ 2016-06-15 15:08 Marius Brehler
0 siblings, 0 replies; 6+ messages in thread
From: Marius Brehler @ 2016-06-15 15:08 UTC (permalink / raw
To: gentoo-commits
commit: ccc480dc46e5542efa5c4cb98bd4bc965b843c7e
Author: Marius Brehler <marbre <AT> linux <DOT> sungazer <DOT> de>
AuthorDate: Wed Jun 15 15:06:49 2016 +0000
Commit: Marius Brehler <marbre <AT> linux <DOT> sungazer <DOT> de>
CommitDate: Wed Jun 15 15:06:49 2016 +0000
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
^ permalink raw reply related [flat|nested] 6+ messages in thread
end of thread, other threads:[~2016-06-15 15:09 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-02-08 21:07 [gentoo-commits] proj/sci:master commit in: sci-mathematics/why/ Christoph Junghans
-- strict thread matches above, loose matches on Subject: below --
2016-06-15 15:08 Marius Brehler
2014-09-02 21:19 Jauhien Piatlicki
2011-06-24 17:09 Justin Lecher
2011-06-24 17:09 Justin Lecher
2011-05-11 23:51 Jonathan-Christofer Demay
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox