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) }
