blob: 799b2d9aac2ef964eb1b2a5618338d9711deafaf (
plain)
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
|
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>
|
