source: trunk/dports/math/minisat/Portfile

Last change on this file was 152941, checked in by khindenburg@…, 10 months ago

minisat: add patch to fix building #52284

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.6 KB
Line 
1# $Id: Portfile 152941 2016-09-21 02:02:53Z ryandesign@macports.org $
2
3PortSystem 1.0
4
5name                minisat
6version             2.2.0
7revision            1
8categories          math science
9platforms           darwin
10maintainers         mww openmaintainer
11homepage            http://minisat.se/
12license             MIT
13description         Minimalistic SAT solver
14long_description    MiniSat is a minimalistic, open-source SAT solver, \
15                    developed to help researchers and developers alike to get \
16                    started on SAT.
17
18master_sites        http://minisat.se/downloads/
19
20patchfiles          patch-friend-declaration.diff \
21                    patch-mtl-template.mk.diff \
22                    patch-simp-Makefile.diff \
23                    patch-utils-System.cc.diff
24
25checksums           rmd160  169ec9116befa9067db9076d26309f7e9ab408dd \
26                    sha256  92957d851cdc3baddfe07b5fc80ed5a0237c489d0c52ae72f62844b3b46d7808
27
28depends_lib         port:zlib
29
30installs_libs       no
31
32worksrcdir          minisat
33
34post-extract {
35    xinstall -m 755 ${filespath}/configure ${worksrcpath}/simp
36}
37
38configure.dir        ${worksrcpath}/simp
39
40build.target         rs
41build.args           MROOT="${worksrcpath}"
42build.dir            ${configure.dir}
43
44destroot {
45    xinstall -m 755 -d ${destroot}${prefix}/bin \
46        ${destroot}${prefix}/share/doc/${name}
47    xinstall -m 755 ${worksrcpath}/simp/minisat_static ${destroot}${prefix}/bin/minisat
48    xinstall -m 644 -W ${worksrcpath} README LICENSE doc/ReleaseNotes-${version}.txt \
49        ${destroot}${prefix}/share/doc/${name}
50}
51
52livecheck.type       regex
53livecheck.url        http://minisat.se/MiniSat.html
54livecheck.regex      minisat-(\[0-9\.\]+).tar.gz
Note: See TracBrowser for help on using the repository browser.