pkgsrc - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2004-01-20	Move WRKSRC definition away from the first paragraph in a Makefile.	agc	1	-2/+2

2003-08-09	USE_NEW_TEXINFO is unnecessary now.	seb	1	-2/+1

2003-07-17	s/netbsd.org/NetBSD.org/	grant	1	-2/+2

2003-06-25	Convert to USE_NEW_TEXINFO.	seb	4	-6/+26
	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.
2003-03-31	Upgrade to 3.1, a bug-fix release. (Not much more information available	jschauma	4	-28/+27
	from the website.)
2003-03-29	Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.	jmmv	1	-2/+2

2003-01-04	Add	jschauma	1	-1/+3
	CHECK_SHLIBS=NO SHLIB_HANDLING=NO as suggested by wiz in an attempt to fix problems seen in the recent bulk-builds. (Note: I can't reproduce the problem and IIRC previous bulk- builds did not have them, either, so these fixes are very speculative.)
2002-12-26	Add a mirror	jschauma	1	-1/+2

2002-12-20	Upgrade to 3.0 (previous version was actually 3.0-beta.) -> bump	jschauma	4	-319/+83
	PKGREVISION. Also use buildlink2 and emacs.mk for simplicity.
2002-09-24	Initial import of devel/pvs into pkgsrc:	jschauma	6	-0/+1017
	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.