Sat Feb 19 00:42:22 2011 UTC ()
pvs needs tex-amsmath, not the entire teTeX.


(minskim)
diff -r1.42 -r1.43 pkgsrc/devel/pvs/Makefile
cvs diff -r1.42 -r1.43 pkgsrc/devel/pvs/Makefile (expand / switch to unified diff)

--- pkgsrc/devel/pvs/Makefile 2011/02/14 23:31:34 1.42
+++ pkgsrc/devel/pvs/Makefile 2011/02/19 00:42:21 1.43
@@ -1,60 +1,59 @@ @@ -1,60 +1,59 @@
1# $NetBSD: Makefile,v 1.42 2011/02/14 23:31:34 wiz Exp $ 1# $NetBSD: Makefile,v 1.43 2011/02/19 00:42:21 minskim Exp $
2# 2#
3 3
4DISTNAME= pvs-${VERSION} 4DISTNAME= pvs-${VERSION}
5PKGNAME= ${EMACS_PKGNAME_PREFIX}${DISTNAME} 5PKGNAME= ${EMACS_PKGNAME_PREFIX}${DISTNAME}
6PKGREVISION= 2 6PKGREVISION= 3
7CATEGORIES= devel lang 7CATEGORIES= devel lang
8MASTER_SITES= ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/ \ 8MASTER_SITES= ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/ \
9 ftp://ftp.cs.york.ac.uk/pub/pvs/pvs${VERSION}/ \ 9 ftp://ftp.cs.york.ac.uk/pub/pvs/pvs${VERSION}/ \
10 ftp://ftp.informatik.uni-ulm.de/pub/KI/pvs/pvs${VERSION}/ 10 ftp://ftp.informatik.uni-ulm.de/pub/KI/pvs/pvs${VERSION}/
11EXTRACT_SUFX= .tgz 11EXTRACT_SUFX= .tgz
12DISTFILES= ${DISTNAME}-${MAINFILEEXT}${EXTRACT_SUFX} \ 12DISTFILES= ${DISTNAME}-${MAINFILEEXT}${EXTRACT_SUFX} \
13 pvs-${VERSION}-system${EXTRACT_SUFX} \ 13 pvs-${VERSION}-system${EXTRACT_SUFX} \
14 pvs-${VERSION}-libraries${EXTRACT_SUFX} 14 pvs-${VERSION}-libraries${EXTRACT_SUFX}
15LICENSE= pvs-license 15LICENSE= pvs-license
16 16
17# not quite sure about this, but to be on the safe side: 17# not quite sure about this, but to be on the safe side:
18RESTRICTED= Redistribution not permitted - see ${HOMEPAGE}license.html 18RESTRICTED= Redistribution not permitted - see ${HOMEPAGE}license.html
19NO_SRC_ON_CDROM= ${RESTRICTED} 19NO_SRC_ON_CDROM= ${RESTRICTED}
20NO_SRC_ON_FTP= ${RESTRICTED} 20NO_SRC_ON_FTP= ${RESTRICTED}
21NO_BIN_ON_CDROM= ${RESTRICTED} 21NO_BIN_ON_CDROM= ${RESTRICTED}
22NO_BIN_ON_FTP= ${RESTRICTED} 22NO_BIN_ON_FTP= ${RESTRICTED}
23 23
24MAINTAINER= pkgsrc-users@NetBSD.org 24MAINTAINER= pkgsrc-users@NetBSD.org
25HOMEPAGE= http://pvs.csl.sri.com/ 25HOMEPAGE= http://pvs.csl.sri.com/
26COMMENT= The PVS Specification and Verification System 26COMMENT= The PVS Specification and Verification System
27 27
 28DEPENDS+= tex-amsmath>=2.13nb2:../../print/tex-amsmath
28DEPENDS+= tk>=8.0:../../x11/tk 29DEPENDS+= tk>=8.0:../../x11/tk
29 30
30USE_TOOLS+= pax 31USE_TOOLS+= pax
31 32
32EMUL_PLATFORMS+= linux-i386 solaris-sparc 33EMUL_PLATFORMS+= linux-i386 solaris-sparc
33 34
34PKG_DESTDIR_SUPPORT= user-destdir 35PKG_DESTDIR_SUPPORT= user-destdir
35 36
36WRKSRC= ${WRKDIR} 37WRKSRC= ${WRKDIR}
37VERSION= 3.2 38VERSION= 3.2
38INFO_FILES= yes 39INFO_FILES= yes
39TEX_ACCEPTED= teTeX3 
40 40
41MESSAGE_SRC= ${PKGDIR}/MESSAGE.${EMUL_PLATFORM} 41MESSAGE_SRC= ${PKGDIR}/MESSAGE.${EMUL_PLATFORM}
42MAINFILEEXT= ${EMUL_OPSYS} 42MAINFILEEXT= ${EMUL_OPSYS}
43 43
44INSTALLATION_DIRS= bin 44INSTALLATION_DIRS= bin
45 45
46do-build: 46do-build:
47 ${SED} -e "s|@PREFIX@|${PREFIX}|" ${WRKSRC}/pvs > ${WRKSRC}/pvs.tmp 47 ${SED} -e "s|@PREFIX@|${PREFIX}|" ${WRKSRC}/pvs > ${WRKSRC}/pvs.tmp
48 ${MV} -f ${WRKSRC}/pvs.tmp ${WRKSRC}/pvs 48 ${MV} -f ${WRKSRC}/pvs.tmp ${WRKSRC}/pvs
49 ${RM} -f ${WRKSRC}/pvs.orig 49 ${RM} -f ${WRKSRC}/pvs.orig
50 ${RM} -f ${WRKSRC}/doc/release-notes/pvs-release-notes.info.orig 50 ${RM} -f ${WRKSRC}/doc/release-notes/pvs-release-notes.info.orig
51 51
52do-install: 52do-install:
53 ${INSTALL_SCRIPT} ${WRKSRC}/pvs ${DESTDIR}${PREFIX}/bin/pvs 53 ${INSTALL_SCRIPT} ${WRKSRC}/pvs ${DESTDIR}${PREFIX}/bin/pvs
54 ${INSTALL_PROGRAM_DIR} ${DESTDIR}${PREFIX}/pvs 54 ${INSTALL_PROGRAM_DIR} ${DESTDIR}${PREFIX}/pvs
55 cd ${WRKSRC} && pax -s ,^./[.].*,, -rw . ${DESTDIR}${PREFIX}/pvs 55 cd ${WRKSRC} && pax -s ,^./[.].*,, -rw . ${DESTDIR}${PREFIX}/pvs
56 ${CHMOD} 755 ${DESTDIR}${PREFIX}/pvs/pvs 56 ${CHMOD} 755 ${DESTDIR}${PREFIX}/pvs/pvs
57 57
58.include "../../mk/tex.buildlink3.mk" 
59.include "../../editors/emacs/modules.mk" 58.include "../../editors/emacs/modules.mk"
60.include "../../mk/bsd.pkg.mk" 59.include "../../mk/bsd.pkg.mk"