diff options
| author |   David Seifert <soap@gentoo.org> | 2023-03-26 12:23:13 +0200 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2023-03-26 12:23:13 +0200 |
| commit | 661b50cf0892886bfc401d9015c09f8a3c8a3bd8 (patch) | |
| tree | 6b321038142348117428823ad905720bc8f117b3 /dev-libs | |
| parent | dev-libs/kirigami-addons: add 0.7.2 (diff) | |
| download | gentoo-661b50cf0892886bfc401d9015c09f8a3c8a3bd8.tar.gz gentoo-661b50cf0892886bfc401d9015c09f8a3c8a3bd8.tar.bz2 gentoo-661b50cf0892886bfc401d9015c09f8a3c8a3bd8.zip | |
dev-libs/link-grammar: do not enable SAT solver anymore
* Upstream recommends not using the sat solver anymore:
https://github.com/opencog/link-grammar/issues/1454#issuecomment-1465029027
Bug: https://bugs.gentoo.org/593662
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'dev-libs')
| -rw-r--r-- | dev-libs/link-grammar/link-grammar-5.12.3.ebuild | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/dev-libs/link-grammar/link-grammar-5.12.3.ebuild b/dev-libs/link-grammar/link-grammar-5.12.3.ebuild index 8a81b91fda91..0519ec6bbe77 100644 --- a/dev-libs/link-grammar/link-grammar-5.12.3.ebuild +++ b/dev-libs/link-grammar/link-grammar-5.12.3.ebuild @@ -24,8 +24,7 @@ RDEPEND=" dev-libs/libpcre2:= aspell? ( app-text/aspell ) hunspell? ( app-text/hunspell ) - python? ( ${PYTHON_DEPS} ) - !sci-mathematics/minisat" + python? ( ${PYTHON_DEPS} )" DEPEND="${RDEPEND}" BDEPEND=" dev-lang/swig:0 |