summaryrefslogtreecommitdiff
path: root/devel/pvs
diff options
context:
space:
mode:
authorjoerg <joerg@pkgsrc.org>2008-05-26 02:13:14 +0000
committerjoerg <joerg@pkgsrc.org>2008-05-26 02:13:14 +0000
commit3d8ef5a52d6570c7a88c64337bb6c476b78c810c (patch)
treeb711f279533efa082bd9211a7161438542a8810d /devel/pvs
parent7f7f5ce9170554e6c0c04606c5c2c0548ffab031 (diff)
downloadpkgsrc-3d8ef5a52d6570c7a88c64337bb6c476b78c810c.tar.gz
Second round of explicit pax dependencies. As reminded by tnn@,
many packages used to use ${PAX}. Use the common way of directly calling pax, it is created as tool after all.
Diffstat (limited to 'devel/pvs')
-rw-r--r--devel/pvs/Makefile6
1 files changed, 4 insertions, 2 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile
index 20494ad933f..aebc778136f 100644
--- a/devel/pvs/Makefile
+++ b/devel/pvs/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.33 2008/03/03 17:45:36 jlam Exp $
+# $NetBSD: Makefile,v 1.34 2008/05/26 02:13:18 joerg Exp $
#
DISTNAME= pvs-${VERSION}
@@ -27,6 +27,8 @@ COMMENT= The PVS Specification and Verification System
DEPENDS+= tk>=8.0:../../x11/tk
+USE_TOOLS+= pax
+
EMUL_PLATFORMS+= linux-i386 solaris-sparc
PKG_DESTDIR_SUPPORT= user-destdir
@@ -50,7 +52,7 @@ do-build:
do-install:
${INSTALL_SCRIPT} ${WRKSRC}/pvs ${DESTDIR}${PREFIX}/bin/pvs
${INSTALL_PROGRAM_DIR} ${DESTDIR}${PREFIX}/pvs
- cd ${WRKSRC} && ${PAX} -s ,^./[.].*,, -rw . ${DESTDIR}${PREFIX}/pvs
+ cd ${WRKSRC} && pax -s ,^./[.].*,, -rw . ${DESTDIR}${PREFIX}/pvs
${CHMOD} 755 ${DESTDIR}${PREFIX}/pvs/pvs
.include "../../mk/tex.buildlink3.mk"