Ticket #51094: Portfile

File Portfile, 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
5
6name                z3
7version             4.4.1
8categories          math devel
9platforms           darwin
10maintainers         nomaintainer
11description         A high-performance theorem prover being developed at Microsoft Research. \
12long_description    Z3 is a state-of-the art theorem prover from Microsoft Research. It can be \ 
13                     used to check the satisfiability of logical formulas over one or more theories. \
14                     Z3 offers a compelling match for software analysis and verification tools, \
15                     since several common software constructs map directly into supported theories.
16license             MIT
17homepage            https://github.com/Z3Prover/z3/
18distname             z3-${version}
19extract.suffix      .tar.gz
20master_sites        https://github.com/Z3Prover/${name}/archive
21checksums           rmd160 513db261456e1e8d5eedbeac9b5f60a35524a84a \
22                    sha256 5bb469fcb5448d822b0298199892ee4498ecd675bda6667077beee8491c0b326
23
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}