commit: 3daf7a4558c0902de667621d1b3c3224418a5007 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Tue Jun 29 14:16:08 2021 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Tue Jun 29 14:16:08 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3daf7a45
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 <tupone <AT> gentoo.org> sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild | 1 + 1 file changed, 1 insertion(+) 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 04dd0ae9fcb..06a68247055 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) \
