Index: head/math/cvc4/Makefile
===================================================================
--- head/math/cvc4/Makefile	(revision 474181)
+++ head/math/cvc4/Makefile	(revision 474182)
@@ -1,74 +1,74 @@
 # $FreeBSD$
 
 PORTNAME=	cvc4
 PORTVERSION=	1.5
 CATEGORIES=	math java
 MASTER_SITES=	https://cvc4.cs.stanford.edu/downloads/builds/src/
 
 MAINTAINER=	greg@unrelenting.technology
 COMMENT=	Automatic theorem prover for SMT (Satisfiability Modulo Theories)
 
 LICENSE=	BSD3CLAUSE
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 LIB_DEPENDS=	libantlr3c.so:devel/libantlr3c \
 		libboost_system.so:devel/boost-libs
 BUILD_DEPENDS=	gexpr:sysutils/coreutils \
 		bash:shells/bash \
 		antlr3:devel/antlr3
 
 USES=		compiler:c++11-lang pkgconfig gmake libtool shebangfix localbase
 USE_JAVA=	yes
 JAVA_BUILD=	yes
 
 GNU_CONFIGURE=		yes
 CONFIGURE_ARGS+=	--disable-dependency-tracking \
 			--with-swig=${LOCALBASE}/bin/swig3.0 \
 			ANTLR=${LOCALBASE}/bin/antlr3
 CONFIGURE_SHELL=	${LOCALBASE}/bin/bash
 USE_LDCONFIG=		yes
 SHEBANG_FILES=		src/mk* src/theory/mk* src/base/mk* src/expr/mk* src/options/mk* test/regress/run_regression
 
 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
 CLN_DESC=		Use CLN numeric library (disables portfolio mode)
 
 JAVA_CONFIGURE_ON=		--enable-language-bindings=c,c++,java \
 				JAVA_CPPFLAGS="-I${JAVA_HOME}/include -I${JAVA_HOME}/include/freebsd" \
 				JAVAC=${JAVAC} JAVAH=${JAVAH} JAR=${JAR}
 JAVA_CONFIGURE_OFF=		--enable-language-bindings=c,c++
 JAVA_BUILD_DEPENDS=		swig3.0:devel/swig30
 
 READLINE_CONFIGURE_WITH=	readline
 READLINE_USES=			readline
 
 GMP_CONFIGURE_WITH=		gmp
 GMP_CONFIGURE_ON=		--with-portfolio
 GMP_LIB_DEPENDS=		libgmp.so:math/gmp \
 				libboost_thread.so:devel/boost-libs
 # note: CVC4 already depends on boost-libs, so portfolio mode is "free" in terms of pkg dependencies
 
 CLN_CONFIGURE_WITH=		cln
 CLN_LIB_DEPENDS=		libcln.so:math/cln \
 				libgmp.so:math/gmp
 
 DEBUG_CONFIGURE_ON=		--with-build=debug
 DEBUG_CONFIGURE_OFF=		--with-build=production
 DEBUG_INSTALL_TARGET_OFF=	install-strip
 
 post-patch:
 	${REINPLACE_CMD} -e 's|expr |gexpr |g' ${WRKSRC}/src/options/mkoptions
 
 .include <bsd.port.options.mk>
 
 .if ${PORT_OPTIONS:MREADLINE} || ${PORT_OPTIONS:MCLN}
 LICENSE=		GPLv3
 CONFIGURE_ARGS+=	--enable-gpl
 .endif
 
 .include <bsd.port.mk>