Bug 697562

Summary:	sci-mathematics/nusmv-2.6.0: fails to build
Product:	Gentoo Linux	Reporter:	Joonas Niilola <juippis>
Component:	Current packages	Assignee:	Robin Johnson <robbat2>
Status:	RESOLVED WONTFIX
Severity:	normal	CC:	sci-mathematics, treecleaner
Priority:	Normal	Keywords:	PMASKED
Version:	unspecified
Hardware:	All
OS:	Linux
See Also:	https://bugs.gentoo.org/show_bug.cgi?id=694982
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	nusmv-2.6.0-minisat-build.log

Description Joonas Niilola gentoo-dev

2019-10-12 15:47:29 UTC

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.

Comment 1 Larry the Git Cow gentoo-dev

2019-10-21 14:32:27 UTC

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(-)

Comment 2 Larry the Git Cow gentoo-dev

2019-12-07 23:50:33 UTC

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(+)