# -*- 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 131473 2015-01-12 15:49:45Z mww@macports.org $ PortSystem 1.0 name picosat version 960 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 dba1b18d018f414c372dd7123a99f6d0d70716d2 \ sha256 edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817 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