[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

[Francois-Xavier Carton]

commit:     e721c2b1bd33339307c122c1f4f4bcc730bcfdcc
Author:     François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
AuthorDate: Wed Jan 12 19:37:41 2022 +0000
Commit:     Francois-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
CommitDate: Thu Jan 13 20:35:57 2022 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=e721c2b1

sci-mathematics/frama-c-wp: add missing variable

Closes: https://bugs.gentoo.org/817368
Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com>

 sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild b/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild
index d758f3702..f21e63d7c 100644
--- a/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild
+++ b/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild
@@ -36,6 +36,7 @@ src_prepare() {
 
 src_configure() {
 	export ENABLE_QED=yes
+	export ENABLE_RTEGEN=yes
 	econf --enable-wp \
 		$(use_enable coq wp-coq)
 }

[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/frama-c-wp/

[Francois-Xavier Carton]

commit:     6e6f034d42c2c67173ad1eb8bff08ca60404b7e6
Author:     François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
AuthorDate: Sat May  7 17:45:17 2022 +0000
Commit:     Francois-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
CommitDate: Sat May  7 17:46:34 2022 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=6e6f034d

sci-mathematics/frama-c-wp: add why3<1.5.0 restriction

Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com>

 sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild | 3 ++-
 sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild b/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild
index f21e63d7c..b31420839 100644
--- a/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild
+++ b/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild
@@ -19,7 +19,8 @@ RESTRICT="strip"
 RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
 	~sci-mathematics/frama-c-qed-${PV}:=[gtk?,ocamlopt?]
 	~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]
-	>=sci-mathematics/why3-1.4.0"
+	>=sci-mathematics/why3-1.4.0
+	<sci-mathematics/why3-1.5.0"
 DEPEND="${RDEPEND}"
 BDEPEND="coq? ( >=sci-mathematics/coq-8.12.0
 				<sci-mathematics/coq-8.13.0 )"

diff --git a/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild b/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild
index 56a641868..30bcf4c57 100644
--- a/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild
+++ b/sci-mathematics/frama-c-wp/frama-c-wp-24.0.ebuild
@@ -19,7 +19,8 @@ RESTRICT="strip"
 RDEPEND="~sci-mathematics/frama-c-${PV}:=[gtk?,ocamlopt?]
 	~sci-mathematics/frama-c-qed-${PV}:=[gtk?,ocamlopt?]
 	~sci-mathematics/frama-c-rtegen-${PV}:=[ocamlopt?]
-	>=sci-mathematics/why3-1.4.0"
+	>=sci-mathematics/why3-1.4.0
+	<sci-mathematics/why3-1.5.0"
 DEPEND="${RDEPEND}"
 BDEPEND="coq? ( >=sci-mathematics/coq-8.12.0
 				<sci-mathematics/coq-8.14.0 )"