blob: 07c9d169baefc23f9a15804681f331690c5a4a18 (
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
31
32
33
|
# Maintainer: Benoît Allard <benoit dot allard at gmx dot de>
# Contributor: promach
_gitname=SymbiYosys
pkgname="${_gitname,,}-git"
pkgver=r284.ac9001b
pkgrel=1
pkgdesc="A front-end driver program for Yosys-based formal hardware verification flows"
arch=('any')
url="https://github.com/YosysHQ/${_gitname}.git"
license=('custom:ISC')
depends=('python3' 'yosys')
makedepends=('git')
provides=('symbiyosys')
conflicts=('symbiyosys')
optdepends=('yices: solving using yices2'
'z3: solving using z3'
'boolector: solving using boolector')
source=("git+https://github.com/YosysHQ/${_gitname}.git" \
'LICENSE')
sha512sums=('SKIP'
'a3202289ff7828c55d3ec3e22d23ed78a34fcae165a7c666d71d3cedd9abe06f638a09750d8c2d43dfca5781f1b32a616f439c3713a12265c02473f88c0f426d')
pkgver() {
cd "${_gitname}"
printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}
package() {
cd "${_gitname}"
make PREFIX=/usr DESTDIR="$pkgdir" install
install -D -m 644 "${srcdir}/LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
}
|