mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
Paul GuyotandPerry E. Metzger
a776172ef6
Version updates required for 5.5: - ocaml-merlin to 5.8-505 - ocaml-camlp4 to 5.5+1 - ocaml-js_of_ocaml to 6.4.0 - ocaml-batteries to 3.11.0 Removed ocaml-ppx_tools which is dead upstream and superseded by ppxlib. Signed-off-by: Paul Guyot <pguyot@kallisys.net>
50 lines
1.9 KiB
Tcl
50 lines
1.9 KiB
Tcl
# -*- 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}
|
|
}
|