pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/pvs convert to use tex.buidllink3.mk
details: https://anonhg.NetBSD.org/pkgsrc/rev/1b6a88774dac
branches: trunk
changeset: 502749:1b6a88774dac
user: tonio <tonio%pkgsrc.org@localhost>
date: Tue Nov 08 18:52:30 2005 +0000
description:
convert to use tex.buidllink3.mk
diffstat:
devel/pvs/Makefile | 5 +++--
1 files changed, 3 insertions(+), 2 deletions(-)
diffs (32 lines):
diff -r eb36e7baf1d1 -r 1b6a88774dac devel/pvs/Makefile
--- a/devel/pvs/Makefile Tue Nov 08 18:51:48 2005 +0000
+++ b/devel/pvs/Makefile Tue Nov 08 18:52:30 2005 +0000
@@ -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 @@
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 @@
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 @@
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"
Home |
Main Index |
Thread Index |
Old Index