diff options
| author | lwhsu <lwhsu@FreeBSD.org> | 2018-09-18 08:19:31 +0800 |
|---|---|---|
| committer | lwhsu <lwhsu@FreeBSD.org> | 2018-09-18 08:19:31 +0800 |
| commit | a0bbe1309895fb452fea068c547e923fe3b909b6 (patch) | |
| tree | cc4d221224fd701a4be3fadf835a4e9d56afe9ce /lang | |
| parent | cc9623274b2941593c09b3021d832e9dd516a770 (diff) | |
| download | freebsd-ports-gnome-a0bbe1309895fb452fea068c547e923fe3b909b6.tar.gz freebsd-ports-gnome-a0bbe1309895fb452fea068c547e923fe3b909b6.tar.zst freebsd-ports-gnome-a0bbe1309895fb452fea068c547e923fe3b909b6.zip | |
Add ott, tool for writing definitions of programming languages and calculi
Inspired by: Domagoj Stolfa <domagoj.stolfa@cl.cam.ac.uk>
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/Makefile | 1 | ||||
| -rw-r--r-- | lang/ott/Makefile | 27 | ||||
| -rw-r--r-- | lang/ott/distinfo | 3 | ||||
| -rw-r--r-- | lang/ott/pkg-descr | 5 |
4 files changed, 36 insertions, 0 deletions
diff --git a/lang/Makefile b/lang/Makefile index 97ab8de5f8d3..4e7f0c95c207 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -224,6 +224,7 @@ SUBDIR += oo2c SUBDIR += opencoarrays SUBDIR += opendylan + SUBDIR += ott SUBDIR += owl-lisp SUBDIR += p2c SUBDIR += p5-Data-JavaScript diff --git a/lang/ott/Makefile b/lang/ott/Makefile new file mode 100644 index 000000000000..4a968d641dfa --- /dev/null +++ b/lang/ott/Makefile @@ -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> diff --git a/lang/ott/distinfo b/lang/ott/distinfo new file mode 100644 index 000000000000..1313a4ff43b9 --- /dev/null +++ b/lang/ott/distinfo @@ -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 diff --git a/lang/ott/pkg-descr b/lang/ott/pkg-descr new file mode 100644 index 000000000000..1ae6f3a4798d --- /dev/null +++ b/lang/ott/pkg-descr @@ -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 |