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/files | |
| 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/files')
| -rw-r--r-- | devel/pvs/files/MESSAGE | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/devel/pvs/files/MESSAGE b/devel/pvs/files/MESSAGE new file mode 100644 index 00000000000..cbbf4e4a5eb --- /dev/null +++ b/devel/pvs/files/MESSAGE @@ -0,0 +1,7 @@ +============================================================================== +$NetBSD: MESSAGE,v 1.1.1.1 2002/09/24 17:57:25 jschauma Exp $ + + The PVS Specification and Verification System requires a kernel + built with 'COMPAT_LINUX' and 'PROCFS' enabled. + +============================================================================== |