Ticket #51094: Portfile.1

File Portfile.1, 1.4 KB (added by AlshammariA, 9 years ago)
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$
3
4PortSystem          1.0
5PortGroup           github 1.0
6
7github.setup        MIT z3 4.4.1
8
9categories          math devel
10platforms           darwin
11maintainers         nomaintainer
12description         A high-performance theorem prover being developed at Microsoft Research. \
13long_description    Z3 is a state-of-the art theorem prover from Microsoft Research. It can be \ 
14                     used to check the satisfiability of logical formulas over one or more theories. \
15                     Z3 offers a compelling match for software analysis and verification tools, \
16                     since several common software constructs map directly into supported theories.
17license             MIT
18homepage            https://github.com/Z3Prover/z3/
19master_sites        https://github.com/Z3Prover/${name}/archive
20checksums           rmd160 513db261456e1e8d5eedbeac9b5f60a35524a84a \
21                    sha256 5bb469fcb5448d822b0298199892ee4498ecd675bda6667077beee8491c0b326
22
23patchfiles           Portfile-z3github.diff
24
25post-destroot {
26        set docdir ${prefix}/share/doc/${name}
27        xinstall -d ${destroot}${docdir}
28        xinstall -m 0644 -W ${worksrcpath} \
29        LICENSE.txt \
30        README \
31        RELEASE_NOTES \
32        ${destroot}${docdir}
33
34        set examplesdir ${prefix}/share/examples/${name}
35        xinstall -d ${destroot}${examplesdir}
36        copy ${worksrcpath}/examaples
37        ${destroot}${examplesdir}
38}