mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2025-04-18 16:47:02 +02:00
a4970ecc95
https://github.com/berkeley-abc/abc System for Sequential Logic Synthesis and Formal Verification
29 lines
889 B
Text
29 lines
889 B
Text
# Contributor: Marian Buschsieweke <marian.buschsieweke@posteo.net>
|
|
# Maintainer: Marian Buschsieweke <marian.buschsieweke@posteo.net>
|
|
pkgname=abc
|
|
pkgver=0_git20240102
|
|
_commit=8c7327b8df411654b7d38ccb678c500049fc2b5b
|
|
pkgrel=0
|
|
_abc=896e5e7
|
|
pkgdesc="System for Sequential Logic Synthesis and Formal Verification"
|
|
url="https://github.com/berkeley-abc/abc"
|
|
arch="all"
|
|
license="MIT"
|
|
makedepends="
|
|
readline-dev
|
|
"
|
|
source="https://github.com/berkeley-abc/abc/archive/$_commit/abc-$_commit.tar.gz"
|
|
builddir="$srcdir/$pkgname-$_commit/"
|
|
options="!check" # current yosys employee confirmed those dont work
|
|
|
|
build() {
|
|
make ABC_USE_PIC=1 abc
|
|
}
|
|
|
|
package() {
|
|
install -Dm755 abc -t "$pkgdir"/usr/bin/
|
|
}
|
|
|
|
sha512sums="
|
|
17532541730dccc14819c4087ae8c3582f32ec26bc3a572be3caafa08b3a8519e47fa272ecbbeda3ca061fce75c7e87b30a76633ef5c15b76e922e0574fb5016 abc-8c7327b8df411654b7d38ccb678c500049fc2b5b.tar.gz
|
|
"
|