43 lines
1.1 KiB
Bash
43 lines
1.1 KiB
Bash
|
# Template file for 'picosat'
|
||
|
|
pkgname=picosat
|
||
|
|
version=965
|
||
|
|
revision=1
|
||
|
|
build_style=configure
|
||
|
|
configure_script="./configure.sh"
|
||
|
|
configure_args="--shared --static"
|
||
|
|
short_desc="Satisfiability (SAT) solver for boolean variables"
|
||
|
|
maintainer="Duncaen <duncaen@voidlinux.org>"
|
||
|
|
license="MIT"
|
||
|
|
homepage="http://fmv.jku.at/picosat/"
|
||
|
|
changelog="http://fmv.jku.at/picosat/NEWS"
|
||
|
|
distfiles="http://fmv.jku.at/picosat/picosat-${version}.tar.gz"
|
||
|
|
checksum=15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754
|
||
|
|
|
||
|
|
post_extract() {
|
||
|
|
# fix parallel builds
|
||
|
|
vsed -i -e 's/-l\(picosat\)/-l:lib\1.a/g' makefile.in
|
||
|
|
# include breaks musl build and is not necessary for getrusage(2)
|
||
|
|
vsed -i -e '/sys\/unistd.h/d' picosat.c
|
||
|
|
}
|
||
|
|
|
||
|
|
do_install() {
|
||
|
|
vbin picogcnf
|
||
|
|
vbin picomcs
|
||
|
|
vbin picomus
|
||
|
|
vbin picosat
|
||
|
|
vinstall libpicosat.a 644 /usr/lib
|
||
|
|
vinstall libpicosat.so 755 /usr/lib
|
||
|
|
vinstall picosat.h 644 /usr/include
|
||
|
|
vlicense LICENSE
|
||
|
|
}
|
||
|
|
|
||
|
|
picosat-devel_package() {
|
||
|
|
short_desc+=" - development files"
|
||
|
|
depends="${sourcepkg}>=${version}_${revision}"
|
||
|
|
pkg_install() {
|
||
|
|
vmove usr/include
|
||
|
|
vmove "usr/lib/*.a"
|
||
|
|
vmove "usr/lib/*.so"
|
||
|
|
}
|
||
|
|
}
|