void-packages/srcpkgs/minisat/template
Tai Chi Minh Ralph Eastwood 6854d69531 New package: minisat-2.2.0
2017-11-10 16:43:54 +01:00

24 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
}