diff options
| author | joerg <joerg@pkgsrc.org> | 2008-05-26 02:13:14 +0000 |
|---|---|---|
| committer | joerg <joerg@pkgsrc.org> | 2008-05-26 02:13:14 +0000 |
| commit | 7e8d73a2f828db9d35f29b49764e35728972ce24 (patch) | |
| tree | b711f279533efa082bd9211a7161438542a8810d /devel/pvs | |
| parent | f46dfbfa33d3c97ae7eb4dca75789144f99079a7 (diff) | |
| download | pkgsrc-7e8d73a2f828db9d35f29b49764e35728972ce24.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/Makefile | 6 |
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" |