pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/pvs pvs needs tex-amsmath, not the entire teTeX.
details: https://anonhg.NetBSD.org/pkgsrc/rev/cc0eee24f6e2
branches: trunk
changeset: 585517:cc0eee24f6e2
user: minskim <minskim%pkgsrc.org@localhost>
date: Sat Feb 19 00:42:21 2011 +0000
description:
pvs needs tex-amsmath, not the entire teTeX.
diffstat:
devel/pvs/Makefile | 7 +++----
1 files changed, 3 insertions(+), 4 deletions(-)
diffs (38 lines):
diff -r 01ee85e2d715 -r cc0eee24f6e2 devel/pvs/Makefile
--- a/devel/pvs/Makefile Sat Feb 19 00:28:17 2011 +0000
+++ b/devel/pvs/Makefile Sat Feb 19 00:42:21 2011 +0000
@@ -1,9 +1,9 @@
-# $NetBSD: Makefile,v 1.42 2011/02/14 23:31:34 wiz Exp $
+# $NetBSD: Makefile,v 1.43 2011/02/19 00:42:21 minskim Exp $
#
DISTNAME= pvs-${VERSION}
PKGNAME= ${EMACS_PKGNAME_PREFIX}${DISTNAME}
-PKGREVISION= 2
+PKGREVISION= 3
CATEGORIES= devel lang
MASTER_SITES= ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/ \
ftp://ftp.cs.york.ac.uk/pub/pvs/pvs${VERSION}/ \
@@ -25,6 +25,7 @@
HOMEPAGE= http://pvs.csl.sri.com/
COMMENT= The PVS Specification and Verification System
+DEPENDS+= tex-amsmath>=2.13nb2:../../print/tex-amsmath
DEPENDS+= tk>=8.0:../../x11/tk
USE_TOOLS+= pax
@@ -36,7 +37,6 @@
WRKSRC= ${WRKDIR}
VERSION= 3.2
INFO_FILES= yes
-TEX_ACCEPTED= teTeX3
MESSAGE_SRC= ${PKGDIR}/MESSAGE.${EMUL_PLATFORM}
MAINFILEEXT= ${EMUL_OPSYS}
@@ -55,6 +55,5 @@
cd ${WRKSRC} && pax -s ,^./[.].*,, -rw . ${DESTDIR}${PREFIX}/pvs
${CHMOD} 755 ${DESTDIR}${PREFIX}/pvs/pvs
-.include "../../mk/tex.buildlink3.mk"
.include "../../editors/emacs/modules.mk"
.include "../../mk/bsd.pkg.mk"
Home |
Main Index |
Thread Index |
Old Index