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