sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 09:49:18 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

lang/solidity: try to fix build on -CURRENT

Browse source
This commit is contained in:
Alex Dupre 2023-02-13 10:25:51 +01:00
parent 571600963b
commit 4cc8205e2f
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
lang/solidity/Makefile
View file

@ -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" \