pkgsrc - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2006-03-20	* Nuke all references to and definitions of INFO_DIR in package Makefiles	jlam	2	-4/+4
	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.
2006-02-05	Recursive revision bump / recommended bump for gettext ABI change.	joerg	1	-1/+2

2006-01-23	Builds on DragonFly.	joerg	1	-1/+2

2005-11-11	Rename LATEX_ACCEPTED and LATEX_DEFAULT to TEX_ACCEPTED and TEX_DEFAULT	tonio	1	-2/+2
	It is more consistent with the tex.buildlink3.mk name. Also, if a package really needs latex, it just has to set TEX_ACCEPTED to latex distributions altough today, all TEX_ACCEPTED possibilities are latex distributions
2005-11-08	convert to use tex.buidllink3.mk	tonio	1	-2/+3

2005-09-28	Replaced "# defined" with "yes" in Makefile variables like GNU_CONFIGURE,	rillig	1	-2/+2
	NO_BUILD, USE_LIBTOOL.
2005-09-02	Update pvs to 3.2:	jschauma	6	-232/+122
	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
2005-08-28	Rework emacs.mk:	uebayasi	1	-1/+2
	1) Simplify the way how an emacs version is picked when no emacs is installed, but a user try to install an Emacs Lisp package. Just pick up the version set as EMACS_TYPE than searching for versions already installed etc. If the EMACS_TYPE version is not supported by the Emacs Lisp Package, just fail. EMACS_TYPE be default to GNU Emacs 21. (In other words, users should set EMACS_TYPE as they want. Otherwise GNU Emacs 21 is used.) 2) All Emacs Lisp Packages must prepend EMACS_PKGNAME_PREFIX to a) the PKGNAME itself, and b) PKGNAME in its dependency lines. EMACS_PKGNAME_PREFIX is expanded to "xemacs-" when XEmacs is used. This keeps dependency graph of Emacs-Lisp-packages- installed-for-XEmacs consistent. 3) Document EMACS_* variables as much as possible. 4) Provide more cookies for PLIST. Maybe utilized later. Note that the 2) change doesn't affect the default, GNU Emacs 21 behaviour. So no version / revision bumps in this commit.
2005-06-16	Create directories before installing files into them.	jlam	1	-1/+3

2005-04-11	Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.	tv	1	-2/+1

2005-02-23	Add RMD160 digests.	agc	1	-1/+5

2004-12-31	This package depends on x11/tk because it installs a wish script; use	minskim	1	-3/+3
	DEPENDS instead of buildlinking tk. Also relax the tk requirement so that it can be used with Tk-8.4. Bump PKGREVISION due to the dependency change.
2004-10-01	there will not be a NetBSD-1.[7-9] but will be a NetBSD-[2-9].*	grant	1	-2/+2
	adjust patterns used in ONLY_FOR_PLATFORM/NOT_FOR_PLATFORM to reflect this.
2004-05-09	Convert to buildlink3.	snj	1	-3/+3

2004-03-26	PKGREVISION bump after openssl-security-fix-update to 0.9.6m.	wiz	1	-1/+2
	Buildlink files: RECOMMENDED version changed to current version.
2004-03-22	Let ONLY_FOR_PLATFORM recognize NetBSD 2.0 and future versions.	kristerw	1	-2/+2

2004-03-08	Enable tk84 and replace x11/tk with x11/tk83. Packages compatible	minskim	1	-2/+2
	with 8.4 will be updated to depend on x11/tk after Tk update.
2004-02-16	Remove info files entries from PLIST.	seb	1	-2/+1

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.