Date: Sun, 8 Jul 2018 15:29:19 +0000 (UTC) From: Steve Wills <swills@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r474182 - head/math/cvc4 Message-ID: <201807081529.w68FTJqG030520@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201807081529.w68FTJqG030520>