mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-01 05:45:45 +00:00
9b21a3a084
Changes: http://www.boost.org/users/history/version_1_70_0.html PR: 235956 Exp-run by: antoine Differential Revision: https://reviews.freebsd.org/D19303
42 lines
1.1 KiB
Makefile
42 lines
1.1 KiB
Makefile
# Created by: Alex Dupre <ale@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= solidity
|
|
PORTVERSION= 0.5.7
|
|
PORTREVISION= 1
|
|
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 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>
|