765e304c4b
```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 ```
24 lines
671 B
Bash
24 lines
671 B
Bash
# Template file for 'minisat'
|
|
pkgname=minisat
|
|
version=2.2.0
|
|
revision=2
|
|
wrksrc=minisat
|
|
build_wrksrc=simp
|
|
build_style=gnu-makefile
|
|
make_build_args="MROOT=${XBPS_BUILDDIR}/${wrksrc} CFLAGS="-I${XBPS_BUILDDIR}/${wrksrc}" r"
|
|
makedepends="zlib-devel"
|
|
archs="i686 x86_64"
|
|
short_desc="A minimalistic and high-performance SAT solver"
|
|
maintainer="Tai Chi Minh Ralph Eastwood <tcmreastwood@gmail.com>"
|
|
license="MIT"
|
|
homepage="http://minisat.se/MiniSat.html"
|
|
distfiles="http://minisat.se/downloads/minisat-2.2.0.tar.gz"
|
|
checksum=92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808
|
|
|
|
do_install() {
|
|
vbin minisat_release minisat
|
|
}
|
|
|
|
post_install() {
|
|
vlicense ../LICENSE
|
|
}
|