Index: head/lang/solidity/Makefile
===================================================================
--- head/lang/solidity/Makefile	(revision 492904)
+++ head/lang/solidity/Makefile	(revision 492905)
@@ -1,39 +1,40 @@
 # Created by: Alex Dupre <ale@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	solidity
-PORTVERSION=	0.5.3
+PORTVERSION=	0.5.4
 CATEGORIES=	lang
 MASTER_SITES=	https://github.com/ethereum/solidity/releases/download/v${PORTVERSION}/
 DISTNAME=	${PORTNAME}_${PORTVERSION}
 
 MAINTAINER=	ale@FreeBSD.org
 COMMENT=	Solidity Contract-Oriented Programming Language
 
 LICENSE=	GPLv3
 
 BUILD_DEPENDS=	boost-libs>=0:devel/boost-libs
 LIB_DEPENDS=	libjsoncpp.so:devel/jsoncpp
 
 USES=		cmake compiler:c++14-lang
 
 OPTIONS_DEFINE=	Z3 CVC4
+OPTIONS_DEFAULT=CVC4
 Z3_DESC=	SMT Checker via Z3
 CVC4_DESC=	SMT Checker via CVC4
 Z3_LIB_DEPENDS=		libz3.so:math/z3
-CVC4_LIB_DEPENDS=	libcvc4.so:math/cvc4
+CVC4_LIB_DEPENDS=	libcvc4.so:math/cvc4 libgmp.so:math/gmp
 Z3_CMAKE_OFF=	USE_Z3
 CVC4_CMAKE_OFF=	USE_CVC4
 
 CMAKE_ARGS+=	-DUSE_LD_GOLD=OFF -DTESTS=OFF \
 		-DJSONCPP_INCLUDE_DIR:STRING="${LOCALBASE}/include/jsoncpp" \
 		-DJSONCPP_LIB_DIR:STRING="${LOCALBASE}/lib"
 
 PLIST_FILES=	bin/solc
 
 pre-patch:
 		@${CP} ${FILESDIR}/jsoncpp.cmake ${WRKSRC}/cmake/
 		@${REINPLACE_CMD} '/EthCcache/d' ${WRKSRC}/CMakeLists.txt
 		@${REINPLACE_CMD} '/-Werror/d' ${WRKSRC}/cmake/EthCompilerSettings.cmake
 
 .include <bsd.port.mk>
Index: head/lang/solidity/distinfo
===================================================================
--- head/lang/solidity/distinfo	(revision 492904)
+++ head/lang/solidity/distinfo	(revision 492905)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1548171889
-SHA256 (solidity_0.5.3.tar.gz) = b067991ee2498677ad24b72cd669b5f48c8f57844a27eada9f593e442c42c277
-SIZE (solidity_0.5.3.tar.gz) = 1403883
+TIMESTAMP = 1550073083
+SHA256 (solidity_0.5.4.tar.gz) = 393a28d11b291d2f0231503f52f3a04c2607fbbd6c5f1c0c9142732be8062054
+SIZE (solidity_0.5.4.tar.gz) = 1400250