Fetching contributors…
Cannot retrieve contributors at this time
51 lines (41 sloc) 1.9 KB
# -*- 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
name ott
version 0.25
revision 1
platforms darwin
categories devel
license BSD
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.
master_sites ${homepage}
distname ott_distro_${version}
checksums rmd160 4b6c858cd760ce78fa343422b17d5a06d5f0b06d \
sha256 0d63d4d7ae03056c0b77edd75a86d740971815f8643514efcbd9a69f7d680a45
depends_lib port:ocaml
use_configure no
build.env PREFIX=${prefix} world
destroot {
xinstall -m 755 -d ${destroot}${prefix}/bin \
xinstall -m 755 -W ${worksrcpath} bin/ott \
file copy ${worksrcpath}/doc \
file copy ${worksrcpath}/examples \
xinstall -m 644 ${worksrcpath}/LICENCE \
livecheck.type regex
livecheck.url ${homepage}
livecheck.regex "ott_distro_(\\d+(\\.\\d+)*)[quotemeta ${extract.suffix}]"