PortSystem 1.0

name                minisat
version             2.2.0
revision            1
categories          math science
platforms           darwin
maintainers         nomaintainer
homepage            http://minisat.se/
license             MIT
description         Minimalistic SAT solver
long_description    MiniSat is a minimalistic, open-source SAT solver, \
                    developed to help researchers and developers alike to get \
                    started on SAT.

master_sites        http://minisat.se/downloads/

patchfiles          patch-friend-declaration.diff \
                    patch-mtl-template.mk.diff \
                    patch-simp-Makefile.diff \
                    patch-utils-System.cc.diff

checksums           rmd160  169ec9116befa9067db9076d26309f7e9ab408dd \
                    sha256  92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808

depends_lib         port:zlib

installs_libs       no

worksrcdir          minisat

post-extract {
    xinstall -m 755 ${filespath}/configure ${worksrcpath}/simp
}

configure.dir        ${worksrcpath}/simp

build.target         rs
build.args           MROOT="${worksrcpath}"
build.dir            ${configure.dir}

destroot {
    xinstall -m 755 -d ${destroot}${prefix}/bin \
        ${destroot}${prefix}/share/doc/${name}
    xinstall -m 755 ${worksrcpath}/simp/minisat_static ${destroot}${prefix}/bin/minisat
    xinstall -m 644 -W ${worksrcpath} README LICENSE doc/ReleaseNotes-${version}.txt \
        ${destroot}${prefix}/share/doc/${name}
}

livecheck.type       regex
livecheck.url        http://minisat.se/MiniSat.html
livecheck.regex      minisat-(\[0-9\.\]+).tar.gz
