Summary: | dev-libs/link-grammar: ebuilds build and install bundled copy of sci-mathematics/minisat | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
Component: | Current packages | Assignee: | David Seifert <soap> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | esigra, g.braeunlich, gnome, sci |
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
URL: | https://github.com/opencog/link-grammar/issues/442 | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Bug Depends on: | |||
Bug Blocks: | 251464 | ||
Attachments: |
emerge-history.txt
sci-mathematics:minisat-2.2.0_p20130925:20160913-132447.log |
Description
Toralf Förster
2016-09-13 13:38:57 UTC
Created attachment 445604 [details]
emerge-history.txt
Created attachment 445606 [details]
sci-mathematics:minisat-2.2.0_p20130925:20160913-132447.log
I have just confirmed that stable dev-libs/link-grammar-5.3.7 installs its own copy of libminisat as well. Unfortunately there doesn't seem to be any way of preventing this without patching the build scripts. Simple solution: add RDEPEND blocks for stable stuff, revbump all colliding packages and unbundle minisat. Reassigning the bug to maintainers of dev-libs/link-grammar. For the record, it seems that the version of minisat bundled with link-grammar is quite old. According to https://github.com/opencog/link-grammar/issues/415 , version older than 5.3.11 were using a bundled minisat 2.0 . It is now possible to use a system minisat 2.2 I don't know which minisat-2.2 release they used but none of the version in tree are supported it seems. I'll push a proper bug report after bumping link-grammar. Gilles, it seems this was solved in 5.3.13... are you going to look into it or could I go ahead? (I am unsure if you have any ebuild prepared) https://github.com/opencog/link-grammar/issues/442 The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=661b50cf0892886bfc401d9015c09f8a3c8a3bd8 commit 661b50cf0892886bfc401d9015c09f8a3c8a3bd8 Author: David Seifert <soap@gentoo.org> AuthorDate: 2023-03-26 10:23:13 +0000 Commit: David Seifert <soap@gentoo.org> CommitDate: 2023-03-26 10:23:13 +0000 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> dev-libs/link-grammar/link-grammar-5.12.3.ebuild | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4db0b8613d51c22c44ecf26ff390d0e54ee04866 commit 4db0b8613d51c22c44ecf26ff390d0e54ee04866 Author: David Seifert <soap@gentoo.org> AuthorDate: 2023-05-04 11:01:45 +0000 Commit: David Seifert <soap@gentoo.org> CommitDate: 2023-05-04 11:01:45 +0000 dev-libs/link-grammar: drop 5.12.0 Closes: https://bugs.gentoo.org/593662 Signed-off-by: David Seifert <soap@gentoo.org> dev-libs/link-grammar/Manifest | 1 - dev-libs/link-grammar/link-grammar-5.12.0.ebuild | 109 ----------------------- 2 files changed, 110 deletions(-) |