diff options
| author | tonio <tonio@pkgsrc.org> | 2005-11-08 18:52:30 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2005-11-08 18:52:30 +0000 |
| commit | 36af7b4f7cb8150158c00390700827c44db6d51a (patch) | |
| tree | 89b0cb7a38f8f12f362d9f6ee031835c1a7c17db /devel/pvs | |
| parent | f5abb055b8e9754ef2efdf64882842e03ec64f78 (diff) | |
| download | pkgsrc-36af7b4f7cb8150158c00390700827c44db6d51a.tar.gz | |
convert to use tex.buidllink3.mk
Diffstat (limited to 'devel/pvs')
| -rw-r--r-- | devel/pvs/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile index 2373c10696f..99120340e39 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.21 2005/09/28 20:52:19 rillig Exp $ +# $NetBSD: Makefile,v 1.22 2005/11/08 18:52:30 tonio Exp $ # DISTNAME= pvs-${VERSION} @@ -16,7 +16,6 @@ MAINTAINER= jschauma@NetBSD.org HOMEPAGE= http://pvs.csl.sri.com/ COMMENT= The PVS Specification and Verification System -DEPENDS+= teTeX>=1.0.7:../../print/teTeX DEPENDS+= tk>=8.0:../../x11/tk WRKSRC= ${WRKDIR} @@ -26,6 +25,7 @@ CHECK_SHLIBS= NO SHLIB_HANDLING= NO INFO_DIR= pvs/doc/release-notes INFO_FILES= pvs-release-notes.info +LATEX_ACCEPTED= teTeX1 teTeX2 teTeX3 LICENSE= pvs-license # not quite sure about this, but to be on the safe side: @@ -64,5 +64,6 @@ do-install: cd ${WRKSRC} && ${PAX} -s ,^./[.].*,, -rw . ${PREFIX}/pvs ${CHMOD} 755 ${PREFIX}/pvs/pvs +.include "../../mk/tex.buildlink3.mk" .include "../../mk/emacs.mk" .include "../../mk/bsd.pkg.mk" |