Ticket #51169: Portfile.3

File Portfile.3, 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 \ (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
28
29configure.args      --enable-perl-site-install \
30                    --mandir=${prefix}/share/man
31
32
33post-destroot {
34        set docdir ${prefix}/share/doc/${name}
35        xinstall -d ${destroot}${docdir}
36        xinstall -m 0644 -W ${worksrcpath} \
37        README \
38        ${destroot}${docdir}
39        xinstall -m 0644 -W ${worksrcpath}/docs \
40        civl-manual.pdf \
41        ${destroot}${docdir}
42        xinstall -m 0644 -W ${worksrcpath}/licenses \
43        LICENSE.antlr-3.txt \
44        LICENSE.antlr-4.txt \
45        LICENSE.civl.txt \
46        ${destroot}${docdir}
47
48        set examplesdir ${prefix}/share/examples/${name}
49        xinstall -d ${destroot}${examplesdir}
50        copy ${worksrcpath}/examaples
51        ${destroot}${examplesdir}
52}