# 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
"
