summaryrefslogtreecommitdiff
path: root/devel
diff options
context:
space:
mode:
authortonio <tonio>2005-11-08 18:52:30 +0000
committertonio <tonio>2005-11-08 18:52:30 +0000
commit0302328b1a2d27b0f25b5fcb4761148865a60287 (patch)
tree89b0cb7a38f8f12f362d9f6ee031835c1a7c17db /devel
parentbc87dde36ec17b412fb64608c059c0a8e5d5e0e2 (diff)
downloadpkgsrc-0302328b1a2d27b0f25b5fcb4761148865a60287.tar.gz
convert to use tex.buidllink3.mk
Diffstat (limited to 'devel')
-rw-r--r--devel/pvs/Makefile5
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"