Ticket #51094: Portfile

# -*- 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$

PortSystem          1.0

name                z3
version             4.4.1
categories          math devel
platforms           darwin
maintainers         nomaintainer
description         A high-performance theorem prover being developed at Microsoft Research. \
long_description    Z3 is a state-of-the art theorem prover from Microsoft Research. It can be \ 
                     used to check the satisfiability of logical formulas over one or more theories. \
                     Z3 offers a compelling match for software analysis and verification tools, \
                     since several common software constructs map directly into supported theories.
license             MIT
homepage            https://github.com/Z3Prover/z3/
distname             z3-${version}
extract.suffix      .tar.gz
master_sites        https://github.com/Z3Prover/${name}/archive
checksums           rmd160 513db261456e1e8d5eedbeac9b5f60a35524a84a \
                    sha256 5bb469fcb5448d822b0298199892ee4498ecd675bda6667077beee8491c0b326


post-destroot {
        set docdir ${prefix}/share/doc/${name}
        xinstall -d ${destroot}${docdir}
        xinstall -m 0644 -W ${worksrcpath} \
        LICENSE.txt \
        README \
        RELEASE_NOTES \
        ${destroot}${docdir}

        set examplesdir ${prefix}/share/examples/${name}
        xinstall -d ${destroot}${examplesdir}
        copy ${worksrcpath}/examaples 
        ${destroot}${examplesdir}
}