blob: 5f7402e2d50fb9800f07267d3950e3528f0866f8 (
plain)
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
|
# Maintainer: Serge K <arch@phnx47.net>
# Contributor: Nicola Squartini <tensor5@gmail.com>
# For Issues, Pull Requests
# https://github.com/phnx47/pkgbuilds
pkgname=solidity
pkgver=0.8.23
pkgrel=1
pkgdesc='Contract-Oriented Programming Language'
arch=('x86_64')
url='https://github.com/ethereum/solidity'
license=('GPL3')
depends=('gcc-libs')
optdepends=('z3: SMT checker' 'cvc4: SMT checker')
makedepends=('boost' 'cmake')
source=("${pkgname}_${pkgver}.tar.gz::${url}/releases/download/v${pkgver}/${pkgname}_${pkgver}.tar.gz")
sha512sums=('c2106ee80b90c51c7e44c8b63e0b61ebadcf74087eb343f8491e3d7093d528bf81c99d169dfba374526d8dfe4c193e60f8f45ce067647b7b34ef050556abf697')
build() {
cmake -B build -S "${pkgname}_${pkgver}" \
-DCMAKE_INSTALL_PREFIX=/usr \
-DTESTS=OFF \
-DSTRICT_Z3_VERSION=OFF
cmake --build build
}
package() {
DESTDIR="${pkgdir}" cmake --install build
}
|