public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/why/files/, sci-mathematics/why/
@ 2011-02-14 13:29 Jonathan-Christofer Demay
  0 siblings, 0 replies; 3+ messages in thread
From: Jonathan-Christofer Demay @ 2011-02-14 13:29 UTC (permalink / raw
  To: gentoo-commits

commit:     e3c726212dd711c207595d0a3a1c3635a4de15c0
Author:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Feb 14 15:31:35 2011 +0000
Commit:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Feb 14 15:31:35 2011 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=e3c72621

sci-mathematics/why: version bump

---
 sci-mathematics/why/ChangeLog                      |    8 +++-
 sci-mathematics/why/files/why_jessie-carbon.patch  |   36 ++++++++++++++++++++
 .../why/{why-2.26.ebuild => why-2.28.ebuild}       |    3 +-
 3 files changed, 44 insertions(+), 3 deletions(-)

diff --git a/sci-mathematics/why/ChangeLog b/sci-mathematics/why/ChangeLog
index b2e6fb9..dcc0e0f 100644
--- a/sci-mathematics/why/ChangeLog
+++ b/sci-mathematics/why/ChangeLog
@@ -1,14 +1,18 @@
 # ChangeLog for sci-mathematics/why
-# Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+  14 Feb 2011; J.-C. Demay <jcdemay@gmail.com>
+  -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>
   why-2.26.ebuild:
   Silenced repoman; dropped ~sparc since dependencies cannot be fulfilled.
 
   08 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
   -why-2.19.ebuild, +why-2.26.ebuild:
-  Version Bump
+  version Bump
 
   08 Jul 2010; J.-C. Demay <jcdemay@gmail.com>
   +ChangeLog, +metadata.xml:

diff --git a/sci-mathematics/why/files/why_jessie-carbon.patch b/sci-mathematics/why/files/why_jessie-carbon.patch
new file mode 100644
index 0000000..0288bc7
--- /dev/null
+++ b/sci-mathematics/why/files/why_jessie-carbon.patch
@@ -0,0 +1,36 @@
+diff -Naurp why-2.28-orig/jc/jc_annot_inference.ml why-2.28/jc/jc_annot_inference.ml
+--- why-2.28/jc/jc_annot_inference.ml	2010-12-17 20:06:44.000000000 +0000
++++ why-2.28/jc/jc_annot_inference.ml	2011-02-14 11:34:21.000000000 +0000
+@@ -150,8 +150,8 @@ let rec destruct_pointer t =
+     | JCTvar _ | JCTderef _ | JCTapp _ | JCTold _ | JCTat _ | JCTif _ 
+     | JCTrange _ | JCTmatch _ | JCTaddress _ | JCTbase_block _
+     | JCTconst _ | JCTbinary _ | JCTunary _ | JCToffset _ | JCTinstanceof _ 
+-    | JCTreal_cast _ | JCTrange_cast _ | JCTbitwise_cast _ | JCTcast _ ->
+-	None
++    | JCTreal_cast _ | JCTrange_cast _ | JCTbitwise_cast _ | JCTcast _
++    | JCTlet (_, _, _) -> None
+ 
+ let equality_operator_of_type ty = `Beq, operator_of_type ty
+ 
+@@ -610,8 +610,8 @@ let rec atp_of_term t =
+ 	Atp.Var (Vwp.variable_for_term t)
+     | JCTshift _ | JCTold _ | JCTat _ | JCTmatch _ | JCTinstanceof _ 
+     | JCTcast _ | JCTrange_cast _ | JCTbitwise_cast _ | JCTreal_cast _ 
+-    | JCTaddress _ | JCTif _ | JCTrange _ | JCTunary _ | JCTbase_block _ ->
+-	err ()
++    | JCTaddress _ | JCTif _ | JCTrange _ | JCTunary _ | JCTbase_block _
++    | JCTlet (_, _, _) -> err ()
+ 
+ let rec term_of_atp tm =
+   try
+@@ -1198,8 +1198,8 @@ let linearize t =
+       | JCTunary _ | JCTshift _ | JCTinstanceof _ | JCTmatch _ 
+       | JCTold _ | JCTat _ | JCTcast _ | JCTbitwise_cast _ 
+       | JCTrange_cast _ | JCTreal_cast _ | JCTaddress _ | JCTbase_block _
+-      | JCTrange _ | JCTif _ -> 
+-	  err ()
++      | JCTrange _ | JCTif _
++      | JCTlet (_, _, _) -> err ()
+     with Failure "linearize" -> 
+       (TermMap.add t (Int 1) TermMap.empty, Int 0)
+   in aux t

diff --git a/sci-mathematics/why/why-2.26.ebuild b/sci-mathematics/why/why-2.28.ebuild
similarity index 96%
rename from sci-mathematics/why/why-2.26.ebuild
rename to sci-mathematics/why/why-2.28.ebuild
index 57ed678..2095e82 100644
--- a/sci-mathematics/why/why-2.26.ebuild
+++ b/sci-mathematics/why/why-2.28.ebuild
@@ -36,7 +36,8 @@ src_prepare() {
 		-e "s/oct_caml/octMPQ_caml/g" \
 		-e "s/box_caml/boxMPQ_caml/g" \
 		-e "s/polka_caml/polkaMPQ_caml/g"
-
+	
+	epatch "${FILESDIR}"/${PN}_jessie-carbon.patch
 	eautoreconf
 }
 



^ permalink raw reply related	[flat|nested] 3+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/why/files/, sci-mathematics/why/
@ 2012-02-06 14:38 Jonathan-Christofer Demay
  0 siblings, 0 replies; 3+ messages in thread
From: Jonathan-Christofer Demay @ 2012-02-06 14:38 UTC (permalink / raw
  To: gentoo-commits

commit:     2a68e26824aa72d512a85e1f79435f5353745f00
Author:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
AuthorDate: Mon Feb  6 14:38:07 2012 +0000
Commit:     Jonathan-Christofer Demay <jcdemay <AT> gmail <DOT> com>
CommitDate: Mon Feb  6 14:38:07 2012 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=2a68e268

sci-mathematics/why: version bump

---
 sci-mathematics/why/ChangeLog                     |    5 +-
 sci-mathematics/why/files/why-2.30.patch          |   36 +++++++++++
 sci-mathematics/why/files/why_jessie-carbon.patch |   36 -----------
 sci-mathematics/why/metadata.xml                  |    2 +-
 sci-mathematics/why/why-2.29.ebuild               |   69 ---------------------
 sci-mathematics/why/why-2.30.ebuild               |   65 +++++++++++++++++++
 6 files changed, 105 insertions(+), 108 deletions(-)

diff --git a/sci-mathematics/why/ChangeLog b/sci-mathematics/why/ChangeLog
index 2a1bf9c..b7fb3e4 100644
--- a/sci-mathematics/why/ChangeLog
+++ b/sci-mathematics/why/ChangeLog
@@ -2,8 +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
+  21 Dec 2011; J.-C. Demay <jcdemay@gmail.com>
+  -why-2.29.ebuild, +why-2.30.ebuild, -files/why_jessie-carbon.patch, +files/why-2.30.patch:
+  version bump
 
   06 May 2011; J.-C. Demay <jcdemay@gmail.com>
   -why-2.28.ebuild, +why-2.29.ebuild:

diff --git a/sci-mathematics/why/files/why-2.30.patch b/sci-mathematics/why/files/why-2.30.patch
new file mode 100644
index 0000000..2c8f48c
--- /dev/null
+++ b/sci-mathematics/why/files/why-2.30.patch
@@ -0,0 +1,36 @@
+diff -Naurp why-2.30-orig/jc/jc_annot_inference.ml why-2.30-save/jc/jc_annot_inference.ml
+--- why-2.30-orig/jc/jc_annot_inference.ml	2011-10-24 15:21:06.000000000 +0000
++++ why-2.30-save/jc/jc_annot_inference.ml	2011-12-21 18:08:50.920338014 +0000
+@@ -147,6 +147,7 @@ let rec destruct_pointer t =
+ 	      let offt = new term ~typ:integer_type tnode in
+ 	      Some(tptr,offt)
+ 	end
++    | JCTlet _
+     | JCTvar _ | JCTderef _ | JCTapp _ | JCTold _ | JCTat _ | JCTif _ 
+     | JCTrange _ | JCTmatch _ | JCTaddress _ | JCTbase_block _
+     | JCTconst _ | JCTbinary _ | JCTunary _ | JCToffset _ | JCTinstanceof _ 
+@@ -491,7 +492,7 @@ let reg_annot ?id ?kind ?name ~pos ~anch
+   in
+   Format.fprintf Format.str_formatter "%a" Jc_output.assertion a;
+   let formula = Format.flush_str_formatter () in
+-  let lab = Output.reg_pos "G" ?id ?kind ?name ~formula loc in
++  let lab = Output.old_reg_pos "G" ?id ?kind ?name ~formula (Loc.extract loc) in
+   new assertion_with ~mark:lab a
+ 
+ 
+@@ -608,6 +609,7 @@ let rec atp_of_term t =
+ 	Atp.Fn(atp_of_unop uop, [atp_of_term t1])
+     | JCTvar _ | JCTderef _ | JCTapp _ | JCToffset _ ->
+ 	Atp.Var (Vwp.variable_for_term t)
++    | JCTlet _
+     | JCTshift _ | JCTold _ | JCTat _ | JCTmatch _ | JCTinstanceof _ 
+     | JCTcast _ | JCTrange_cast _ | JCTbitwise_cast _ | JCTreal_cast _ 
+     | JCTaddress _ | JCTif _ | JCTrange _ | JCTunary _ | JCTbase_block _ ->
+@@ -1194,6 +1196,7 @@ let linearize t =
+ 		(coeffs, minus_num cst1)
+ 	    | _ -> err ()
+ 	  end
++      | JCTlet _
+       | JCTvar _ | JCTderef _ | JCToffset _ | JCTapp _ | JCTbinary _ 
+       | JCTunary _ | JCTshift _ | JCTinstanceof _ | JCTmatch _ 
+       | JCTold _ | JCTat _ | JCTcast _ | JCTbitwise_cast _ 

diff --git a/sci-mathematics/why/files/why_jessie-carbon.patch b/sci-mathematics/why/files/why_jessie-carbon.patch
deleted file mode 100644
index 0288bc7..0000000
--- a/sci-mathematics/why/files/why_jessie-carbon.patch
+++ /dev/null
@@ -1,36 +0,0 @@
-diff -Naurp why-2.28-orig/jc/jc_annot_inference.ml why-2.28/jc/jc_annot_inference.ml
---- why-2.28/jc/jc_annot_inference.ml	2010-12-17 20:06:44.000000000 +0000
-+++ why-2.28/jc/jc_annot_inference.ml	2011-02-14 11:34:21.000000000 +0000
-@@ -150,8 +150,8 @@ let rec destruct_pointer t =
-     | JCTvar _ | JCTderef _ | JCTapp _ | JCTold _ | JCTat _ | JCTif _ 
-     | JCTrange _ | JCTmatch _ | JCTaddress _ | JCTbase_block _
-     | JCTconst _ | JCTbinary _ | JCTunary _ | JCToffset _ | JCTinstanceof _ 
--    | JCTreal_cast _ | JCTrange_cast _ | JCTbitwise_cast _ | JCTcast _ ->
--	None
-+    | JCTreal_cast _ | JCTrange_cast _ | JCTbitwise_cast _ | JCTcast _
-+    | JCTlet (_, _, _) -> None
- 
- let equality_operator_of_type ty = `Beq, operator_of_type ty
- 
-@@ -610,8 +610,8 @@ let rec atp_of_term t =
- 	Atp.Var (Vwp.variable_for_term t)
-     | JCTshift _ | JCTold _ | JCTat _ | JCTmatch _ | JCTinstanceof _ 
-     | JCTcast _ | JCTrange_cast _ | JCTbitwise_cast _ | JCTreal_cast _ 
--    | JCTaddress _ | JCTif _ | JCTrange _ | JCTunary _ | JCTbase_block _ ->
--	err ()
-+    | JCTaddress _ | JCTif _ | JCTrange _ | JCTunary _ | JCTbase_block _
-+    | JCTlet (_, _, _) -> err ()
- 
- let rec term_of_atp tm =
-   try
-@@ -1198,8 +1198,8 @@ let linearize t =
-       | JCTunary _ | JCTshift _ | JCTinstanceof _ | JCTmatch _ 
-       | JCTold _ | JCTat _ | JCTcast _ | JCTbitwise_cast _ 
-       | JCTrange_cast _ | JCTreal_cast _ | JCTaddress _ | JCTbase_block _
--      | JCTrange _ | JCTif _ -> 
--	  err ()
-+      | JCTrange _ | JCTif _
-+      | JCTlet (_, _, _) -> err ()
-     with Failure "linearize" -> 
-       (TermMap.add t (Int 1) TermMap.empty, Int 0)
-   in aux t

diff --git a/sci-mathematics/why/metadata.xml b/sci-mathematics/why/metadata.xml
index 33676ea..8098c56 100644
--- a/sci-mathematics/why/metadata.xml
+++ b/sci-mathematics/why/metadata.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-	<herd>sci-mathematics</herd>
+	<herd>sci</herd>
 	<longdescription>
 		Why is a software verification platform. It contains a general-purpose
 		verification condition generator (VCG) which is used as a back-end

diff --git a/sci-mathematics/why/why-2.29.ebuild b/sci-mathematics/why/why-2.29.ebuild
deleted file mode 100644
index c8cc38d..0000000
--- a/sci-mathematics/why/why-2.29.ebuild
+++ /dev/null
@@ -1,69 +0,0 @@
-# Copyright 1999-2011 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-EAPI=4
-
-inherit autotools eutils
-
-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 gtk jessie pff"
-
-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 \
-		-e "s/DESTDIR =.*//g" \
-		-e "s/@COQLIB@/\$(DESTDIR)\/@COQLIB@/g" \
-		-i Makefile.in || die
-
-	#to build with apron-0.9.10
-	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" \
-		-i configure.in || die
-
-	epatch "${FILESDIR}"/${PN}_jessie-carbon.patch
-	eautoreconf
-}
-
-src_configure() {
-	econf \
-		$(use_enable apron)
-}
-
-src_compile(){
-	emake -j1 DESTDIR="${EROOT}" || die "emake failed"
-}
-
-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
-}

