Bug 602600

Summary:	[science overlay] =sci-mathematics/z3-4.3.1 build fails because of undefined references to GMP
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:	Failed build log Patch that fixes the problem

Description David E. Narváez 2016-12-14 04:52:07 UTC

For some reason their configuration script thinks "--with-gmp*" means the build should have GMP, even if you pass --with-gmp=no, so the best thing is to not mention GMP at all if the use flag is not enabled, see attached patch.

Reproducible: Always

Steps to Reproduce:
USE="-gmp" emerge =sci-mathematics/z3-4.3.1
Actual Results:  
See build.log

Expected Results:  
It should emerge z3.

Comment 1 David E. Narváez 2016-12-14 04:56:07 UTC

Created attachment 456138 [details]
Failed build log

This is after applying the fix from bug 602498

Comment 2 David E. Narváez 2016-12-14 04:57:32 UTC

Created attachment 456140 [details, diff]
Patch that fixes the problem

Comment 3 Mark Wright gentoo-dev

2017-01-02 00:25:11 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