60f791e1e6
it will live with other "check" targets run after package installation. Get rid of SHLIB_HANDLING, whose meaning had mutated over the years from one thing to another. Currently, it is used to basically note whether the system's "ldd" command can be usefully run on the package's binaries and libraries. Rename this variable to CHECK_SHLIBS_SUPPORTED for more clarity. CHECK_SHLIBS is now a variable set exclusively by the user in /etc/mk.conf to note whether the check for missing run-time search paths is performed after a package is installed. It defaults to "no" unless PKG_DEVELOPER is set.
69 lines
1.9 KiB
Makefile
69 lines
1.9 KiB
Makefile
# $NetBSD: Makefile,v 1.29 2006/05/22 22:22:02 jlam 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= 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-*-*
|
|
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"
|