diff options
| author | jschauma <jschauma@pkgsrc.org> | 2005-09-02 02:27:11 +0000 |
|---|---|---|
| committer | jschauma <jschauma@pkgsrc.org> | 2005-09-02 02:27:11 +0000 |
| commit | 5add9c1ebf822459e277b80a32f048c8002a60f2 (patch) | |
| tree | e3f81e698a5f6f4d5c19b492fbe054c05a8d34bf /devel/pvs/Makefile | |
| parent | ea35dfbdf2a9626b23200be04ae771036390f243 (diff) | |
| download | pkgsrc-5add9c1ebf822459e277b80a32f048c8002a60f2.tar.gz | |
Update pvs to 3.2:
According to http://pvs.csl.sri.com/announcements/pvs3.2-release-notes.shtml
this contains a number of bug fixes as well as the following improvements
and added features:
-Startup Script Update
-Theory Interpretation Enhancements
-References to Mapped Entities
-Cleaning up Specifications
-Binary Files
-Generating HTML
-Default Strategies
-Better handling of TCCs in Proofs
-typepred! rule and all-typepreds strategy
-grind-with-ext and reduce-with-ext
-New forward chain commands
-TeX Substitutions
-add-declaration and IMPORTINGs
-Prelude additions
Diffstat (limited to 'devel/pvs/Makefile')
| -rw-r--r-- | devel/pvs/Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/devel/pvs/Makefile b/devel/pvs/Makefile index c02bc65a516..32945c45021 100644 --- a/devel/pvs/Makefile +++ b/devel/pvs/Makefile @@ -1,9 +1,8 @@ -# $NetBSD: Makefile,v 1.19 2005/08/28 04:25:29 uebayasi Exp $ +# $NetBSD: Makefile,v 1.20 2005/09/02 02:27:11 jschauma Exp $ # DISTNAME= pvs-${VERSION} PKGNAME= ${EMACS_PKGNAME_PREFIX}${DISTNAME} -PKGREVISION= 2 CATEGORIES= devel lang MASTER_SITES= ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/ \ ftp://ftp.cs.york.ac.uk/pub/pvs/pvs${VERSION}/ \ @@ -11,7 +10,6 @@ MASTER_SITES= ftp://pvs.csl.sri.com/pub/pvs/pvs${VERSION}/ \ EXTRACT_SUFX= .tgz DISTFILES= ${DISTNAME}-${MAINFILEEXT}${EXTRACT_SUFX} \ pvs-${VERSION}-system${EXTRACT_SUFX} \ - pvs-${VERSION}-emacs19${EXTRACT_SUFX} \ pvs-${VERSION}-libraries${EXTRACT_SUFX} MAINTAINER= jschauma@NetBSD.org @@ -22,7 +20,7 @@ DEPENDS+= teTeX>=1.0.7:../../print/teTeX DEPENDS+= tk>=8.0:../../x11/tk WRKSRC= ${WRKDIR} -VERSION= 3.1 +VERSION= 3.2 NO_BUILD= # defined CHECK_SHLIBS= NO SHLIB_HANDLING= NO |