Ticket #51169: Portfile.4

# -*- 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                civl
version             1.6
set rev              2872
categories          devel
platforms           darwin
maintainers         udel.edu:aturqi
description         The Concurrency Intermediate Verification Language
long_description    The CIVL platform encompasses: \
                    (1) the programming language CIVL-C, a dialect of C with additional primitives \
                         supporting concurrency, specication, and modeling\
                    (2) verification and analysis tools, including a symbolic execution-based model\
                        checker for checking various properties of, or finding defects in, CIVL-C \                                                             programs \ (3) tools that translate from many commonly used languages/APIs\
                         to CIVL-C, including MPI, OpenMP, CUDA, and Pthreads.          
license             GPL-3+
homepage            http://vsl.cis.udel.edu/civl
distname             CIVL-${version}_${rev}
extract.suffix       .tgz
master_sites        http://vsl.cis.udel.edu/lib/sw/${name}/${version}/r${rev}/release
checksums           rmd160 f9c755e26c7d3e2b4a5a29d4008c86551abda33b \
                    sha256 b90db06b5f390b2888e0d3d9e25d68b77373a1e34ca20c73bfcef322708ff4c8
depends_lib         port:cvc4
use_configure        no

build                {}

destroot {
        system -W ${worksrcpath}/lib/ "java -jar civl-${version}_${rev}.jar help"
}

post-destroot {
        set docdir ${prefix}/share/doc/${name}
        xinstall -d ${destroot}${docdir}
        xinstall -m 0644 -W ${worksrcpath} \
        README \
        ${destroot}${docdir}
        xinstall -m 0644 -W ${worksrcpath}/doc \
        civl-manual.pdf \
        ${destroot}${docdir}
        xinstall -m 0644 -W ${worksrcpath}/licenses \
        LICENSE.antlr-3.txt \
        LICENSE.antlr-4.txt \
        LICENSE.civl.txt \
        ${destroot}${docdir}

        copy ${worksrcpath}/examples ${destroot}${docdir}
        copy ${worksrcpath}/lib ${destroot}${docdir}
        
}