# -*- 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             965
revision            0
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  cf196a11b86e028e1db8bcc7f5c3493c16f85978 \
                    sha256  15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 \
                    size    64386

installs_libs       yes

configure.cmd       ./configure.sh
configure.pre_args  {}
configure.universal_args \
                    {}
# --shared does NOT work on macOS
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