summaryrefslogtreecommitdiff
path: root/lang/ott/Makefile
blob: dbe2a5544e3de31f6681f9c4177f351c973ceaab (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
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

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>