From 36af7b4f7cb8150158c00390700827c44db6d51a Mon Sep 17 00:00:00 2001
From: tonio <tonio@pkgsrc.org>
Date: Tue, 8 Nov 2005 18:52:30 +0000
Subject: convert to use tex.buidllink3.mk

---
 devel/pvs/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'devel')

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"
-- 
cgit v1.2.3