source: trunk/dports/devel/ott/Portfile

Last change on this file was 137992, checked in by mww@…, 2 years ago

inc. revision to rebuild library dependents of ocaml (ocaml update to version 4.02.2)

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.9 KB
Line 
1# -*- 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
2# $Id: Portfile 137992 2015-06-24 16:17:51Z ryandesign@macports.org $
3
4PortSystem          1.0
5
6name                ott
7version             0.25
8revision            1
9platforms           darwin
10categories          devel
11license             BSD
12maintainers         gmail.com:ggreif
13description         tool for writing definitions of programming languages
14long_description    Ott is a tool for writing definitions of programming \
15                    languages and calculi. It takes as input a definition of a \
16                    language syntax and semantics, in a concise and readable \
17                    ASCII notation that is close to what one would write in \
18                    informal mathematics. It generates LaTeX to build a \
19                    typeset version of the definition, and Coq, HOL, and \
20                    Isabelle versions of the definition.
21
22homepage            http://www.cl.cam.ac.uk/~pes20/ott/
23master_sites        ${homepage}
24distname            ott_distro_${version}
25
26checksums           rmd160  4b6c858cd760ce78fa343422b17d5a06d5f0b06d \
27                    sha256  0d63d4d7ae03056c0b77edd75a86d740971815f8643514efcbd9a69f7d680a45
28
29depends_lib         port:ocaml
30
31use_configure       no
32
33build.env           PREFIX=${prefix}
34build.target        world
35
36destroot {
37    xinstall -m 755 -d ${destroot}${prefix}/bin \
38        ${destroot}${prefix}/share/doc
39    xinstall -m 755 -W ${worksrcpath} bin/ott \
40        ${destroot}${prefix}/bin/ott
41    file copy ${worksrcpath}/doc \
42        ${destroot}${prefix}/share/doc/${name}
43    file copy ${worksrcpath}/examples \
44        ${destroot}${prefix}/share/doc/${name}/examples
45    xinstall -m 644 ${worksrcpath}/LICENCE \
46        ${destroot}${prefix}/share/doc/${name}
47}
48
49livecheck.type      regex
50livecheck.url       ${homepage}
51livecheck.regex     "ott_distro_(\\d+(\\.\\d+)*)[quotemeta ${extract.suffix}]"
Note: See TracBrowser for help on using the repository browser.