From e721c2b1bd33339307c122c1f4f4bcc730bcfdcc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois-Xavier=20Carton?= Date: Wed, 12 Jan 2022 20:37:41 +0100 Subject: [PATCH] sci-mathematics/frama-c-wp: add missing variable MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Closes: https://bugs.gentoo.org/817368 Signed-off-by: François-Xavier Carton --- 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 d758f37028..f21e63d7c5 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) }