summaryrefslogtreecommitdiff
path: root/devel/pvs/Makefile
blob: c828eb5e7f11c2587af54450411df227cead3dbc (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
# $NetBSD: Makefile,v 1.4 2003/01/04 22:00:08 jschauma Exp $
#

DISTNAME=		pvs-${VERSION}
PKGREVISION=		1
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-3.0-system${EXTRACT_SUFX} \
			pvs-3.0-emacs19${EXTRACT_SUFX} \
			pvs-3.0-libraries${EXTRACT_SUFX}

MAINTAINER=		jschauma@netbsd.org
HOMEPAGE=		http://pvs.csl.sri.com/
COMMENT=		The PVS Specification and Verification System

DEPENDS+=		teTeX>=1.0.7:../../print/teTeX

VERSION=		3.0
WRKSRC=			${WRKDIR}
NO_BUILD=		# defined
CHECK_SHLIBS=		NO
SHLIB_HANDLING=		NO
USE_BUILDLINK2=		yes

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-9]*-* Linux-*-* SunOS-*-*

.include "../../mk/bsd.prefs.mk"

.if (${OPSYS} == "NetBSD" && ${MACHINE_ARCH} == "sparc") || ${OPSYS} != "SunOS"
MAINFILEEXT=		redhat5
.else
MAINFILEEXT=		solaris
.endif

.if ${OPSYS} == "NetBSD"
MESSAGE_SRC=		${FILESDIR}/MESSAGE
.endif

post-patch:
	${SED} -e "s|@PREFIX@|${PREFIX}|" ${WRKSRC}/pvs > \
		${WRKSRC}/pvs.tmp
	${MV} ${WRKSRC}/pvs.tmp ${WRKSRC}/pvs
	${RM} ${WRKSRC}/pvs.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 "../../x11/tk/buildlink2.mk"
.include "../../mk/emacs.mk"
.include "../../mk/texinfo.mk"
.include "../../mk/bsd.pkg.mk"