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