# -*- 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
# $Id: Portfile 117056 2014-02-14 08:30:34Z mww@macports.org $

PortSystem          1.0

name                picosat
version             959
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  9b50826f606cf2af662e284b26996a1a67c8820e \
                    sha256  00125e43df631327e61c14bc893ada3f1e7333f98e981cca6dc886c3d76b171d

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
