diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2021-06-29 16:16:08 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2021-06-29 16:16:08 +0200 |
| commit | 3daf7a4558c0902de667621d1b3c3224418a5007 (patch) | |
| tree | 722a1c3b92fd0a29eb8da410b044cd8517a12b34 /sci-mathematics | |
| parent | net-im/teams: fix libffmpeg.so symlink (diff) | |
| download | gentoo-3daf7a4558c0902de667621d1b3c3224418a5007.tar.gz gentoo-3daf7a4558c0902de667621d1b3c3224418a5007.tar.bz2 gentoo-3daf7a4558c0902de667621d1b3c3224418a5007.zip | |
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@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2021.ebuild | 1 |
1 files changed, 1 insertions, 0 deletions
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) \ |