kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang
History
tonio 2b5269ef60 Update lang/coq to 8.2pl2 
As camlp5 is required with ocaml 3.10, bring it as a dependency anyway,
instead of requiring ocaml 3.10

Changes include:
* Installation
- Support for compilation with ocaml 3.10 and (transitional) camlp5.
- Many bugs have been fixed (cf coq-bugs web page)
- All known failures of ROmega have been fixed. It should now be a
  faithful and quicker replacement for Omega (except when nat parts
  are involved). ROmega and Omega now handle <->.
- Better computational behavior of some constants (eq_nat_dec and
  le_lt_dec more efficient, Z_lt_le_dec and Positive_as_OT.compare
  transparent) [exceptionally source of incompatibilities].
- Loading FSets/FMap used to open unwanted scopes of integer datatypes
  (see bug #1347). These scopes may need to be manually opened now.
2007-12-01 13:05:36 +00:00
..
a60 Whitespace cleanup, courtesy of pkglint. 2007-02-22 19:26:05 +00:00
awka Fixed typo. 2007-08-18 06:03:14 +00:00
baci Don't use malloc.h. Kill some stupid prototypes that are part of ISO C 2007-08-01 20:40:42 +00:00
blackdown-jdk13 Don't bother stating that we need COMPAT_LINUX, as the packages we 2007-08-22 14:49:21 +00:00
blackdown-jre13 Allow a nicer syntax for expressing needing at least a certain version 2007-08-23 18:20:30 +00:00
brandybasic Not for Solaris. 2007-11-20 22:11:50 +00:00
bwbasic Mechanically replaced man/* with ${PKGMANDIR}/* in the definition of 2007-01-07 09:13:46 +00:00
caml-light Fixed the installation for unprivileged users. 2007-02-15 14:33:56 +00:00
camlp5 Add lang/camlp5 version 5.01 2007-12-01 12:56:04 +00:00
ccsh Removed the superfluous "quotes" and 'quotes' from variables that don't 2006-04-22 09:22:05 +00:00
cdl3 Update cdl3 to 1.2.7. 2007-03-18 15:12:37 +00:00
Cg-compiler Allow a nicer syntax for expressing needing at least a certain version 2007-08-23 18:20:30 +00:00
chicken Update chicken to 2.60, aka 2.6. 2007-04-17 15:03:30 +00:00
cim Fixed invalid lvalue. 2007-11-30 20:30:22 +00:00
cint Fixed "test ==". 2006-11-09 11:12:06 +00:00
classpath Needs lots of memory to build -- set UNLIMIT_RESOURCES+=datasize. 2007-05-19 14:07:49 +00:00
classpath-gui Fix paths for GConf, libglade, libart, libsigc++, lablgtk moves. 2007-09-21 13:03:25 +00:00
clisp Make it build on NetBSD-current again: use a private malloc implementation 2007-11-23 21:59:44 +00:00
coq Update lang/coq to 8.2pl2 2007-12-01 13:05:36 +00:00
cu-prolog Fixed invalid lvalue. 2007-10-13 12:36:14 +00:00
drscheme Remove morpheus.wish.com.mx from MASTER_SITES, doesn't resolve. 2007-11-11 23:52:49 +00:00
eag Update maintainer email, from PR 35935. 2007-03-06 20:32:14 +00:00
eieio Initial addition of buildlink3.mk fragments for EmacsLisp packages. 2007-10-29 12:41:16 +00:00
elisp-manual Note conflict with emacs22 which now has the manual bundled. 2007-06-15 01:44:21 +00:00
elk Mark as DESTDIR save and fix modular Xorg build. 2007-08-17 22:27:15 +00:00
erlang Make the port program memsup build again. This way, PLIST is correct, so 2007-10-30 14:02:15 +00:00
erlang-doc Fix dependency on erlang. 2007-08-03 23:48:56 +00:00
erlang-man Fix dependency on erlang. 2007-08-03 23:48:56 +00:00
ezm3 s/PRIVILEGED_STAGE/PRIVILEGED_STAGES/g as it could refer to multiple 2007-07-02 20:24:27 +00:00
f2c Back out previous. Pointed out by uebayasi@ and martti@. 2007-09-25 10:03:52 +00:00
focal Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no 2006-03-04 21:28:51 +00:00
fort77 Updated fort77 to 1.18. No ChangeLog available. 2007-11-02 09:17:33 +00:00
g95 The distfile of the current release of g95 was constantly changing, 2006-12-07 14:49:39 +00:00
gauche Added MAKE_JOBS_SAFE as suggested in PR 36736. 2007-11-03 22:36:49 +00:00
gawk Changes 3.1.6: 2007-11-02 07:17:59 +00:00
gcc Can't work on DragonFly due to missing TLS support. 2007-06-12 20:10:17 +00:00
gcc-ssp Doesn't support TLS and is therefore pretty much useless on DragonFly. 2007-06-12 22:00:39 +00:00
gcc3 Properly fixed the problem of an uninitialized variable, which has been 2007-11-03 17:16:37 +00:00
gcc3-ada Renamed BUILDLINK_TRANSFORM.* to BUILDLINK_FNAME_TRANSFORM.*, to make 2007-01-17 03:11:18 +00:00
gcc3-c Move code that generates a dynamic PLIST from the {pre,do,post}-install 2007-10-25 21:04:21 +00:00
gcc3-c++ Replace mk/bsd.prefs.mk includes with bsd.fast.prefs.mk includes. 2006-12-12 21:52:34 +00:00
gcc3-f77 Replace mk/bsd.prefs.mk includes with bsd.fast.prefs.mk includes. 2006-12-12 21:52:34 +00:00
gcc3-java Replace mk/bsd.prefs.mk includes with bsd.fast.prefs.mk includes. 2006-12-12 21:52:34 +00:00
gcc3-objc Replace mk/bsd.prefs.mk includes with bsd.fast.prefs.mk includes. 2006-12-12 21:52:34 +00:00
gcc34 Move code that generates a dynamic PLIST from the {pre,do,post}-install 2007-10-25 21:04:21 +00:00
gcc34-ada Remove trailing spaces. 2007-10-09 19:19:08 +00:00
gforth share/emacs/site-lisp now exists by default -- don't try to remove it. 2007-02-20 19:04:10 +00:00
ghc Matt Fleming said on tech-pkg that this package builds and installs find 2007-08-18 23:39:26 +00:00
gpc pkglint cleanup; update HOMEPAGE/MASTER_SITES. 2007-02-22 19:01:13 +00:00
gprolog Updated gprolog to 1.3.0. 2007-12-01 12:27:59 +00:00
guile Remove trailing spaces. 2007-10-09 19:19:08 +00:00
guile16 make sure guile can find its loadable modules 2007-06-25 21:36:18 +00:00
gwydion-dylan Fixed building with newer versions of boehm-gc, which doesn't provide 2007-11-05 07:14:51 +00:00
hugs Update the hugs additional modules (hugs-HUnit, hugs-unix and hugs-HaXml) 2007-03-07 12:51:16 +00:00
icon Modular Xorg support. 2007-02-19 11:45:30 +00:00
inform Update to 6.31.1: 2006-07-27 06:50:36 +00:00
intercal USE_TOOLS+=lex 2006-06-21 18:33:14 +00:00
ja-gawk USE_TOOLS+=yacc 2006-06-09 16:13:47 +00:00
jamvm Updated jamvm to 1.4.5. 2007-06-05 14:08:43 +00:00
japhar Drop support for LTCONFIG_OVERRIDE. For quite a long time, pkgsrc 2006-07-19 19:14:37 +00:00
jasmin Joerg, could you please read the chmod(1) man page before making 2007-12-01 11:29:15 +00:00
java-lang-spec The documentation files are installed in share/doc instead of 2006-04-13 00:47:19 +00:00
java-vm-spec Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no 2006-03-04 21:28:51 +00:00
jbuilder-jit Whitespace cleanup, courtesy of pkglint. 2007-02-22 19:26:05 +00:00
jdk Per Juan RP, use pkgsrc-users@ as MAINTAINER of unmaintained pkgs. 2007-03-21 19:44:10 +00:00
jdk-openjit give away to pkgsrc-users 2007-03-19 16:36:41 +00:00
jikes Supports DESTDIR. 2007-11-08 18:19:24 +00:00
jini MAINTAINER -> pkgsrc-users 2007-11-30 20:54:05 +00:00
joos Add forgotten patch to kill malloc.h. 2007-08-08 21:43:35 +00:00
js Fixed gcc4 error messages. Patch provided by Aleksey Cheusov in private 2007-05-01 11:07:45 +00:00
kaffe Enable NLS. 2007-07-10 21:16:43 +00:00
kaffe-esound Fix build with recent kaffe changes: 2006-05-16 19:11:33 +00:00
kaffe-x11 Fix paths for GConf, libglade, libart, libsigc++, lablgtk moves. 2007-09-21 13:03:25 +00:00
kali Phoning home is considered really rude nowadays, especially when you 2007-06-17 15:38:54 +00:00
ksi List the info files directly in the PLIST, and honor PKGINFODIR and 2006-04-05 06:27:41 +00:00
librep librep-0.17nb3: Bring in a couple of bugfixes from GNOME svn. 2007-05-07 12:42:19 +00:00
libtcl-nothread "BUILD_ENV" was misnamed. It's actually the environment that is passed 2006-07-21 14:27:56 +00:00
lua Override /usr/local as LUA_ROOT and ensure that the default search path 2007-07-02 13:36:38 +00:00
lush No need to include x11.b3.mk directly. 2007-02-19 18:20:48 +00:00
maude Retire propolice hack on DragonFly as the system compiler was fixed 2007-02-19 22:10:42 +00:00
mawk Set MAKE_JOBS_SAFE=no, per Francois Tigeot in PR 36801 2007-08-22 16:03:58 +00:00
mercury share/emacs/site-lisp now exists by default -- don't try to remove it. 2007-02-20 19:04:10 +00:00
minischeme Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no 2006-03-04 21:28:51 +00:00
mit-scheme-bin * Add new emulator framework in pkgsrc/mk/emulator that handles all 2007-07-29 05:18:36 +00:00
mono apply a patch from Debian for CVE-2007-5197: 2007-11-05 11:28:50 +00:00
moscow_ml Whitespace cleanup, courtesy of pkglint. 2007-02-22 19:26:05 +00:00
mpd Convert to xorg. 2007-03-25 09:48:13 +00:00
mzscheme add MAKE_JOBS_SAFE=no 2007-08-10 08:25:58 +00:00
nawk Rename "makefile" to "makefile.orig" to avoid case-insensitive 2007-05-27 09:55:53 +00:00
nhc98 Recursive revision bump / recommended bump for gettext ABI change. 2006-02-05 23:08:03 +00:00
objc Rename variable MAKEFILE to MAKE_FILE. 2006-09-09 02:41:53 +00:00
ocaml Added MAKE_JOBS_SAFE as suggested in PR 37234. 2007-11-03 22:38:12 +00:00
ocamlduce OCamlDuce is an enhancement to OCaml that allows one to use XML features, 2007-04-08 23:04:53 +00:00
onyx Removed ONLY_FOR_PLATFORM, which was meant to exclude very early NetBSD 2007-11-07 07:40:19 +00:00
oo2c Prepare for switching to NO_MTREE=yes. 2007-03-24 19:21:18 +00:00
opencobol Added support for BDB185_DEFAULT=db4, from David A. Holland, via PR 35417. 2007-01-14 15:19:04 +00:00
p2c Whitespace cleanup, courtesy of pkglint. 2007-02-22 19:26:05 +00:00
parrot Update parrot to 0.4.11. 2007-04-20 14:01:00 +00:00
pcc Added MAKE_JOBS_SAFE as suggested in PR 37242. 2007-11-03 22:38:48 +00:00
pear remove ${WRKSRC}/INSTALL before creating ${WRKSRC}/install, so that this would 2007-09-05 19:46:55 +00:00
perl5 Properly fix the problem that 1.40 addressed. PERL5_REQD should be 2007-11-21 22:49:45 +00:00
pforth Rename variable MAKEFILE to MAKE_FILE. 2006-09-09 02:41:53 +00:00
php Clarified the comment that no dependency is added by this file. 2007-10-11 08:51:43 +00:00
php5 Update to 5.2.5 2007-11-23 13:20:00 +00:00
pnet Change the format of BUILDLINK_ORDER to contain depth information as well, 2006-07-08 23:10:35 +00:00
pnetC Change the format of BUILDLINK_ORDER to contain depth information as well, 2006-07-08 23:10:35 +00:00
pnetlib Modular Xorg uspport. 2007-02-15 14:34:58 +00:00
pnetlib-nox11 libXsharpSupport.la is always installed, but a stub lib in the -nox11 2006-04-12 20:50:56 +00:00
py-basicproperty Update MASTER_SITES and/or HOMEPAGE, from Sergey Svishchev. 2006-10-04 21:46:12 +00:00
py-funge Whitespace cleanup, courtesy of pkglint. 2007-02-22 19:26:05 +00:00
py-html-docs
py-psyco Whitespace cleanup, courtesy of pkglint. 2007-02-22 19:26:05 +00:00
py-pyrex The package supports installation to DESTDIR. 2007-07-01 15:58:37 +00:00
py21-html-docs
py22-html-docs
py23-html-docs Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no 2006-03-04 21:28:51 +00:00
py24-html-docs DESTDIR support. 2006-11-14 21:58:46 +00:00
python With the advent of Apache module prefixes the Python package prefix 2007-10-31 00:59:52 +00:00
python15 Whitespace cleanup, courtesy of pkglint. 2007-02-22 19:26:05 +00:00
python20 -make this build with NetBSD's version of mremap(2) 2007-07-24 16:53:20 +00:00
python21 Fixed mremap on NetBSD. 2007-10-10 11:15:13 +00:00
python22 Fixed mremap on NetBSD. 2007-10-10 11:15:13 +00:00
python23 Fixed mremap on NetBSD. 2007-10-10 11:15:13 +00:00
python23-nth Whitespace cleanup, courtesy of pkglint. 2007-02-22 19:26:05 +00:00
python24 Don't force su-clean on DESTDIR users. 2007-10-28 15:30:44 +00:00
rexx-imc Prepare for switching to NO_MTREE=yes. 2007-03-24 19:21:18 +00:00
rexx-regina Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no 2006-03-04 21:28:51 +00:00
ruby Move code that generates a dynamic PLIST from the {pre,do,post}-install 2007-10-25 21:04:21 +00:00
ruby-doc-stdlib
ruby18 * If PLIST_SRC is explicitly set to an empty value in a package Makefile, 2007-10-25 22:00:39 +00:00
ruby18-base fix build on Solaris w/ sunpro: 2007-11-05 01:09:23 +00:00
sablevm Precreate the jre directory, otherwise parts of the installation silently 2007-06-13 14:25:49 +00:00
sablevm-classpath Whitespace cleanup, courtesy of pkglint. 2007-02-22 19:26:05 +00:00
sablevm-classpath-gui Fix paths for GConf, libglade, libart, libsigc++, lablgtk moves. 2007-09-21 13:03:25 +00:00
sather Use "ln -s" instead of "cp -r" for making DragonFly equivalent to 2007-11-28 07:37:46 +00:00
sbcl Update to 1.0.11. Lots of bugfixes, new features, etc. I expect 2007-11-07 17:34:18 +00:00
scheme48 Update scheme48 to 1.6. 2007-06-09 06:59:03 +00:00
scm Update scm to 5.5.3 a.k.a 5e3. 2007-08-02 14:47:24 +00:00
scsl-jdk15 * Convert to use the pkgsrc emulator framework. This allows NetBSD/amd64 2007-08-30 17:52:48 +00:00
scsl-jre15 X11BASE is suituable for PREFIX if X11_TYPE==native. 2007-09-15 10:59:40 +00:00
siod Rename variable MAKEFILE to MAKE_FILE. 2006-09-09 02:41:53 +00:00
smalleiffel Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no 2006-03-04 21:28:51 +00:00
smalltalk Fixed build error. 2007-09-03 16:28:56 +00:00
SmartEiffel Sorted PLIST. 2006-04-13 00:50:05 +00:00
smlnj Fixed group-writable files. PKGREVISION++ 2007-01-23 06:08:31 +00:00
snobol Update HOMEPAGE, old url is not available anymore. 2007-10-01 08:39:53 +00:00
spidermonkey Add missing RCS id. 2007-09-25 03:13:01 +00:00
spl Update spl to 1.0pre3. 2007-03-17 08:45:03 +00:00
squeak Modular Xorg and DESTDIR support. 2007-08-17 22:13:56 +00:00
sr Cleaned up the package. The only functional change is that the man/man3 2007-12-01 12:49:05 +00:00
sr-examples pax(1), like tar(1), likes to strip leading slashes from pathnames. So the 2006-02-17 18:40:33 +00:00
stalin Fixed build problem reported by Aleksej Saushev in PR 37019. 2007-09-23 15:30:23 +00:00
STk Whitespace cleanup, courtesy of pkglint. 2007-02-22 19:26:05 +00:00
sun-jdk6 Don't bother stating that we need COMPAT_LINUX, as the packages we 2007-08-22 14:49:21 +00:00
sun-jdk13 Fix error that happened during conversion to the emulator framework: 2007-08-22 14:03:47 +00:00
sun-jdk14 Don't bother stating that we need COMPAT_LINUX, as the packages we 2007-08-22 14:49:21 +00:00
sun-jdk15 Add checksums for the Linux AMD64 JDK 5 update 12. 2007-08-24 16:08:49 +00:00
sun-jre6 If running native Linux, fail to install if the X11 libraries aren't 2007-08-27 21:51:22 +00:00
sun-jre13 Fix error that happened during conversion to the emulator framework: 2007-08-22 14:03:47 +00:00
sun-jre14 If running native Linux, fail to install if the X11 libraries aren't 2007-08-27 21:51:22 +00:00
sun-jre15 If running native Linux, fail to install if the X11 libraries aren't 2007-08-27 21:51:22 +00:00
swi-prolog * If PLIST_SRC is explicitly set to an empty value in a package Makefile, 2007-10-25 22:00:39 +00:00
swi-prolog-lite There is a bash script in the package. PKGREVISION++ 2007-11-07 11:16:48 +00:00
swi-prolog-packages Just adding gmp as a dependency unbreaks the package. 2007-10-13 09:39:11 +00:00
tcl Changes 8.4.16: 2007-10-13 11:41:33 +00:00
tcl-expect Whitespace cleanup, courtesy of pkglint. 2007-02-22 19:26:05 +00:00
tcl-itcl Change the format of BUILDLINK_ORDER to contain depth information as well, 2006-07-08 23:10:35 +00:00
tcl-itcl-current Modular Xorg support. 2007-02-19 19:50:27 +00:00
tcl-otcl Update tcl-otcl to 1.13. 2007-04-26 15:28:42 +00:00
tcl-tclX Mechanically replaced man/* with ${PKGMANDIR}/* in the definition of 2007-01-07 09:13:46 +00:00
tcl83 Fix shell bugs, pointed out by cube@. This makes this package build on Linux. 2007-10-27 15:16:52 +00:00
tinyscheme Prepare for switching to NO_MTREE=yes. 2007-03-24 19:21:18 +00:00
tk-expect Whitespace cleanup, courtesy of pkglint. 2007-02-22 19:26:05 +00:00
tk-tclX Mechanically replaced man/* with ${PKGMANDIR}/* in the definition of 2007-01-07 09:13:46 +00:00
twelf Fix version. 2007-09-05 01:06:07 +00:00
ucblogo Modular Xorg support. 2007-02-19 19:51:17 +00:00
umb-scheme Mechanically replaced man/* with ${PKGMANDIR}/* in the definition of 2007-01-07 09:13:46 +00:00
utilisp Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no 2006-03-04 21:28:51 +00:00
vscm Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no 2006-03-04 21:28:51 +00:00
vslisp Drop support for LTCONFIG_OVERRIDE. For quite a long time, pkgsrc 2006-07-19 19:14:37 +00:00
wsbasic Uses C++. 2006-06-01 21:02:01 +00:00
yabasic Modular Xorg support. 2007-02-19 20:18:25 +00:00
yap Add DragonFly support. 2006-01-11 18:35:19 +00:00
Makefile enable camlp5 2007-12-01 12:57:31 +00:00