2020-08-09 03:20:58 +02:00
|
|
|
TERMUX_PKG_HOMEPAGE=https://solidity.readthedocs.io
|
2020-08-11 20:07:13 +02:00
|
|
|
TERMUX_PKG_DESCRIPTION="An Ethereum smart contract-oriented language."
|
2020-08-09 03:20:58 +02:00
|
|
|
TERMUX_PKG_LICENSE="GPL-3.0"
|
|
|
|
|
TERMUX_PKG_VERSION=0.7.0
|
2020-08-11 20:07:13 +02:00
|
|
|
TERMUX_PKG_REVISION=1
|
2020-08-09 03:39:37 +02:00
|
|
|
TERMUX_PKG_SRCURL=https://github.com/ethereum/solidity/releases/download/v${TERMUX_PKG_VERSION}/solidity_${TERMUX_PKG_VERSION}.tar.gz
|
|
|
|
|
TERMUX_PKG_SHA256=86e782a88eaaf4aa98f4e1e915f46b5bc5f596ea86c784fb911dc6e4c04309bf
|
2020-08-09 03:55:26 +02:00
|
|
|
TERMUX_PKG_DEPENDS="boost-static"
|
|
|
|
|
TERMUX_PKG_EXTRA_CONFIGURE_ARGS="-DUSE_Z3=OFF -DUSE_CVC4=OFF"
|
