Permalink
Fetching contributors…
Cannot retrieve contributors at this time
39 lines (31 sloc) 1.29 KB
# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
PortSystem 1.0
name picosat
version 960
categories math science
platforms darwin
maintainers nomaintainer
license MIT
description picosat is a SAT solver
long_description ${description}
homepage http://fmv.jku.at/picosat/
master_sites ${homepage}
checksums rmd160 dba1b18d018f414c372dd7123a99f6d0d70716d2 \
sha256 edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817
installs_libs yes
configure.pre_args
configure.universal_args
# --shared does NOT work on OS X
configure.args --static
destroot {
xinstall -d ${destroot}${prefix}/share/doc/${name}
xinstall -m 644 ${worksrcpath}/picosat.h ${destroot}${prefix}/include
xinstall -m 644 ${worksrcpath}/libpicosat.a ${destroot}${prefix}/lib
xinstall -m 755 -W ${worksrcpath} picosat picomcs picomus picogcnf \
${destroot}${prefix}/bin
xinstall -m 644 -W ${worksrcpath} LICENSE NEWS README VERSION \
${destroot}${prefix}/share/doc/${name}
}
livecheck.type regex
livecheck.url ${homepage}
livecheck.regex picosat-(\[0-9\.\]+).tar.gz