Bug 602498

Summary:	=sci-mathematics/z3-4.3.1 build fails because of wrong use of usex
Product:	Gentoo Linux	Reporter:	David E. Narváez <david.narvaez>
Component:	Current packages	Assignee:	Gentoo Science Related Packages <sci>
Status:	RESOLVED FIXED
Severity:	normal	CC:	mgorny
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	Patch fixing usex Failed build log

Description David E. Narváez 2016-12-13 05:19:32 UTC

Created attachment 456032 [details, diff]
Patch fixing usex

I tried emerging sci-mathematics/z3 and build failed with

x86_64-pc-linux-gnu-g++: error: no: No such file or directory

because usex outputs "no" by default if no false output is specified (https://devmanual.gentoo.org/eclass-reference/ebuild/index.html). The attached patch fixed this issue for me. I see z3-9999 should also be patched accordingly.

Comment 1 David E. Narváez 2016-12-13 05:21:23 UTC

Created attachment 456034 [details]
Failed build log

Comment 2 Mark Wright gentoo-dev

2017-01-02 00:24:31 UTC

I added z3 with the fixes, thanks, to portage.  As z3 is required by
sci-mathematics/isabelle.

commit e1bee0588417636345663574e7c1ef127abbebe6
Author: Mark Wright <gienah@gentoo.org>
Date:   Mon Jan 2 11:18:51 2017 +1100

    sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for development
    on the z3 ebuilds.  Thanks to David E. Narv?ez for reporting and patching.
    
    Gentoo-bug: 602498, 602600