pkgsrc - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2007-09-05	Fix version.	joerg	1	-3/+2

2006-09-09	Rename variable MAKEFILE to MAKE_FILE.	obache	1	-2/+2

2006-05-02	Add:	gdt	1	-1/+2
	LICENSE= generic-nonlicense
2006-04-05	* List info files directly in the PLIST and honor PKGINFODIR.	jlam	2	-26/+24
	* Centralize directory creation during do-install in INSTALLATION_DIRS. * Don't install .orig files. Fix PLIST problems if using xemacs instead of emacs. Bump PKGREVISION to 4 for PLIST changes.
2006-02-05	Recursive revision bump / recommended bump for gettext ABI change.	joerg	1	-2/+2

2005-12-08	Bumped the PKGREVISION of the packages that have been broken by the recent	rillig	1	-2/+2
	"pkglint --autofix" change.
2005-08-28	Rework emacs.mk:	uebayasi	1	-2/+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-02-24	Add RMD160 digests	agc	1	-1/+2

2004-12-03	Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs.	wiz	1	-2/+2
	Suggested by Roland Illig, ok'd by various.
2004-03-07	Remove info files entries from PLIST.	seb	1	-7/+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-07	Install documentation in pkgsrc canonical directories.	seb	4	-40/+66
	Add directory entry to twelf.info via patch file. Avoid patch backup files to be installed. Convert to USE_NEW_TEXINFO. Bump PKGREVISION.
2003-03-29	Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.	jmmv	1	-2/+2

2003-03-21	Use smlnj's Makefile.common for platform support checks.	wiz	1	-22/+2

2003-03-21	sml-nj renamed to smlnj.	wiz	1	-3/+3

2003-01-22	Initial import of twelf-1.4 as contributed by Christopher Richards in	kristerw	7	-0/+562
	PR 18497. From http://www.twelf.org, heavily edited: Twelf is a research project concerned with the design, implementation, and application of logical frameworks. It provides a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics. Example suites include Cartesian Closed Categories and lambda-calculus, the Church-Rosser theorem for the untyped lambda-calculus, Mini-ML including type preservation and compilation, cut elimination, theory of logic programming, and Hilbert's deduction theorem. The principal authors of Twelf are Frank Pfenning and Carsten Schuermann, with major contrubtions by Brigitte Pientka, Roberto Virga, and Kevin Watkins.