FreeBSD Bugzilla – Attachment 197368 Details for
Bug 231604
math/z3: fix build on GCC-based architectures
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
Help
|
New Account
|
Log In
Remember
[x]
|
Forgot Password
Login:
[x]
[patch]
patch
z3.patch (text/plain), 325 bytes, created by
Piotr Kubaj
on 2018-09-22 18:46:56 UTC
(
hide
)
Description:
patch
Filename:
MIME Type:
Creator:
Piotr Kubaj
Created:
2018-09-22 18:46:56 UTC
Size:
325 bytes
patch
obsolete
>Index: Makefile >=================================================================== >--- Makefile (revision 480383) >+++ Makefile (working copy) >@@ -12,7 +12,7 @@ > LICENSE= MIT > LICENSE_FILE= ${WRKSRC}/LICENSE.txt > >-USES= python:2.7,build >+USES= compiler:c++11-lang python:2.7,build > USE_GITHUB= yes > GH_ACCOUNT= Z3Prover >
<b>You cannot view the attachment while viewing its details because your browser does not support IFRAMEs. <a href="attachment.cgi?id=197368">View the attachment on a separate page</a>.</b>
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 231604
: 197368