# $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