diff options
author | joerg <joerg> | 2010-02-04 01:21:39 +0000 |
---|---|---|
committer | joerg <joerg> | 2010-02-04 01:21:39 +0000 |
commit | 22627e1658b5449c1be2f2fdf8af2b2cd511fa6b (patch) | |
tree | 79a0ecfe7840c4dfbe4af622a734aa47157f7dbd /lang/twelf | |
parent | 79373a9f5a6eb70189fa0072743f690bf41e5c9a (diff) | |
download | pkgsrc-22627e1658b5449c1be2f2fdf8af2b2cd511fa6b.tar.gz |
DESTDIR support
Diffstat (limited to 'lang/twelf')
-rw-r--r-- | lang/twelf/Makefile | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index e416ad439af..0e0005ec10d 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.20 2009/08/06 01:44:53 minskim Exp $ +# $NetBSD: Makefile,v 1.21 2010/02/04 01:21:39 joerg Exp $ # DISTNAME= twelf-1-4 @@ -12,6 +12,8 @@ HOMEPAGE= http://www.cs.cmu.edu/~twelf/ COMMENT= Meta-language for proving properties of languages and logics LICENSE= generic-nonlicense +PKG_DESTDIR_SUPPORT= user-destdir + RESTRICTED= License terms not specified; assume no redistribution rights NO_SRC_ON_FTP= ${RESTRICTED} NO_SRC_ON_CDROM= ${RESTRICTED} @@ -56,26 +58,26 @@ 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} && pax -rw -pam bin ${DESTDIR}${TWELF_LIBDIR} + ${LN} -sf ${DESTDIR}${TWELF_LIBDIR}/bin/* ${DESTDIR}${PREFIX}/bin - cd ${WRKSRC}/emacs && pax -rw -pam * ${TWELF_EMACSDIR} - ${LN} -sf ${TWELF_EMACSDIR} ${TWELF_LIBDIR}/emacs + cd ${WRKSRC}/emacs && pax -rw -pam * ${DESTDIR}${TWELF_EMACSDIR} + ${LN} -sf ${DESTDIR}${TWELF_EMACSDIR} ${DESTDIR}${TWELF_LIBDIR}/emacs cd ${WRKSRC}/doc; for t in dvi pdf ps; do \ - ${INSTALL_DATA} $${t}/twelf.$${t} ${TWELF_DOCDIR}; \ + ${INSTALL_DATA} $${t}/twelf.$${t} ${DESTDIR}${TWELF_DOCDIR}; \ done - ${LN} -sf ${TWELF_DOCDIR} ${TWELF_LIBDIR}/doc + ${LN} -sf ${DESTDIR}${TWELF_DOCDIR} ${DESTDIR}${TWELF_LIBDIR}/doc cd ${WRKSRC}/doc/info; for f in *.info *.info-[0-9]*; do \ ${TEST} ! -f "$$f" || \ - ${INSTALL_DATA} "$$f" ${PREFIX}/${PKGINFODIR}; \ + ${INSTALL_DATA} "$$f" ${DESTDIR}${PREFIX}/${PKGINFODIR}; \ done - cd ${WRKSRC}/doc/html && pax -rw -pam * ${TWELF_HTMLDOCDIR} + cd ${WRKSRC}/doc/html && pax -rw -pam * ${DESTDIR}${TWELF_HTMLDOCDIR} - cd ${WRKSRC}/examples && pax -rw -pam * ${TWELF_EXAMPLEDIR} - ${LN} -sf ${TWELF_EXAMPLEDIR} ${TWELF_LIBDIR}/examples + cd ${WRKSRC}/examples && pax -rw -pam * ${DESTDIR}${TWELF_EXAMPLEDIR} + ${LN} -sf ${DESTDIR}${TWELF_EXAMPLEDIR} ${DESTDIR}${TWELF_LIBDIR}/examples .include "../../editors/emacs/modules.mk" .include "../../mk/bsd.pkg.mk" |