# $Id$

PortSystem          1.0

name                picosat
version             951
categories          math science
platforms           darwin
maintainers         mww openmaintainer
license             MIT
description         picosat is a SAT solver
long_description    ${description}
homepage            http://fmv.jku.at/picosat/
master_sites        ${homepage}

checksums           rmd160  2f562778beddd92d1bc35b74e13704eeb62cb51d \
                    sha256  4e9c10ae6798a50228a9266e16a5f76a9bab57fc93afbf484c02894b11ab3413

installs_libs       yes

configure.pre_args
# --shared does NOT work on OS X
configure.args      --static

destroot {
    xinstall -m 755 -d ${destroot}${prefix}/bin \
        ${destroot}${prefix}/lib \
        ${destroot}${prefix}/include \
        ${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