69 lines
1.9 KiB
Makefile
69 lines
1.9 KiB
Makefile
# $NetBSD: Makefile,v 1.30 2006/08/10 03:21:39 minskim Exp $
|
|
#
|
|
|
|
DISTNAME= pvs-${VERSION}
|
|
PKGNAME= ${EMACS_PKGNAME_PREFIX}${DISTNAME}
|
|
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-${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_SUPPORTED= no
|
|
INFO_FILES= # PLIST
|
|
TEX_ACCEPTED= 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-*-*
|
|
ONLY_FOR_PLATFORM+= DragonFly-*-*
|
|
|
|
.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"
|