blob: fb005da1f2b3a6e87fb78c707ef493c7e3a53855 (
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
# $NetBSD: Makefile,v 1.17 2008/05/26 02:13:21 joerg Exp $
#
DISTNAME= twelf-1-4
PKGNAME= ${EMACS_PKGNAME_PREFIX}twelf-1.4
CATEGORIES= lang
MASTER_SITES= http://www.cs.cmu.edu/~twelf/dist/
MAINTAINER= richards+netbsd@CS.Princeton.EDU
HOMEPAGE= http://www.cs.cmu.edu/~twelf/
COMMENT= Meta-language for proving properties of languages and logics
DEPENDS+= smlnj>=110.38:../../lang/smlnj
LICENSE= generic-nonlicense
RESTRICTED= License terms not specified; assume no redistribution rights
NO_SRC_ON_FTP= ${RESTRICTED}
NO_SRC_ON_CDROM= ${RESTRICTED}
NO_BIN_ON_FTP= ${RESTRICTED}
NO_BIN_ON_CDROM= ${RESTRICTED}
USE_TOOLS+= pax
WRKSRC= ${WRKDIR}/twelf
MAKE_FILE= smlnj/Makefile
MAKEFLAGS+= sml=${PREFIX:Q}/bin/sml
BUILD_TARGET= twelf-server twelf-sml
INFO_FILES= # PLIST
TWELF_LIBDIR= ${PREFIX}/lib/twelf
TWELF_EMACSDIR= ${EMACS_LISPPREFIX}/twelf
TWELF_DOCDIR= ${PREFIX}/share/doc/twelf
TWELF_HTMLDOCDIR= ${PREFIX}/share/doc/html/twelf
TWELF_EXAMPLEDIR= ${PREFIX}/share/examples/twelf
.include "../../lang/smlnj/Makefile.common"
INSTALLATION_DIRS+= bin ${PKGINFODIR} \
${TWELF_LIBDIR} ${TWELF_EMACSDIR} \
${TWELF_DOCDIR} ${TWELF_HTMLDIR} \
${TWELF_EXAMPLEDIR}
post-extract:
${CHMOD} -R +r ${WRKSRC}
post-patch:
.for f in bin/.mkexec emacs/twelf-init.el
${CP} ${WRKSRC}/${f} ${WRKSRC}/${f}.orig
${SED} -e 's:@TWELF_LIBDIR@:'${TWELF_LIBDIR}':g' \
${WRKSRC}/${f}.orig > ${WRKSRC}/${f}
.endfor
post-build:
find ${WRKSRC} -name "*.orig" | xargs rm
do-install:
cd ${WRKSRC} && pax -rw -pam bin ${TWELF_LIBDIR}
${LN} -sf ${TWELF_LIBDIR}/bin/* ${PREFIX}/bin
cd ${WRKSRC}/emacs && pax -rw -pam * ${TWELF_EMACSDIR}
${LN} -sf ${TWELF_EMACSDIR} ${TWELF_LIBDIR}/emacs
cd ${WRKSRC}/doc; for t in dvi pdf ps; do \
${INSTALL_DATA} $${t}/twelf.$${t} ${TWELF_DOCDIR}; \
done
${LN} -sf ${TWELF_DOCDIR} ${TWELF_LIBDIR}/doc
cd ${WRKSRC}/doc/info; for f in *.info *.info-[0-9]*; do \
${TEST} ! -f "$$f" || \
${INSTALL_DATA} "$$f" ${PREFIX}/${PKGINFODIR}; \
done
cd ${WRKSRC}/doc/html && pax -rw -pam * ${TWELF_HTMLDOCDIR}
cd ${WRKSRC}/examples && pax -rw -pam * ${TWELF_EXAMPLEDIR}
${LN} -sf ${TWELF_EXAMPLEDIR} ${TWELF_LIBDIR}/examples
.include "../../mk/emacs.mk"
.include "../../mk/bsd.pkg.mk"
|
