summaryrefslogtreecommitdiff
path: root/math/teyjus/Makefile
blob: 174a37e2523b0799521e37c2328968b73656c5cf (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
27
28
29
30
31
32
33
34

PORTNAME=	teyjus
DISTVERSIONPREFIX=	v
DISTVERSION=	2.1-7
DISTVERSIONSUFFIX=	-ge63f40a
CATEGORIES=	math lang

MAINTAINER=	yuri@FreeBSD.org
COMMENT=	Higher-order logic programming language Lambda Prolog

LICENSE=	GPLv3
LICENSE_FILE=	${WRKSRC}/COPYING

BUILD_DEPENDS=	ocamlopt:lang/ocaml \
		omake:devel/omake \
		bash:shells/bash

USES=		dos2unix shebangfix
DOS2UNIX_FILES=	source/OMakefile
SHEBANG_GLOB=	run_test
USE_GITHUB=	yes

EXES=		tjcc tjdepend tjdis tjlink tjsim
PLIST_FILES=	${EXES:S/^/bin\//}

do-build:
	@cd ${WRKSRC} && omake

do-install:
.for e in ${EXES}
	${INSTALL_PROGRAM} ${WRKSRC}/source/${e}.opt ${STAGEDIR}${PREFIX}/bin/${e}
.endfor

.include <bsd.port.mk>