kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang
History
jaapb c439a6bc2c Updated coq to version 8.4pl6. Changes from previous version include (apart 
from bugfixes):

- Coq compilation made possible with forthcoming ocaml 4.03.
- command for locating exists notation in refman changed.
- Various improvements of the Reference Manual (especially its html version)
- implicit arguments of local definitions fixed (possible
  source of incompatibilities).
- New command "Print Debug GC".
- Function cannot define graph.
- Optimizing compilation of pattern matching.
- Better inference of impossible cases in pattern-matching.
- Evar leak in pattern-matching compilation
- ill-typed replacement in "change ... with ...".
- unbound evars in "change ... with ...".
- wrong return clause of a match pattern in Ltac.
- cleared local hints for autounfold.
- cleared local hints for autounfold.
- lost evars in "change ... with ...".
- supporting let-ins in constructors for vm_compute
- unfortunate typo in compare_height.
- unfortunate typos in absorption lemmas over bool.
- Full support of utf8 Greek letters (block U0370) in coqdoc
2015-04-25 13:41:18 +00:00
..
a60 (pkgsrc) 2015-02-21 13:07:02 +00:00
abcl Update to ABCL 1.3.1 2014-09-12 20:29:30 +00:00
algol68g Update lang/algol68g to 2.8. Changes: bug fixes. 2015-01-04 02:08:45 +00:00
asn1c Bump for perl-5.20.0. 2014-05-29 23:35:13 +00:00
awka Add the license definition for this package 2014-09-05 00:59:12 +00:00
baci Don't call local function strtoi. 2015-01-25 13:12:54 +00:00
basic256 Revbump after updating textproc/icu 2015-04-06 08:17:13 +00:00
boomerang Revbump associated with update of lang/ocaml. 2015-01-20 14:24:34 +00:00
brandybasic Use BROKEN_ON_PLATFORM for "needs porting". 2015-01-04 03:14:00 +00:00
bwbasic
caml-light Don't force -fno-defer-pop. 2013-10-27 20:32:56 +00:00
camlp4 Revbump associated with ocaml 4.02.1 2015-01-20 15:40:14 +00:00
camlp5 Revbump associated with update of lang/ocaml. 2015-01-20 14:24:34 +00:00
ccsh Remove pkgviews: don't set PKG_INSTALLATION_TYPES in Makefiles. 2014-10-09 14:05:50 +00:00
cdl3 Remove pkgviews: don't set PKG_INSTALLATION_TYPES in Makefiles. 2014-10-09 14:05:50 +00:00
Cg-compiler Munged MAINTAINER on file copy. Fixed. 2013-06-30 14:14:10 +00:00
chicken Use PKG_SKIP_REASON for unsupported OSes 2015-01-04 09:41:11 +00:00
cim Bump for perl-5.20.0. 2014-05-29 23:35:13 +00:00
cint Use portable find constructs. 2014-09-24 23:24:39 +00:00
clang Unbreak C++ on NetBSD, by popular demand. 2015-04-07 22:05:36 +00:00
classpath Share patches with lang/classpath-gui. Fix freetype use. 2014-04-19 15:00:37 +00:00
classpath-gui Recursive revbump from x11/pixman 2014-05-05 00:47:34 +00:00
clisp Remove NOT_FOR_PLATFORM here; failing the parent package is sufficient. 2015-01-04 03:19:45 +00:00
clojure
coq Updated coq to version 8.4pl6. Changes from previous version include (apart 2015-04-25 13:41:18 +00:00
cparser Update cparser to version 0.9.14 2014-11-10 16:54:12 +00:00
cu-prolog
eag Remove pkgviews: don't set PKG_INSTALLATION_TYPES in Makefiles. 2014-10-09 14:05:50 +00:00
ecl Bump PKGREVISION for boehm-gc default-on threads, just to be on 2014-04-30 14:19:40 +00:00
eieio
elisp-manual Shorten. Note that this is the emacs21 manual and emacs22+ come with 2013-08-03 21:47:00 +00:00
elk Help config.guess/config.sub override logic. 2015-02-23 18:28:51 +00:00
embryo band-aid patch for missing fxp2f(3) on NetBSD<6. 2013-08-30 11:12:04 +00:00
erlang Add --without-odbc to CONFIGURE_ARGS when neither "iodbc" nor 2015-04-24 18:25:54 +00:00
erlang-doc Update Erlang/OTP to R16B02. 2013-10-20 18:37:49 +00:00
erlang-man Update Erlang/OTP to R16B02. 2013-10-20 18:37:49 +00:00
f2c Only install catman page if catinstall is set. 2013-09-12 13:10:19 +00:00
ficl Package requires GCC runtime. 2015-03-17 14:08:48 +00:00
focal
fort77 Bump for perl-5.20.0. 2014-05-29 23:35:13 +00:00
g95 Restrict USE_TOOLS+= perl:build to Linux. 2014-07-16 12:16:31 +00:00
gambc LLVM's correlated value propagation pass is known to require a lot of 2015-03-02 19:59:06 +00:00
gauche Remove stale HP-UX bulk build quirks 2015-02-27 14:35:01 +00:00
gawk Avoid conflict with serialize(2) system call on HP-UX. 2015-04-19 14:26:06 +00:00
gcc-aux Bump PKGREVISION. 2014-12-07 10:45:32 +00:00
gcc2 Re-Import gcc2-2.95.3nb7 as lang/gcc2 (previously lang/gcc). 2015-04-25 10:32:07 +00:00
gcc3 Fix ``Please add a line "# used by foo/bar/Makefile" here.'' warnings. 2014-10-05 16:41:05 +00:00
gcc3-c Fix build on MKGCC=no systems 2015-03-21 01:17:08 +00:00
gcc3-c++ Replace all references to _GCC_REQD with the appropriate logical value for 2014-09-06 08:20:28 +00:00
gcc3-f77 Replace all references to _GCC_REQD with the appropriate logical value for 2014-09-06 08:20:28 +00:00
gcc3-objc Replace all references to _GCC_REQD with the appropriate logical value for 2014-09-06 08:20:28 +00:00
gcc34 Remove the whitespace between $(LINKER_RPATH_FLAG) and the path. Otherwise the 2015-01-22 11:56:31 +00:00
gcc44 Replace all references to _GCC_REQD with the appropriate logical value for 2014-09-06 08:20:28 +00:00
gcc45 Set GCC_REQD+=4.4 here too as gcc-4.2 won't build it due to needing 2015-04-10 22:01:43 +00:00
gcc46 Bump PKGREVISION 2015-01-01 01:29:56 +00:00
gcc46-libs Support the override libgcc specs for the cwrappers case. 2015-02-04 14:16:23 +00:00
gcc47 Same deal here as lang/gcc48. Set GCC_REQD+=4.4, as the packages needs 2015-04-10 01:50:32 +00:00
gcc47-libs Strip libgo from the package, it is very large and useless in this context. 2015-03-12 14:57:36 +00:00
gcc48 GCC_REQD+=4.4, because 4.2 can't build it due to the package needing 2015-04-10 00:32:08 +00:00
gcc48-libs Strip libgo from the package, it is very large and useless in this context. 2015-03-12 15:01:21 +00:00
gcc49 Closes PR pkg/49548 2015-01-22 01:22:48 +00:00
gcc49-libs Support the override libgcc specs for the cwrappers case. 2015-02-04 14:16:23 +00:00
gforth Update to 0.7.3 2015-03-06 23:56:47 +00:00
ghc document ONLY_FOR_PLATFORM 2015-01-04 08:03:50 +00:00
ghc-bootstrap Bump for perl-5.20.0. 2014-05-29 23:35:13 +00:00
ghc7 needs gzip(1) during build (to unpack bundled libffi) 2015-03-17 21:15:28 +00:00
gnat-aux Bump for perl-5.20.0. 2014-05-29 23:35:13 +00:00
gnat_util Catch up to lang/gcc-aux package changes, switch to GCC 4.9.2. 2014-12-21 02:39:24 +00:00
go Add pax to USE_TOOLS. 2015-03-10 21:52:10 +00:00
gpc This is too old to support MacOS. 2014-06-29 05:08:36 +00:00
gprolog
guile Patch around gtexinfo 5.2's high-and-mighty attitude towards indiscretions. 2013-11-30 07:06:25 +00:00
guile20 Import guile20-2.0.11 as lang/guile20. 2014-11-01 13:24:37 +00:00
gwydion-dylan Use BROKEN_EXCEPT_ON_PLATFORM for this package. 2015-01-04 08:28:48 +00:00
heirloom-awk
hugs Deal with systems providing execvpe. 2014-10-14 14:04:19 +00:00
icc11 Switch from gcc48-cc++ to gcc48. 2014-11-03 10:35:33 +00:00
icon
inform Update HOMEPAGE 2015-02-21 13:25:59 +00:00
intercal
ja-gawk
jamvm Use unified asm syntax. Build with -O0 on ARM when using clang, to much 2015-03-31 15:43:34 +00:00
japhar
jasmin
java-lang-spec
java-vm-spec
jikes
jimtcl Import jimtcl-0.76 as lang/jimtcl. 2015-04-04 12:54:07 +00:00
jini Update homepage. 2015-03-14 17:58:29 +00:00
joos
js
kaffe Fix ``Please add a line "# used by foo/bar/Makefile" here.'' warnings. 2014-10-05 16:41:05 +00:00
kaffe-esound
kaffe-x11 libungif is not relevant any longer since the GIF relevant patents 2014-05-31 15:56:26 +00:00
kali Use BROKEN_ON_PLATFORM with LP64PLATFORMS. 2015-01-04 03:21:12 +00:00
konoha Revbump after updating textproc/icu 2015-04-06 08:17:13 +00:00
ksi Bump PKGREVISION for boehm-gc default-on threads, just to be on 2014-04-30 14:19:40 +00:00
libLLVM Teach the llvm shared library build rules about NetBSD so we get a single 2015-04-06 17:25:05 +00:00
libLLVM34 Teach the llvm shared library build rules about NetBSD so we get a single 2015-04-06 17:25:05 +00:00
librep needs gzip(1) during installation 2015-03-15 19:56:54 +00:00
libtcl-nothread Revbump after updating tcl/tk. 2014-01-11 14:42:00 +00:00
likepython Bump applications PKGREVISIONs for python users that might be using 2014-05-17 16:10:41 +00:00
lua -llua* is required for Cygwin build. 2015-03-05 14:15:45 +00:00
lua51 SECURITY: Add a patch for CVE-2014-5461, taken from the Debian package. 2015-03-22 17:20:24 +00:00
lua52 Update lang/lua52 to version 5.2.4. 2015-03-08 10:55:19 +00:00
lua53 Initial import of Lua 5.3.0. 2015-01-17 17:50:23 +00:00
LuaJIT document ONLY_FOR_PLATFORM 2015-01-04 08:03:50 +00:00
LuaJIT2 Don't add ldconfig to tools. Get rid of ldconfig in Makefile instead. 2015-02-27 07:51:58 +00:00
lush * .include "../../devel/readline/buildlink3.mk" with USE_GNU_READLINE=yes 2013-07-15 02:02:17 +00:00
maude Fix build with newer bison. Don't use <rope> with clang, but fall back 2013-11-29 18:30:09 +00:00
mawk Changes 1.3.4.20131226: 2014-03-13 16:35:23 +00:00
mercury Needs dvips and pdftex for build. 2015-03-22 09:53:57 +00:00
minischeme
mit-scheme-bin Fix a common mistake in many different packages: POSIX says that when using 2013-10-18 11:41:17 +00:00
mono Revbump after updating textproc/icu 2015-04-06 08:17:13 +00:00
mono-basic Revbump after updating textproc/icu 2015-04-06 08:17:13 +00:00
mono2 Revbump after updating textproc/icu 2015-04-06 08:17:13 +00:00
moscow_ml Bump for perl-5.20.0. 2014-05-29 23:35:13 +00:00
mpd
nawk Remove pkgviews: don't set PKG_INSTALLATION_TYPES in Makefiles. 2014-10-09 14:05:50 +00:00
newlisp The symlink to java is not needed anymore. 2014-07-07 14:41:09 +00:00
nhc98 Systematize 32-on-64 handling. 2015-01-04 03:26:34 +00:00
nodejs Update nodejs to 0.10.36. 2015-01-29 08:44:44 +00:00
nqp Revbump after updating textproc/icu 2015-04-06 08:17:13 +00:00
nuitka Bump applications PKGREVISIONs for python users that might be using 2014-05-17 16:10:41 +00:00
objc
ocaml Extended gdt's i386 ucontext signal handler patch to amd64. This shouldn't 2015-04-17 09:12:12 +00:00
onyx This probes for and uses libedit, but libedit isn't buildlinked. 2014-01-05 04:10:06 +00:00
oo2c Bump for perl-5.20.0. 2014-05-29 23:35:13 +00:00
open-cobol-ce
opencobol Update MASTER_SITES and HOMEPAGE. 2015-02-21 11:09:50 +00:00
openjdk7 Don't mess with __sync_*, clang disallows it this way. Failing at link 2015-03-31 15:45:40 +00:00
openjdk8 Don't mess with sync builtins, it breaks the build with Clang. 2015-03-24 14:24:38 +00:00
opensource-cobol Remove unused patch. 2015-04-16 23:13:49 +00:00
ossp-js master site seems to have reorganized itself, adjust to new link 2014-11-30 18:11:23 +00:00
p2c Redo DESTDIR support correctly. hi joerg-from-2009 :-) 2014-01-02 07:45:14 +00:00
p5-Switch Bump for perl-5.20.0. 2014-05-29 23:35:13 +00:00
parrot Revbump after updating textproc/icu 2015-04-06 08:17:13 +00:00
pcc
pcc-current update to 20141228 development snapshot. 2014-12-30 14:49:18 +00:00
pear Update these pear package included in this pacakge. 2015-03-15 00:45:19 +00:00
perl5 Update to 5.20.2, provided by Kai-Uwe Eckhardt <kuehro@gmx.de> in private 2015-02-25 14:56:45 +00:00
pfe Bump for perl-5.20.0. 2014-05-29 23:35:13 +00:00
pforth Remove flags that have been GCC's since ~forever. 2013-10-28 23:47:56 +00:00
php Update php56 to 5.6.8. 2015-04-17 16:42:43 +00:00
php54 Update php54 to 5.4.40. 2015-04-17 16:39:56 +00:00
php55 Update php55 to 5.5.24. 2015-04-17 16:40:58 +00:00
php56 Update php56 to 5.6.8. 2015-04-17 16:42:43 +00:00
picoc Use a pointer to the void type, not a enum value that turns out to be 0. 2013-12-17 23:23:38 +00:00
pict Revbump associated with update of lang/ocaml. 2015-01-20 14:24:34 +00:00
polyml Make compiler wrapper add RPATH. 2014-09-29 00:55:00 +00:00
py-basicproperty Fix build with py-setuptools-0.8. 2014-12-16 22:59:50 +00:00
py-cxfreeze Provide library path to libpython too. 2015-03-21 19:26:47 +00:00
py-hy Update to 0.10.1. No ChangeLog found. Move hy2py to hy2py${PYVERSSUFFIX} in 2014-11-09 19:31:56 +00:00
py-pyrex Mark packages that are not ready for python-3.3 also not ready for 3.4, 2014-05-09 07:36:53 +00:00
py-pythonz Mark packages that are not ready for python-3.3 also not ready for 3.4, 2014-05-09 07:36:53 +00:00
py-six Update to 1.9.0: 2015-01-04 23:44:58 +00:00
py27-html-docs Some packaging improvements. 2014-07-17 11:34:42 +00:00
py33-html-docs Import py33-html-docs-3.3.5 as lang/py33-html-docs. 2014-07-17 11:37:38 +00:00
py34-html-docs Import py34-html-docs-3.4.1 as lang/py34-html-docs. 2014-07-17 11:45:40 +00:00
python Remove more references to python-2.6. 2015-04-14 11:40:31 +00:00
python27 Add patch from: https://hg.python.org/cpython/rev/eddcb6671a48 to fix build 2015-04-24 03:01:35 +00:00
python33 Fix build with LibreSSL. From: 2015-04-24 03:24:32 +00:00
python34 Fix a MAKE_JOBS safety problem. In the recipe for Python/importlib.h it 2015-03-16 13:53:05 +00:00
qore LLVM's correlated value propagation pass is known to require a lot of 2015-03-02 19:59:06 +00:00
racket Revbump after updating textproc/icu 2015-04-06 08:17:13 +00:00
racket-textual Update of racket ports to version 6.1.1. Coordinated with asau. Changes, 2015-03-04 15:02:36 +00:00
rakudo-star Revbump after updating textproc/icu 2015-04-06 08:17:13 +00:00
rcfunge Can work with system curses 2014-03-09 11:48:15 +00:00
rexx-imc
rexx-regina
ruby Update ruby22-base and ruby22 package to 2.2.2. 2015-04-19 16:25:10 +00:00
ruby-coffee-script Update ruby-coffee-script to 2.3.0. 2015-02-03 14:36:36 +00:00
ruby-coffee-script-source Update ruby-coffee-script-source to 1.9.1. 2015-03-13 14:23:17 +00:00
ruby-doc-stdlib
ruby-execjs Update ruby-execjs to 2.4.0. 2015-03-13 14:26:36 +00:00
ruby18 Refelect change of RUBY_SRCDIR. 2014-03-13 17:06:42 +00:00
ruby18-base Add fix for CVE-2015-1426. 2015-02-16 14:03:32 +00:00
ruby21 Reset PKGREVISION. 2015-04-19 16:20:42 +00:00
ruby21-base Remove mention of MirBSD in patch description as support is there by default now 2015-04-22 19:04:35 +00:00
ruby22 Add ruby22 package which is meta package including ruby21-base, ruby22-gdbm, 2015-03-08 16:31:42 +00:00
ruby22-base Remove mention of MirBSD in patch description as support is there by default now 2015-04-22 19:04:35 +00:00
ruby193 Refelect change of RUBY_SRCDIR. 2014-03-13 17:06:42 +00:00
ruby193-base Disable CPU detection on Darwin, the result for 32-bit (i486) is incompatible 2015-04-03 08:59:08 +00:00
ruby200 Refelect change of RUBY_SRCDIR. 2014-03-13 17:06:42 +00:00
ruby200-base Update ruby200 package to 2.0.0p645 (Ruby 2.0.0-p645). 2015-04-19 16:12:23 +00:00
runawk Update to 1.6.0 2015-01-07 12:50:47 +00:00
sablevm Don't define _XOPEN_SOURCE to a bogus value on SunOS. 2014-09-25 12:55:52 +00:00
sablevm-classpath Fix ``Please add a line "# used by foo/bar/Makefile" here.'' warnings. 2014-10-05 16:41:05 +00:00
sablevm-classpath-gui Recursive revbump from x11/pixman 2014-05-05 00:47:34 +00:00
sather Rpath option should get the path directly. 2015-03-31 15:46:41 +00:00
sbcl Avoid hardcoded ggrep on SunOS. 2015-03-17 14:23:34 +00:00
scala Upgrade to 2.11.6 from 2.11.1. 2015-04-07 14:21:43 +00:00
scheme48 Remove alpha restriction from 1998 - even if it had 'severe' problems 2015-01-04 03:31:07 +00:00
scm Add network libs on SunOS 2014-02-08 23:39:55 +00:00
see Use __sparc instead of __sparc__ as per pkglint, mentioned by 2015-03-18 17:46:31 +00:00
sigscheme just for fun to modularize uim package, but that's all, useless for me. 2014-09-28 03:18:07 +00:00
siod Disable check-libs, this package unpacks directly into WRKDIR so falls 2014-07-25 15:21:39 +00:00
smalltalk Revbump after updating textproc/icu 2015-04-06 08:17:13 +00:00
smlnj Preliminary hacks for building this with -m32 on amd64 NetBSD. 2015-04-22 07:41:38 +00:00
snobol fix path in snobol post-build target 2014-09-20 18:13:29 +00:00
spidermonkey Add MirBSD. 2015-04-02 14:40:32 +00:00
spl Revbump after updating textproc/icu 2015-04-06 08:17:13 +00:00
squeak Update to Squeak 4.4 2014-12-15 02:11:06 +00:00
squeak-vm Do not include <sys/uuid.h> and other uuid.h. 2015-03-15 00:41:34 +00:00
sr
sr-examples
stalin Remove NOT_FOR_BULK_PLATFORM for SunOS, it builds in under 10 minutes 2014-09-25 09:32:38 +00:00
STk Update HOMEPAGE. 2013-06-16 11:47:13 +00:00
sun-jdk6 Fix SunOS PLISTs. Please try to keep them in sync when you change this 2013-12-13 11:10:20 +00:00
sun-jdk7 Update to 7.0.72 2014-11-15 21:01:26 +00:00
sun-jre6
sun-jre7 Update to 7.0.72 2014-11-15 21:01:26 +00:00
swi-prolog
swi-prolog-jpl Add swi-prolog-jpl version 6.6.5 2014-05-28 10:33:00 +00:00
swi-prolog-lite Update following packages to 6.6.6 2015-02-21 14:09:50 +00:00
swi-prolog-packages Update to 6.6.5 2014-05-28 10:29:12 +00:00
tcl Honour LDFLAGS. Fixes cwrapper build with non-builtin zlib. 2015-03-16 13:30:02 +00:00
tcl-expect Set USE_GCC_RUNTIME=yes for packages which build shared libraries but do 2014-03-13 11:08:49 +00:00
tcl-otcl Remove pkgviews: don't set PKG_INSTALLATION_TYPES in Makefiles. 2014-10-09 14:05:50 +00:00
tcl85 include pthread.bl3.mk under pthread option 2015-03-12 14:29:28 +00:00
tinyscheme fix the location of the init file for tinyscheme 2014-04-29 19:18:16 +00:00
ucblogo Fix format string, some missing prototypes and the check for signal 2013-07-18 12:05:09 +00:00
umb-scheme Fix build on FreeBSD. 2014-05-12 22:16:54 +00:00
utilisp
vala Update to 0.28.0: 2015-04-03 07:38:17 +00:00
vscm
vslisp
wsbasic
yabasic Update to 2.767 2014-04-11 15:24:34 +00:00
yap wants to link with pthreads 2015-03-15 14:47:36 +00:00
Makefile Finish move of lang/gcc to lang/gcc2. 2015-04-25 10:33:29 +00:00