Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 602600 - [science overlay] =sci-mathematics/z3-4.3.1 build fails because of undefined references to GMP
Summary: [science overlay] =sci-mathematics/z3-4.3.1 build fails because of undefined ...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Related Packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-12-14 04:52 UTC by David E. Narváez
Modified: 2018-12-13 20:16 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
Failed build log (z3_build.log.gz,129.17 KB, application/gzip)
2016-12-14 04:56 UTC, David E. Narváez 		Details
Patch that fixes the problem (_z3-gmp.patch,434 bytes, patch)
2016-12-14 04:57 UTC, David E. Narváez 		Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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