From owner-svn-ports-all@freebsd.org Tue Sep 18 00:19:33 2018 Return-Path: Delivered-To: svn-ports-all@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id DFC4C10AAE03; Tue, 18 Sep 2018 00:19:32 +0000 (UTC) (envelope-from lwhsu@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 8450A72AC3; Tue, 18 Sep 2018 00:19:32 +0000 (UTC) (envelope-from lwhsu@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 7993318448; Tue, 18 Sep 2018 00:19:32 +0000 (UTC) (envelope-from lwhsu@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id w8I0JWif016586; Tue, 18 Sep 2018 00:19:32 GMT (envelope-from lwhsu@FreeBSD.org) Received: (from lwhsu@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id w8I0JVGV016582; Tue, 18 Sep 2018 00:19:31 GMT (envelope-from lwhsu@FreeBSD.org) Message-Id: <201809180019.w8I0JVGV016582@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: lwhsu set sender to lwhsu@FreeBSD.org using -f From: Li-Wen Hsu Date: Tue, 18 Sep 2018 00:19:31 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r479963 - in head/lang: . ott X-SVN-Group: ports-head X-SVN-Commit-Author: lwhsu X-SVN-Commit-Paths: in head/lang: . ott X-SVN-Commit-Revision: 479963 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.27 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 18 Sep 2018 00:19:33 -0000 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 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 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