# $Id: Portfile 96500 2012-08-12 10:43:09Z mww@macports.org $

PortSystem 1.0

name                minisat
version             2.2.0
categories          math science
platforms           darwin
maintainers         mww openmaintainer
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-mtl-template.mk.diff patch-utils-System.cc.diff patch-simp-Makefile.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/downloads/
livecheck.regex      minisat-(\[0-9\.\]+).tar.gz
