| 1 |
commit: e721c2b1bd33339307c122c1f4f4bcc730bcfdcc |
| 2 |
Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com> |
| 3 |
AuthorDate: Wed Jan 12 19:37:41 2022 +0000 |
| 4 |
Commit: Theo Anderson <telans <AT> posteo <DOT> de> |
| 5 |
CommitDate: Thu Jan 13 20:35:57 2022 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=e721c2b1 |
| 7 |
|
| 8 |
sci-mathematics/frama-c-wp: add missing variable |
| 9 |
|
| 10 |
Closes: https://bugs.gentoo.org/817368 |
| 11 |
Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com> |
| 12 |
|
| 13 |
sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild | 1 + |
| 14 |
1 file changed, 1 insertion(+) |
| 15 |
|
| 16 |
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 |
| 17 |
index d758f3702..f21e63d7c 100644 |
| 18 |
--- a/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild |
| 19 |
+++ b/sci-mathematics/frama-c-wp/frama-c-wp-23.1.ebuild |
| 20 |
@@ -36,6 +36,7 @@ src_prepare() { |
| 21 |
|
| 22 |
src_configure() { |
| 23 |
export ENABLE_QED=yes |
| 24 |
+ export ENABLE_RTEGEN=yes |
| 25 |
econf --enable-wp \ |
| 26 |
$(use_enable coq wp-coq) |
| 27 |
} |
Archives