Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 456140 Details for
Bug 602600
[science overlay] =sci-mathematics/z3-4.3.1 build fails because of undefined references to GMP
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
[patch]
Patch that fixes the problem
_z3-gmp.patch (text/plain), 434 bytes, created by
David E. Narváez
on 2016-12-14 04:57:32 UTC
(
hide
)
Description:
Patch that fixes the problem
Filename:
MIME Type:
Creator:
David E. Narváez
Created:
2016-12-14 04:57:32 UTC
Size:
434 bytes
patch
obsolete
>diff --git a/sci-mathematics/z3/z3-4.3.1.ebuild b/sci-mathematics/z3/z3-4.3.1.ebuild >index e7b9bd0aa..7fbf4e9f5 100644 >--- a/sci-mathematics/z3/z3-4.3.1.ebuild >+++ b/sci-mathematics/z3/z3-4.3.1.ebuild >@@ -53,7 +53,7 @@ src_configure() { > econf \ > --host="" \ > --with-python="${PYTHON}" \ >- $(use_with gmp) \ >+ $(usex gmp "--with-gmp" "") \ > SLIBFLAGS=" -Wl,-soname,lib${PN}.so.0.1 " > ${EPYTHON} scripts/mk_make.py || die > }
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 602600
:
456138
| 456140