diff options
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/pvs/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile index a62c386d9fe..c828eb5e7f1 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.3 2002/12/26 17:55:02 jschauma Exp $ +# $NetBSD: Makefile,v 1.4 2003/01/04 22:00:08 jschauma Exp $ # DISTNAME= pvs-${VERSION} @@ -22,6 +22,8 @@ DEPENDS+= teTeX>=1.0.7:../../print/teTeX VERSION= 3.0 WRKSRC= ${WRKDIR} NO_BUILD= # defined +CHECK_SHLIBS= NO +SHLIB_HANDLING= NO USE_BUILDLINK2= yes LICENSE= pvs-license |