source: trunk/dports/devel/ott/Portfile @ 117452

Last change on this file since 117452 was 117452, checked in by cal@…, 5 years ago

ott: fix build error introduced by r117451

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