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

PortSystem          1.0
PortGroup           github 1.0

name                ott
github.setup        ott-lang ott 0.34
revision            2
categories          devel
license             BSD
maintainers         gmail.com:ggreif openmaintainer
description         tool for writing definitions of programming languages
long_description    Ott is a tool for writing definitions of programming \
                    languages and calculi. It takes as input a definition of a \
                    language syntax and semantics, in a concise and readable \
                    ASCII notation that is close to what one would write in \
                    informal mathematics. It generates LaTeX to build a \
                    typeset version of the definition, and Coq, HOL, and \
                    Isabelle versions of the definition.
homepage            http://www.cl.cam.ac.uk/~pes20/ott/
github.tarball_from archive

checksums           rmd160  35900520458ee61acf3a35053cb9886ef729276e \
                    sha256  c14899fb9f9627f96fcde784829b53c014f4cd2e7633a697ac485ecb9ab8abd6 \
                    size    3529384

depends_build-append \
                    port:ocaml-findlib

depends_lib-append  port:ocaml \
                    port:ocaml-ocamlgraph

use_configure       no

build.env-append    PREFIX=${prefix}
build.target        world

destroot {
    xinstall -m 755 -d ${destroot}${prefix}/bin \
        ${destroot}${prefix}/share/doc
    xinstall -m 755 -W ${worksrcpath} bin/ott \
        ${destroot}${prefix}/bin/ott
    file copy ${worksrcpath}/doc \
        ${destroot}${prefix}/share/doc/${name}
    file copy ${worksrcpath}/examples \
        ${destroot}${prefix}/share/doc/${name}/examples
    xinstall -m 644 ${worksrcpath}/LICENCE \
        ${destroot}${prefix}/share/doc/${name}
}
