FreeBSD Bugzilla – Attachment 200434 Details for
Bug 234336
math/py-z3-solver: fix build with GCC-based architectures
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
Help
|
New Account
|
Log In
Remember
[x]
|
Forgot Password
Login:
[x]
[patch]
patch
py-z3-solver.patch (text/plain), 409 bytes, created by
Piotr Kubaj
on 2018-12-24 10:26:32 UTC
(
hide
)
Description:
patch
Filename:
MIME Type:
Creator:
Piotr Kubaj
Created:
2018-12-24 10:26:32 UTC
Size:
409 bytes
patch
obsolete
>Index: Makefile >=================================================================== >--- Makefile (revision 488017) >+++ Makefile (working copy) >@@ -14,7 +14,7 @@ > > # CAVEAT: It should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767 > >-USES= python >+USES= compiler:c++11-lang python > USE_GITHUB= yes > GH_ACCOUNT= Z3Prover > GH_PROJECT= z3
<b>You cannot view the attachment while viewing its details because your browser does not support IFRAMEs. <a href="attachment.cgi?id=200434">View the attachment on a separate page</a>.</b>
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 234336
: 200434