Thu Feb 4 01:21:40 2010 UTC ()
DESTDIR support


(joerg)
diff -r1.20 -r1.21 pkgsrc/lang/twelf/Makefile
cvs diff -r1.20 -r1.21 pkgsrc/lang/twelf/Attic/Makefile (expand / switch to unified diff)

--- pkgsrc/lang/twelf/Attic/Makefile 2009/08/06 01:44:53 1.20
+++ pkgsrc/lang/twelf/Attic/Makefile 2010/02/04 01:21:39 1.21
@@ -1,27 +1,29 @@ @@ -1,27 +1,29 @@
1# $NetBSD: Makefile,v 1.20 2009/08/06 01:44:53 minskim Exp $ 1# $NetBSD: Makefile,v 1.21 2010/02/04 01:21:39 joerg Exp $
2# 2#
3 3
4DISTNAME= twelf-1-4 4DISTNAME= twelf-1-4
5PKGNAME= ${EMACS_PKGNAME_PREFIX}twelf-1.4 5PKGNAME= ${EMACS_PKGNAME_PREFIX}twelf-1.4
6PKGREVISION= 1 6PKGREVISION= 1
7CATEGORIES= lang 7CATEGORIES= lang
8MASTER_SITES= http://www.cs.cmu.edu/~twelf/dist/ 8MASTER_SITES= http://www.cs.cmu.edu/~twelf/dist/
9 9
10MAINTAINER= richards+netbsd@CS.Princeton.EDU 10MAINTAINER= richards+netbsd@CS.Princeton.EDU
11HOMEPAGE= http://www.cs.cmu.edu/~twelf/ 11HOMEPAGE= http://www.cs.cmu.edu/~twelf/
12COMMENT= Meta-language for proving properties of languages and logics 12COMMENT= Meta-language for proving properties of languages and logics
13LICENSE= generic-nonlicense 13LICENSE= generic-nonlicense
14 14
 15PKG_DESTDIR_SUPPORT= user-destdir
 16
15RESTRICTED= License terms not specified; assume no redistribution rights 17RESTRICTED= License terms not specified; assume no redistribution rights
16NO_SRC_ON_FTP= ${RESTRICTED} 18NO_SRC_ON_FTP= ${RESTRICTED}
17NO_SRC_ON_CDROM= ${RESTRICTED} 19NO_SRC_ON_CDROM= ${RESTRICTED}
18NO_BIN_ON_FTP= ${RESTRICTED} 20NO_BIN_ON_FTP= ${RESTRICTED}
19NO_BIN_ON_CDROM= ${RESTRICTED} 21NO_BIN_ON_CDROM= ${RESTRICTED}
20 22
21DEPENDS+= smlnj>=110.38:../../lang/smlnj 23DEPENDS+= smlnj>=110.38:../../lang/smlnj
22 24
23USE_TOOLS+= pax 25USE_TOOLS+= pax
24 26
25WRKSRC= ${WRKDIR}/twelf 27WRKSRC= ${WRKDIR}/twelf
26MAKE_FILE= smlnj/Makefile 28MAKE_FILE= smlnj/Makefile
27MAKEFLAGS+= sml=${PREFIX:Q}/bin/sml 29MAKEFLAGS+= sml=${PREFIX:Q}/bin/sml
@@ -46,36 +48,36 @@ post-extract: @@ -46,36 +48,36 @@ post-extract:
46 ${CHMOD} -R +r ${WRKSRC} 48 ${CHMOD} -R +r ${WRKSRC}
47 49
48post-patch: 50post-patch:
49.for f in bin/.mkexec emacs/twelf-init.el 51.for f in bin/.mkexec emacs/twelf-init.el
50 ${CP} ${WRKSRC}/${f} ${WRKSRC}/${f}.orig 52 ${CP} ${WRKSRC}/${f} ${WRKSRC}/${f}.orig
51 ${SED} -e 's:@TWELF_LIBDIR@:'${TWELF_LIBDIR}':g' \ 53 ${SED} -e 's:@TWELF_LIBDIR@:'${TWELF_LIBDIR}':g' \
52 ${WRKSRC}/${f}.orig > ${WRKSRC}/${f} 54 ${WRKSRC}/${f}.orig > ${WRKSRC}/${f}
53.endfor 55.endfor
54 56
55post-build: 57post-build:
56 find ${WRKSRC} -name "*.orig" | xargs rm 58 find ${WRKSRC} -name "*.orig" | xargs rm
57 59
58do-install: 60do-install:
59 cd ${WRKSRC} && pax -rw -pam bin ${TWELF_LIBDIR} 61 cd ${WRKSRC} && pax -rw -pam bin ${DESTDIR}${TWELF_LIBDIR}
60 ${LN} -sf ${TWELF_LIBDIR}/bin/* ${PREFIX}/bin 62 ${LN} -sf ${DESTDIR}${TWELF_LIBDIR}/bin/* ${DESTDIR}${PREFIX}/bin
61 63
62 cd ${WRKSRC}/emacs && pax -rw -pam * ${TWELF_EMACSDIR} 64 cd ${WRKSRC}/emacs && pax -rw -pam * ${DESTDIR}${TWELF_EMACSDIR}
63 ${LN} -sf ${TWELF_EMACSDIR} ${TWELF_LIBDIR}/emacs 65 ${LN} -sf ${DESTDIR}${TWELF_EMACSDIR} ${DESTDIR}${TWELF_LIBDIR}/emacs
64 66
65 cd ${WRKSRC}/doc; for t in dvi pdf ps; do \ 67 cd ${WRKSRC}/doc; for t in dvi pdf ps; do \
66 ${INSTALL_DATA} $${t}/twelf.$${t} ${TWELF_DOCDIR}; \ 68 ${INSTALL_DATA} $${t}/twelf.$${t} ${DESTDIR}${TWELF_DOCDIR}; \
67 done 69 done
68 ${LN} -sf ${TWELF_DOCDIR} ${TWELF_LIBDIR}/doc 70 ${LN} -sf ${DESTDIR}${TWELF_DOCDIR} ${DESTDIR}${TWELF_LIBDIR}/doc
69 71
70 cd ${WRKSRC}/doc/info; for f in *.info *.info-[0-9]*; do \ 72 cd ${WRKSRC}/doc/info; for f in *.info *.info-[0-9]*; do \
71 ${TEST} ! -f "$$f" || \ 73 ${TEST} ! -f "$$f" || \
72 ${INSTALL_DATA} "$$f" ${PREFIX}/${PKGINFODIR}; \ 74 ${INSTALL_DATA} "$$f" ${DESTDIR}${PREFIX}/${PKGINFODIR}; \
73 done 75 done
74 76
75 cd ${WRKSRC}/doc/html && pax -rw -pam * ${TWELF_HTMLDOCDIR} 77 cd ${WRKSRC}/doc/html && pax -rw -pam * ${DESTDIR}${TWELF_HTMLDOCDIR}
76 78
77 cd ${WRKSRC}/examples && pax -rw -pam * ${TWELF_EXAMPLEDIR} 79 cd ${WRKSRC}/examples && pax -rw -pam * ${DESTDIR}${TWELF_EXAMPLEDIR}
78 ${LN} -sf ${TWELF_EXAMPLEDIR} ${TWELF_LIBDIR}/examples 80 ${LN} -sf ${DESTDIR}${TWELF_EXAMPLEDIR} ${DESTDIR}${TWELF_LIBDIR}/examples
79 81
80.include "../../editors/emacs/modules.mk" 82.include "../../editors/emacs/modules.mk"
81.include "../../mk/bsd.pkg.mk" 83.include "../../mk/bsd.pkg.mk"