blob: f51fb4d9ae595a1be8f0d81aa76c56300b7e653e (
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
PORTNAME= teyjus
DISTVERSIONPREFIX= v
DISTVERSION= 2.1-7
DISTVERSIONSUFFIX= -ge63f40a
PORTREVISION= 1
CATEGORIES= math lang
MAINTAINER= yuri@FreeBSD.org
COMMENT= Higher-order logic programming language Lambda Prolog
WWW= http://teyjus.cs.umn.edu/
LICENSE= GPLv3
LICENSE_FILE= ${WRKSRC}/COPYING
BUILD_DEPENDS= omake:devel/omake \
bash:shells/bash
USES= dos2unix ocaml shebangfix
DOS2UNIX_FILES= source/OMakefile
SHEBANG_GLOB= run_test
USE_GITHUB= yes
CFLAGS+= -Wno-error=comment
EXES= tjcc tjdepend tjdis tjlink tjsim
PLIST_FILES= ${EXES:S/^/bin\//}
.include <bsd.port.options.mk>
.if ${ARCH} == powerpc
USE_BINUTILS= yes
.endif
# replacing bundled and outdated OCaml headers with a symlink to
# the current headers
post-patch:
${RM} -r ${WRKSRC}/source/front/caml
${LN} -s ${LOCALBASE}/${OCAML_LIBDIR}/caml ${WRKSRC}/source/front/caml
do-build:
@(cd ${WRKSRC} && ${SETENVI} ${WRK_ENV} ${MAKE_ENV} omake)
do-install:
.for e in ${EXES}
${INSTALL_PROGRAM} ${WRKSRC}/source/${e}.opt ${STAGEDIR}${PREFIX}/bin/${e}
.endfor
.include <bsd.port.mk>
|
