blob: 73b70055e98072f78535b9bf9290d3a996f6f58b (
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
|
# Created by: andrewb@cs.cmu.edu
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
LICENSE= BSD2CLAUSE
LICENSE_FILE= ${WRKSRC}/LICENSE
BROKEN_FreeBSD_12= invalid target: self
BROKEN_FreeBSD_13= invalid target: self
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
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>
|
