From 3daf7a4558c0902de667621d1b3c3224418a5007 Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Tue, 29 Jun 2021 16:16:08 +0200 Subject: sci-mathematics/why3-for-spark: disable hypothesis-selection Closes: https://bugs.gentoo.org/799173 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone --- sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild | 1 + 1 file changed, 1 insertion(+) (limited to 'sci-mathematics') diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild index 04dd0ae9fcb9..06a68247055f 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild @@ -80,6 +80,7 @@ src_configure() { --disable-pvs-libs \ --disable-isabelle-libs \ --enable-verbose-make \ + --disable-hypothesis-selection \ $(use_enable coq coq-libs) \ $(use_enable doc) \ $(use_enable emacs emacs-compilation) \ -- cgit v1.2.3-65-gdbad