commit:     661b50cf0892886bfc401d9015c09f8a3c8a3bd8
Author:     David Seifert <soap <AT> gentoo <DOT> org>
AuthorDate: Sun Mar 26 10:23:13 2023 +0000
Commit:     David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Sun Mar 26 10:23:13 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=661b50cf

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 <AT> gentoo.org>

 dev-libs/link-grammar/link-grammar-5.12.3.ebuild | 3 +--
 1 file changed, 1 insertion(+), 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

Reply via email to