Created attachment 592580 [details] nusmv-2.6.0-minisat-build.log When USE="minisat", 16: error: storage size of ‘status’ isn’t known 46 | union wait status; | ^~~~~~ make[2]: Leaving directory '/tmp/portage/sci-mathematics/nusmv-2.6.0/work/nusmv-2.6.0_build' When USE="zchaff", Downloading ZChaff from http://www.princeton.edu/~chaff/zchaff/zchaff.64bit.2007.3.12.zip --> /tmp/portage/sci-mathematics/nusmv-2.6.0/work/nusmv-2.6.0_build/build-zchaff/zchaff.64bit.2007.3.12.zip CMake Error at /tmp/portage/sci-mathematics/nusmv-2.6.0/work/NuSMV-2.6.0/zchaff/CMakeLists.txt:40 (message): error: downloading 'http://www.princeton.edu/~chaff/zchaff/zchaff.64bit.2007.3.12.zip' failed status_code: 6 status_string: "Couldn't resolve host name" log: getaddrinfo(3) failed for www.princeton.edu:80 Couldn't resolve host 'www.princeton.edu' Closing connection 0 So seems unbuildable either way. I've kept merging https://bugs.gentoo.org/694982 due to nusmv depending on minisat, but seeing it doesn't build, I'm inclined to correct the sedding change for minisat.
The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=494768fd4f91286c04abcac0cb06c6042720cd1f commit 494768fd4f91286c04abcac0cb06c6042720cd1f Author: Jeffrey Lin <jeffrey@icurse.nl> AuthorDate: 2019-01-04 03:37:59 +0000 Commit: Joonas Niilola <juippis@gentoo.org> CommitDate: 2019-10-21 14:32:09 +0000 sci-mathematics/minisat: fix sed in header files Bug: https://bugs.gentoo.org/697562 Closes: https://bugs.gentoo.org/694982 Package-Manager: Portage-2.3.53, Repoman-2.3.12 Signed-off-by: Jeffrey Lin <jeffrey@icurse.nl> Signed-off-by: Joonas Niilola <juippis@gentoo.org> ...minisat-2.2.0_p20130925.ebuild => minisat-2.2.0_p20130925-r1.ebuild} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=22666562349d00d8680b3bce5334ec3ac1032f83 commit 22666562349d00d8680b3bce5334ec3ac1032f83 Author: David Seifert <soap@gentoo.org> AuthorDate: 2019-12-07 23:49:14 +0000 Commit: David Seifert <soap@gentoo.org> CommitDate: 2019-12-07 23:49:14 +0000 profiles: Mask sci-mathematics/nusmv for removal Bug: https://bugs.gentoo.org/343743 Bug: https://bugs.gentoo.org/347928 Bug: https://bugs.gentoo.org/451394 Bug: https://bugs.gentoo.org/547714 Bug: https://bugs.gentoo.org/623756 Bug: https://bugs.gentoo.org/697562 Signed-off-by: David Seifert <soap@gentoo.org> profiles/package.mask | 6 ++++++ 1 file changed, 6 insertions(+)
