Date: Tue, 18 Sep 2018 00:19:31 +0000 (UTC) From: Li-Wen Hsu <lwhsu@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r479963 - in head/lang: . ott Message-ID: <201809180019.w8I0JVGV016582@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201809180019.w8I0JVGV016582>