FreeBSD Bugzilla – Attachment 194933 Details for
Bug 229585
math/cvc4: switch to GMP by default to unbreak aarch64 and enable parallel mode
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
Help
|
New Account
|
Log In
Remember
[x]
|
Forgot Password
Login:
[x]
[patch]
cvc4gmp.patch
cvc4gmp.patch (text/plain), 454 bytes, created by
Val Packett
on 2018-07-07 17:53:51 UTC
(
hide
)
Description:
cvc4gmp.patch
Filename:
MIME Type:
Creator:
Val Packett
Created:
2018-07-07 17:53:51 UTC
Size:
454 bytes
patch
obsolete
>diff --git c/math/cvc4/Makefile i/math/cvc4/Makefile >index f52df32c8c07..426e951f4c72 100644 >--- c/math/cvc4/Makefile >+++ i/math/cvc4/Makefile >@@ -32,7 +32,7 @@ SHEBANG_FILES= src/mk* src/theory/mk* src/base/mk* src/expr/mk* src/options/mk* > OPTIONS_DEFINE= JAVA READLINE DEBUG > OPTIONS_RADIO= NUMLIB > OPTIONS_RADIO_NUMLIB= GMP CLN >-OPTIONS_DEFAULT= READLINE CLN >+OPTIONS_DEFAULT= READLINE GMP > OPTIONS_SUB= yes > > GMP_DESC= Use GMP numeric library
<b>You cannot view the attachment while viewing its details because your browser does not support IFRAMEs. <a href="attachment.cgi?id=194933">View the attachment on a separate page</a>.</b>
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 229585
: 194933