Ticket #51169: Portfile.2

File Portfile.2, 1.9 KB (added by AlshammariA, 8 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                civl
7version             1.6
8set rev              2872
9categories          devel
10platforms           darwin
11maintainers         udel.edu:aturqi
12description         The Concurrency Intermediate Verification Language
13long_description    The CIVL platform encompasses: \
14                    (1) the programming language CIVL-C, a dialect of C with additional primitives \
15                         supporting concurrency, specication, and modeling; \
16                    (2) verification and analysis tools, including a symbolic execution-based model\
17                        checker for checking various properties of, or finding defects in, CIVL-C \                                                             programs; and (3) tools that translate from many commonly used languages/APIs\
18                         to CIVL-C, including MPI, OpenMP, CUDA, and Pthreads.         
19license             GPL-3+
20homepage            http://vsl.cis.udel.edu/civl
21distname             CIVL-${version}_${rev}
22extract.suffix       .tgz
23master_sites        http://vsl.cis.udel.edu/lib/sw/${name}/${version}/r${rev}/release
24checksums           rmd160 f9c755e26c7d3e2b4a5a29d4008c86551abda33b \
25                    sha256 b90db06b5f390b2888e0d3d9e25d68b77373a1e34ca20c73bfcef322708ff4c8
26depends_lib         port:cvc4
27
28configure.args      --enable-perl-site-install \
29                    --mandir=${prefix}/share/man
30
31
32post-destroot {
33        set docdir ${prefix}/share/doc/${name}
34        xinstall -d ${destroot}${docdir}
35        xinstall -m 0644 -W ${worksrcpath} \
36        README \
37        ${destroot}${docdir}
38        xinstall -m 0644 -W ${worksrcpath}/docs \
39        civl-manual.pdf \
40        ${destroot}${docdir}
41        xinstall -m 0644 -W ${worksrcpath}/licenses \
42        LICENSE.antlr-3.txt \
43        LICENSE.antlr-4.txt \
44        LICENSE.civl.txt \
45        ${destroot}${docdir}
46
47        set examplesdir ${prefix}/share/examples/${name}
48        xinstall -d ${destroot}${examplesdir}
49        copy ${worksrcpath}/examaples
50        ${destroot}${examplesdir}
51}