[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