diff options
| author | jschauma <jschauma@pkgsrc.org> | 2002-09-24 17:57:24 +0000 |
|---|---|---|
| committer | jschauma <jschauma@pkgsrc.org> | 2002-09-24 17:57:24 +0000 |
| commit | ac553d6d3132e6bdcc63214b85e129718fcc2394 (patch) | |
| tree | 1fbfdc5b2586b99e734db7443bbf412b3a0bb860 /devel/pvs/Makefile | |
| parent | 35c7cb99e495743d8f38bb5d7f0d6d65d472a64f (diff) | |
| download | pkgsrc-ac553d6d3132e6bdcc63214b85e129718fcc2394.tar.gz | |
Initial import of devel/pvs into pkgsrc:
PVS is a verification system: that is, a specification language integrated
with support tools and a theorem prover. It is intended to capture the
state-of-the-art in mechanized formal methods and to be sufficiently rugged
that it can be used for significant applications.
For more details, please see http://pvs.csl.sri.com/ and
http://pvs.csl.sri.com/overview.html
This package was tested on NetBSD-1.6-i386 and Linux-i386, it might work
(but might need some modification) on NetBSD-1.6-sparc and SunOS as well.
For i386, NetBSD 1.6 is required -- on 1.5.x versions, it will (seemingly)
install fine but not work correctly in various instances.
Diffstat (limited to 'devel/pvs/Makefile')
| -rw-r--r-- | devel/pvs/Makefile | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile new file mode 100644 index 00000000000..18a22db89bb --- /dev/null +++ b/devel/pvs/Makefile @@ -0,0 +1,60 @@ +# $NetBSD: Makefile,v 1.1.1.1 2002/09/24 17:57:24 jschauma Exp $ +# + +DISTNAME= pvs-${VERSION} +CATEGORIES= devel lang +MASTER_SITES= ftp://pvs.csl.sri.com/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= emacs>=19.0:../../editors/emacs +DEPENDS+= tk>=8.3:../../x11/tk +DEPENDS+= teTeX>=1.0.7:../../print/teTeX + +VERSION= 3.0 +WRKSRC= ${WRKDIR} +NO_BUILD= # defined + +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 "../../mk/bsd.pkg.mk" |