pkgsrc - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2007-08-22	Convert to use the emulator framework and properly support the	jlam	8	-64/+83
	"solaris-sparc" emulation so that NetBSD/sparc and NetBSD/sparc64 and use this package.
2007-02-22	Whitespace cleanup, courtesy of pkglint.	wiz	1	-5/+5
	Patch provided by Sergey Svishchev in private mail.
2006-08-10	Remove teTeX2 from TEX_ACCEPTED, because the teTeX2 packages will be removed	minskim	1	-2/+2
	shortly.
2006-05-22	Move the check-shlibs target from bsd.pkg.mk to bsd.pkg.check.mk where	jlam	1	-3/+2
	it will live with other "check" targets run after package installation. Get rid of SHLIB_HANDLING, whose meaning had mutated over the years from one thing to another. Currently, it is used to basically note whether the system's "ldd" command can be usefully run on the package's binaries and libraries. Rename this variable to CHECK_SHLIBS_SUPPORTED for more clarity. CHECK_SHLIBS is now a variable set exclusively by the user in /etc/mk.conf to note whether the check for missing run-time search paths is performed after a package is installed. It defaults to "no" unless PKG_DEVELOPER is set.
2006-05-13	Remove references to teTeX1.	minskim	1	-2/+2

2006-04-22	Removed the superfluous "quotes" and 'quotes' from variables that don't	rillig	1	-2/+2
	need them, for example RESTRICTED and SUBST_MESSAGE.*.
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.