svn commit: r474182 - head/math/cvc4
Steve Wills
swills at FreeBSD.org
Sun Jul 8 15:29:20 UTC 2018
Author: swills
Date: Sun Jul 8 15:29:18 2018
New Revision: 474182
URL: https://svnweb.freebsd.org/changeset/ports/474182
Log:
math/cvc4: switch to GMP by default
This unbreaks aarch64 and enables parallel mode
PR: 229585
Submitted by: Greg V <greg at unrelenting.technology> (maintainer)
Modified:
head/math/cvc4/Makefile (contents, props changed)
Modified: head/math/cvc4/Makefile
==============================================================================
--- head/math/cvc4/Makefile Sun Jul 8 15:26:35 2018 (r474181)
+++ head/math/cvc4/Makefile Sun Jul 8 15:29:18 2018 (r474182)
@@ -32,7 +32,7 @@ SHEBANG_FILES= src/mk* src/theory/mk* src/base/mk* sr
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
More information about the svn-ports-all
mailing list