blob: 99120340e39b3d236f4d98430be82616b3beb3e4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
# $NetBSD: Makefile,v 1.22 2005/11/08 18:52:30 tonio Exp $
#
DISTNAME= pvs-${VERSION}
PKGNAME= ${EMACS_PKGNAME_PREFIX}${DISTNAME}
CATEGORIES= devel lang
MASTER_SITES= ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/ \
ftp://ftp.cs.york.ac.uk/pub/pvs/pvs${VERSION}/ \
ftp://ftp.informatik.uni-ulm.de/pub/KI/pvs/pvs${VERSION}/
EXTRACT_SUFX= .tgz
DISTFILES= ${DISTNAME}-${MAINFILEEXT}${EXTRACT_SUFX} \
pvs-${VERSION}-system${EXTRACT_SUFX} \
pvs-${VERSION}-libraries${EXTRACT_SUFX}
MAINTAINER= jschauma@NetBSD.org
HOMEPAGE= http://pvs.csl.sri.com/
COMMENT= The PVS Specification and Verification System
DEPENDS+= tk>=8.0:../../x11/tk
WRKSRC= ${WRKDIR}
VERSION= 3.2
NO_BUILD= yes
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:
RESTRICTED= "Redistribution not permitted - see ${HOMEPAGE}license.html"
NO_SRC_ON_CDROM= ${RESTRICTED}
NO_SRC_ON_FTP= ${RESTRICTED}
NO_BIN_ON_CDROM= ${RESTRICTED}
NO_BIN_ON_FTP= ${RESTRICTED}
ONLY_FOR_PLATFORM= NetBSD-1.6*-* NetBSD-[2-9]*-* Linux-*-* SunOS-*-*
.include "../../mk/bsd.prefs.mk"
.if (${OPSYS} == "NetBSD" && ${MACHINE_ARCH} == "sparc") || ${OPSYS} != "SunOS"
MAINFILEEXT= linux
.else
MAINFILEEXT= solaris
.endif
.if ${OPSYS} == "NetBSD"
MESSAGE_SRC= ${FILESDIR}/MESSAGE
.endif
INSTALLATION_DIRS= bin
post-patch:
${SED} -e "s|@PREFIX@|${PREFIX}|" ${WRKSRC}/pvs > \
${WRKSRC}/pvs.tmp
${MV} ${WRKSRC}/pvs.tmp ${WRKSRC}/pvs
${RM} ${WRKSRC}/pvs.orig
${RM} ${WRKSRC}/doc/release-notes/pvs-release-notes.info.orig
do-install:
${INSTALL_SCRIPT} ${WRKSRC}/pvs ${PREFIX}/bin/pvs
${INSTALL_PROGRAM_DIR} ${PREFIX}/pvs
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"
|
