blob: 2c0a3809de52297db45e7974caf1c008eea6ce64 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
# Created by: Alex Dupre <ale@FreeBSD.org>
# $FreeBSD$
PORTNAME= solidity
PORTVERSION= 0.5.3
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
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
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>
|