diff --git a/sci-mathematics/why/why-2.30.ebuild b/sci-mathematics/why/why-2.30.ebuild
new file mode 100644
index 0000000..79036b6
--- /dev/null
+++ b/sci-mathematics/why/why-2.30.ebuild
@@ -0,0 +1,65 @@
+# Copyright 1999-2010 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+EAPI="2"
+
+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 ~ppc ~x86"
+IUSE="apron coq doc examples gappa jessie gtk 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 )"
+RDEPEND="${DEPEND}"
+
+src_prepare() {
+	sed -i Makefile.in \
+		-e "s/DESTDIR =.*//g" \
+		-e "s/@COQLIB@/\$(DESTDIR)\/@COQLIB@/g"
+
+	#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"
+
+	epatch "${FILESDIR}"/${P}.patch
+	eautoreconf
+}
+
+src_configure() {
+	econf $(use_enable apron) PATH="/usr/bin:$PATH" || die "econf failed"
+}
+
+src_compile(){
+	emake -j1 DESTDIR="/" || die "emake failed"
+}
+
+src_install(){
+	DESTDIR="${D}" emake install || die "emake install failed"
+	dodoc CHANGES README Version
+	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
+}



^ permalink raw reply related	[flat|nested] 3+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/why/files/, sci-mathematics/why/
@ 2020-09-24 21:02 Aisha Tammy
  0 siblings, 0 replies; 3+ messages in thread
