pkgsrc/devel/pvs/PLIST, branch pkgsrc_2012Q2 [no description] https://git.osdyson.ru/mirror/pkgsrc/atom?h=pkgsrc_2012Q2 2009-06-14T18:48:07Z Convert @exec/@unexec to @pkgdir or drop it. 2009-06-14T18:48:07Z joerg joerg 2009-06-14T18:48:07Z urn:sha1:98eed4cfc242802f1ce0552c0e621b76acdb75f3 Remove @dirrm entries from PLISTs 2009-06-14T17:48:39Z joerg joerg 2009-06-14T17:48:39Z urn:sha1:a3974bf3b6efabbf626979c76d7215661405a16e Convert to use the emulator framework and properly support the 2007-08-22T17:28:08Z jlam jlam 2007-08-22T17:28:08Z urn:sha1:dedec5eef5eced6eab03d9bb992c7c1e3112d7e6 "solaris-sparc" emulation so that NetBSD/sparc and NetBSD/sparc64 and use this package. * Nuke all references to and definitions of INFO_DIR in package Makefiles 2006-03-20T18:15:37Z jlam jlam 2006-03-20T18:15:37Z urn:sha1:ba56a6d962bf14bb906ae2ad6fbe36b11088e35f and replace with appropriate references to PKGINFODIR instead. * Properly account for split info files during installation. * Move info file listings directly into the package PLISTs. This fixes info-file-related PLIST problems. Update pvs to 3.2: 2005-09-02T02:27:11Z jschauma jschauma 2005-09-02T02:27:11Z urn:sha1:12c96a192cc88abca3814df073027c9779e818fa 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 Remove info files entries from PLIST. 2004-02-16T16:55:43Z seb seb 2004-02-16T16:55:43Z urn:sha1:cd91e96a90103a8683851e080c35aa23868b65b0 Convert to USE_NEW_TEXINFO. 2003-06-25T21:01:35Z seb seb 2003-06-25T21:01:35Z urn:sha1:b62a20501ab800dde72876f6e778b571d74d648d Set the INFO_DIR to pvs/doc/release-notes where the info file pvs-release-notes.info gets installed. Patch the info file so install-info finds a section and an entry in it for the directory file. Upgrade to 3.1, a bug-fix release. (Not much more information available 2003-03-31T20:49:36Z jschauma jschauma 2003-03-31T20:49:36Z urn:sha1:9eb910d7c3f67c53fc2478d7c96f8eeb15af8f6d from the website.) Upgrade to 3.0 (previous version was actually 3.0-beta.) -> bump 2002-12-20T21:37:37Z jschauma jschauma 2002-12-20T21:37:37Z urn:sha1:17f2d0b8b891140cda9ea5dea8acdced646d7c49 PKGREVISION. Also use buildlink2 and emacs.mk for simplicity. Initial import of devel/pvs into pkgsrc: 2002-09-24T17:57:24Z jschauma jschauma 2002-09-24T17:57:24Z urn:sha1:ba5480411358db0aef169833a2b7a0377403e2d9 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.