minisat: Update to 2.2.1

math/minisat/Portfile

@@ -1,52 +1,25 @@
-PortSystem 1.0
+# -*- 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
 
-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.
+PortSystem              1.0
+PortGroup               github 1.0
+PortGroup               cmake 1.1
 
-master_sites        http://minisat.se/downloads/
+github.setup            stp minisat 2.2.1 releases/
+github.tarball_from     archive
+revision                0
+categories              math science
+maintainers             nomaintainer
+homepage                http://minisat.se/
+license                 MIT
 
-patchfiles          patch-friend-declaration.diff \
-                    patch-mtl-template.mk.diff \
-                    patch-simp-Makefile.diff \
-                    patch-utils-System.cc.diff
+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.
 
-checksums           rmd160  169ec9116befa9067db9076d26309f7e9ab408dd \
-                    sha256  92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808
+checksums               rmd160  1e9583e808832fdb144d72bf25b67878a42fbf70 \
+                        sha256  432985833596653fcd698ab439588471cc0f2437617d0df2bb191a0252ba423d \
+                        size    50485
 
-depends_lib         port:zlib
+depends_lib-append      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
+configure.args-append   -DSTATIC_BINARIES=OFF