From: Aisha Tammy @ 2020-09-24 21:02 UTC (permalink / raw
  To: gentoo-commits

commit:     b965520209214cd9a83ac0377a881eff48034f7f
Author:     Aisha Tammy <gentoo <AT> aisha <DOT> cc>
AuthorDate: Thu Sep 24 19:33:48 2020 +0000
Commit:     Aisha Tammy <gentoo <AT> aisha <DOT> cc>
CommitDate: Thu Sep 24 19:33:48 2020 +0000
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 <gentoo <AT> 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..000000000
--- 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.000000000 -0600
-+++ lib/coq/WhyFloats.v	2014-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..000000000
--- a/sci-mathematics/why/metadata.xml
+++ /dev/null
@@ -1,25 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
-	<maintainer type="project">
-		<email>sci@gentoo.org</email>
-		<name>Gentoo Science Project</name>
-	</maintainer>
-	<longdescription>
-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.
-</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>

diff --git a/sci-mathematics/why/why-2.34.ebuild b/sci-mathematics/why/why-2.34.ebuild
deleted file mode 100644
index 4851cd7c9..000000000
--- 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
-}


^ permalink raw reply related	[flat|nested] 3+ messages in thread
end of thread, other threads:[~2020-09-24 21:02 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2011-02-14 13:29 [gentoo-commits] proj/sci:master commit in: sci-mathematics/why/files/, sci-mathematics/why/ Jonathan-Christofer Demay
  -- strict thread matches above, loose matches on Subject: below --
2012-02-06 14:38 Jonathan-Christofer Demay
2020-09-24 21:02 Aisha Tammy

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox