aboutsummaryrefslogtreecommitdiff
path: root/lang/twelf/Makefile
blob: e18ab15418074f61aa16f28bb6068d89e24f9569 (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
48
49
50
51
52
53
54
55
56
57
PORTNAME=	twelf
PORTVERSION=	1.7.1
PORTREVISION=	4
DISTVERSIONPREFIX=	src-
CATEGORIES=	lang math
MASTER_SITES=	http://twelf.plparty.org/releases/ \
		http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/

MAINTAINER=	beyert@cs.ucr.edu
COMMENT=	Meta-logical framework for deductive systems
WWW=		http://www.cs.cmu.edu/~twelf

LICENSE=	BSD2CLAUSE
LICENSE_FILE=	${WRKSRC}/LICENSE

BROKEN=	invalid target: self
DEPRECATED=	Dead upstream and fails to build
EXPIRATION_DATE=2024-05-31

RUN_DEPENDS=	mlton:lang/mlton
BUILD_DEPENDS=	mlton:lang/mlton \
		texi2html:textproc/texi2html

OPTIONS_DEFINE=	DOCS

USES=		gmake
ALL_TARGET=	mlton
PLIST_FILES=	bin/${PORTNAME}-server
PORTDATA=	emacs examples examples-clp examples-delphin tex vim README
PORTDOCS=	dvi html pdf ps
WRKSRC=		${WRKDIR}/twelf
DOCS_INFO=	twelf

DOCS_USE=	TEX=dvipsk:build,tex:build
DOCS_USES=	makeinfo tex

post-patch-DOCS-on:
	@${REINPLACE_CMD} 's|-number|-number-sections|g' \
		${WRKSRC}/doc/guide/Makefile
	@${REINPLACE_CMD} 's|twelf_\*.html|twelf/\*.html|g' \
		${WRKSRC}/doc/guide/Makefile

post-build-DOCS-on:
	cd ${WRKSRC}/doc/guide && ${MAKE} all ${INSTALL_TARGET}

do-install:
	${INSTALL_PROGRAM} ${WRKSRC}/bin/${PORTNAME}-server \
		${STAGEDIR}${PREFIX}/bin
	${MKDIR} ${STAGEDIR}${DATADIR}
	cd ${WRKSRC} && ${COPYTREE_SHARE} "${PORTDATA}" ${STAGEDIR}${DATADIR}

do-install-DOCS-on:
	@${MKDIR} ${STAGEDIR}${DOCSDIR}
	cd ${WRKSRC}/doc && ${COPYTREE_SHARE} "${PORTDOCS}" ${STAGEDIR}${DOCSDIR}
	${INSTALL_DATA} ${WRKSRC}/doc/info/twelf.info* ${STAGEDIR}${PREFIX}/${INFO_PATH}

.include <bsd.port.mk>