26 lines
658 B
Bash
26 lines
658 B
Bash
# Template file for 'minisat'
|
|
pkgname=minisat
|
|
version=2.2.0
|
|
revision=2
|
|
# _FPU_EXTENDED is x87-glibc only
|
|
archs="i686 x86_64"
|
|
build_wrksrc=simp
|
|
build_style=gnu-makefile
|
|
makedepends="zlib-devel"
|
|
short_desc="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-${version}.tar.gz"
|
|
checksum=92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808
|
|
|
|
do_build() {
|
|
CFLAGS+=" -I${wrksrc}"
|
|
make ${makejobs} MROOT=${wrksrc} r
|
|
}
|
|
|
|
do_install() {
|
|
vbin minisat_release minisat
|
|
vlicense ../LICENSE
|
|
}
|