svn commit: r479963 - in head/lang: . ott
Li-Wen Hsu
lwhsu at FreeBSD.org
Tue Sep 18 00:19:33 UTC 2018
Author: lwhsu
Date: Tue Sep 18 00:19:31 2018
New Revision: 479963
URL: https://svnweb.freebsd.org/changeset/ports/479963
Log:
Add ott, tool for writing definitions of programming languages and calculi
Inspired by: Domagoj Stolfa <domagoj.stolfa at cl.cam.ac.uk>
Added:
head/lang/ott/
head/lang/ott/Makefile (contents, props changed)
head/lang/ott/distinfo (contents, props changed)
head/lang/ott/pkg-descr (contents, props changed)
Modified:
head/lang/Makefile
Modified: head/lang/Makefile
==============================================================================
--- head/lang/Makefile Mon Sep 17 22:23:16 2018 (r479962)
+++ head/lang/Makefile Tue Sep 18 00:19:31 2018 (r479963)
@@ -224,6 +224,7 @@
SUBDIR += oo2c
SUBDIR += opencoarrays
SUBDIR += opendylan
+ SUBDIR += ott
SUBDIR += owl-lisp
SUBDIR += p2c
SUBDIR += p5-Data-JavaScript
Added: head/lang/ott/Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/lang/ott/Makefile Tue Sep 18 00:19:31 2018 (r479963)
@@ -0,0 +1,27 @@
+# $FreeBSD$
+
+PORTNAME= ott
+PORTVERSION= 0.28
+CATEGORIES= lang
+
+MAINTAINER= domagoj.stolfa at cl.cam.ac.uk
+COMMENT= Tool for writing definitions of programming languages and calculi
+
+LICENSE= BSD3CLAUSE
+LICENSE_FILE= ${WRKSRC}/LICENCE
+
+USES= gmake
+
+ALL_TARGET= world
+
+USE_GITHUB= yes
+GH_ACCOUNT= ott-lang
+
+USE_OCAML= yes
+
+PLIST_FILES= bin/ott
+
+do-install:
+ ${INSTALL_PROGRAM} ${WRKSRC}/bin/ott ${STAGEDIR}${PREFIX}/bin
+
+.include <bsd.port.mk>
Added: head/lang/ott/distinfo
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/lang/ott/distinfo Tue Sep 18 00:19:31 2018 (r479963)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1537137485
+SHA256 (ott-lang-ott-0.28_GH0.tar.gz) = 30c7613802cdd7f03eb1df1d634da3e13197e210d5697252382d29b5f03618f2
+SIZE (ott-lang-ott-0.28_GH0.tar.gz) = 3263773
Added: head/lang/ott/pkg-descr
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/lang/ott/pkg-descr Tue Sep 18 00:19:31 2018 (r479963)
@@ -0,0 +1,5 @@
+A tool for writing definitions of programming languages and calculi
+
+by Peter Sewell, Francesco Zappa Nardelli, and Scott Owens.
+
+WWW: https://github.com/ott-lang/ott
More information about the svn-ports-head
mailing list