svn commit: r479963 - in head/lang: . ott

[Li-Wen Hsu]

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