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

Closes: https://bugs.gentoo.org/817368 Signed-off-by: François-Xavier Carton <fx.carton91@gmail.com>
2026-07-20 20:43:09 -04:00 · 2022-01-12 20:37:41 +01:00
parent 7d5a7e1d0a
commit e721c2b1bd
1 changed files with 1 additions and 0 deletions
--- 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)
 }