25 lines
680 B
Bash
25 lines
680 B
Bash
|
# Template file for 'minisat'
|
||
|
|
pkgname=minisat
|
||
|
|
version=2.2.0
|
||
|
|
revision=1
|
||
|
|
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"
|
||
|
|
only_for_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
|
||
|
|
}
|