[54424] trunk/dports/devel

snc at macports.org snc at macports.org
Mon Jul 27 06:29:49 PDT 2009


Revision: 54424
          http://trac.macports.org/changeset/54424
Author:   snc at macports.org
Date:     2009-07-27 06:29:48 -0700 (Mon, 27 Jul 2009)
Log Message:
-----------
created ott, ticket #20317

Added Paths:
-----------
    trunk/dports/devel/ott/
    trunk/dports/devel/ott/Portfile

Added: trunk/dports/devel/ott/Portfile
===================================================================
--- trunk/dports/devel/ott/Portfile	                        (rev 0)
+++ trunk/dports/devel/ott/Portfile	2009-07-27 13:29:48 UTC (rev 54424)
@@ -0,0 +1,39 @@
+# -*- 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$
+
+PortSystem          1.0
+
+name                ott
+version             0.10.16
+platforms           darwin
+categories          devel
+maintainers         recoil.org:anil
+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
+}


Property changes on: trunk/dports/devel/ott/Portfile
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090727/47ab77af/attachment.html>


More information about the macports-changes mailing list