source: trunk/dports/math/picosat/Portfile

Last change on this file was 131473, checked in by mww@…, 3 years ago

picosat: version 960

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.3 KB
Line 
1# -*- 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
2# $Id: Portfile 131473 2015-01-12 15:49:45Z ryandesign@macports.org $
3
4PortSystem          1.0
5
6name                picosat
7version             960
8categories          math science
9platforms           darwin
10maintainers         mww openmaintainer
11license             MIT
12description         picosat is a SAT solver
13long_description    ${description}
14homepage            http://fmv.jku.at/picosat/
15master_sites        ${homepage}
16
17checksums           rmd160  dba1b18d018f414c372dd7123a99f6d0d70716d2 \
18                    sha256  edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817
19
20installs_libs       yes
21
22configure.pre_args
23configure.universal_args
24# --shared does NOT work on OS X
25configure.args      --static
26
27destroot {
28    xinstall -d ${destroot}${prefix}/share/doc/${name}
29    xinstall -m 644 ${worksrcpath}/picosat.h ${destroot}${prefix}/include
30    xinstall -m 644 ${worksrcpath}/libpicosat.a ${destroot}${prefix}/lib
31    xinstall -m 755 -W ${worksrcpath} picosat picomcs picomus picogcnf \
32        ${destroot}${prefix}/bin
33    xinstall -m 644 -W ${worksrcpath} LICENSE NEWS README VERSION \
34        ${destroot}${prefix}/share/doc/${name}
35}
36
37livecheck.type      regex
38livecheck.url       ${homepage}
39livecheck.regex     picosat-(\[0-9\.\]+).tar.gz
Note: See TracBrowser for help on using the repository browser.