# -*- coding: utf-8; mode: tcl; tab-width: 4; truncate-lines: t; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:et:sw=4:ts=4:sts=4
# $Id: Portfile 73992 2010-12-01 21:00:07Z jmr@macports.org $

PortSystem          1.0

name                ott
version             0.10.16
platforms           darwin
categories          devel
maintainers         nomaintainer
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/
master_sites        ${homepage}
distname            ott_distro_${version}

checksums           md5     57527d99473f25e6977fd0855b394af9 \
                    sha1    d2ea7c9eeaed9eec24fd9299b92edbacc0689561 \
                    rmd160  1c31920762552ada159aeea3e69b3078df477f02

depends_lib         port:ocaml

use_configure       no

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

destroot {
    xinstall -m 755 -d ${destroot}${prefix}/bin
    xinstall -m 755 -W ${worksrcpath} bin/ott \
        ${destroot}${prefix}/bin/ott
}