diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile index 0b72c964c980..17fe363ea043 100644 --- a/lang/solidity/Makefile +++ b/lang/solidity/Makefile @@ -32,6 +32,10 @@ Z3_CMAKE_OFF= USE_Z3 CVC4_CMAKE_OFF= USE_CVC4 CVC4_BROKEN= solidity uses cvc4 which has been succeeded by cvc5 +.if ${OPSYS} == FreeBSD && ${OSVERSION} >= 1400079 +CXXFLAGS= -Wno-unqualified-std-cast-call +.endif + CMAKE_ARGS+= -DUSE_LD_GOLD=OFF -DTESTS=OFF \ -DRANGE_V3_INCLUDE_DIR="${LOCALBASE}/include" \ -DJSONCPP_INCLUDE_DIR:STRING="${LOCALBASE}/include/jsoncpp" \