blob: 77094db54318d4b904e50977cbf23e921949476a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
PORTNAME= ott
PORTVERSION= 0.28
CATEGORIES= lang
MAINTAINER= domagoj.stolfa@cl.cam.ac.uk
COMMENT= Tool for writing definitions of programming languages and calculi
WWW= https://github.com/ott-lang/ott
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>
|
