38 lines
1.4 KiB
Bash
38 lines
1.4 KiB
Bash
# Template file for 'yosys-abc'
|
|
pkgname=yosys-abc
|
|
version=0.47
|
|
revision=1
|
|
build_style=gnu-makefile
|
|
make_use_env=yes
|
|
make_build_args="ABC_USE_STDINT_H=1"
|
|
makedepends="readline-devel zlib-devel bzip2-devel"
|
|
short_desc="System for Sequential Synthesis and Verification"
|
|
maintainer="Aloz1 <kno0001@gmail.com>"
|
|
license="custom:University-of-California, BSD-4-Clause, MIT, BSD-2-Clause"
|
|
homepage="http://github.com/YosysHQ/abc"
|
|
distfiles="https://github.com/YosysHQ/yosys/releases/download/${version}/abc.tar.gz"
|
|
checksum=e0a4eb6e4ec9209f7b81f7ad28ea0be1361a9cf4f4f639356feefc1f4450db7e
|
|
replaces="berkeley-abc>=0"
|
|
provides="berkeley-abc-1.01+20210000_1"
|
|
|
|
post_patch() {
|
|
vsed -i -e '/^CC *:=/d' -e '/^CXX *:=/d' -e '/^AR *:=/d' Makefile
|
|
vsed -i -e 's/^\(#define ABC_VERSION .*\)"/\1 (Yosys '${version}')"/' src/base/main/mainInt.h
|
|
}
|
|
|
|
do_install() {
|
|
vbin abc
|
|
vlicense copyright.txt
|
|
vlicense src/bdd/cudd/license cudd.license
|
|
vlicense src/sat/bsat/license bsat.license
|
|
vlicense src/sat/bsat2/LICENSE bsat2.license
|
|
vlicense src/sat/glucose/license glucose.license
|
|
vlicense src/sat/glucose2/license glucose2.license
|
|
sed -n '/Copyright/,/THE SOFTWARE/p' src/sat/lsat/solver.h >lsat.license
|
|
vlicense lsat.license
|
|
vlicense src/sat/satoko/LICENSE satoko.license
|
|
vlicense src/sat/xsat/license xsat.license
|
|
sed -n '/Copyright/,/SUCH DAMAGE/p' src/sat/bsat2/pstdint.h >pstdint.license
|
|
vlicense pstdint.license
|
|
}
|