c6ce65d3d0
```sh
git grep -l '^patch_args=-Np0' "srcpkgs/$1*/template" |
while read template; do
for p in ${template%/template}/patches/*; do
sed -i '
\,^[+-][+-][+-] /dev/null,b
/^[*-]\+ [0-9]\+\(,[0-9]\+\)\? [*-]\+$/b
s,^[*][*][*] ,&a/,
/^--- /{
s,\(^--- \)\(./\)*,\1a/,
s,[.-][Oo][Rr][Ii][Gg]\([ /]\),\1,
s/[.-][Oo][Rr][Ii][Gg]$//
s/[.]patched[.]\([^.]\)/.\1/
h
}
/^+++ -/{
g
s/^--- a/+++ b/
b
}
s,\(^+++ \)\(./\)*,\1b/,
' "$p"
done
sed -i '/^patch_args=/d' $template
done
```
38 lines
1.4 KiB
Bash
38 lines
1.4 KiB
Bash
# Template file for 'berkeley-abc'
|
|
pkgname=berkeley-abc
|
|
# This is the version shipped by Fedora 34
|
|
_gitrev=d4fb192575cd319de68764eac5b7e049f575f43e
|
|
version=1.01+20201124
|
|
revision=1
|
|
wrksrc=abc-$_gitrev
|
|
build_style=gnu-makefile
|
|
make_use_env=yes
|
|
make_build_args="ABC_MAKE_VERBOSE=1 ABC_USE_STDINT_H=1"
|
|
makedepends="readline-devel zlib-devel bzip2-devel"
|
|
short_desc="System for Sequential Synthesis and Verification"
|
|
maintainer="Đoàn Trần Công Danh <congdanhqx@gmail.com>"
|
|
license="custom:University-of-California, BSD-4-Clause, MIT, BSD-2-Clause"
|
|
homepage="http://www.eecs.berkeley.edu/~alanmi/abc/"
|
|
distfiles="https://github.com/berkeley-abc/abc/archive/$_gitrev.tar.gz"
|
|
checksum=52f1e9bf62c1e0d3b3cbe145f61b409a725e73fe606ba010efcbb2701a14171b
|
|
|
|
post_patch() {
|
|
vsed -i -e '/^CC *:=/d' -e '/^CXX *:=/d' -e '/^AR *:=/d' \
|
|
Makefile
|
|
}
|
|
|
|
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
|
|
}
|