nixpkgs/pkgs/development/compilers
Andres Löh 7f71e44d8e Fix sha256 sums for ghc-6.12.1 binaries.
svn path=/nixpkgs/trunk/; revision=28165
2011-08-05 11:03:16 +00:00
..
abc * Remove calls to fail(). 2008-04-23 07:34:20 +00:00
adobe-flex-sdk * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
Agda-executable Added Agda-executable. 2011-04-07 12:10:38 +00:00
aspectj Metadata 2010-09-27 11:19:31 +00:00
bigloo Bigloo: Add meta.maintainers' and meta.platforms'. 2010-03-01 17:08:16 +00:00
ccl Added Clozure CL 2010-02-24 09:04:29 +00:00
clean Add Concurrent Clean to NixPkgs. 2010-12-25 15:13:07 +00:00
cmucl Add CMUCL Common Lisp compiler 2010-11-08 08:58:50 +00:00
dev86 * Get dev86 to compile. Apparantly it has trouble with the latest 2010-12-22 18:34:21 +00:00
ecl * Get rid of those annoying "not an attrSet" trace messages. 2011-05-04 12:43:31 +00:00
ehc Updated the expression for EHC/UHC. 2010-04-29 17:35:09 +00:00
epic Updated epic. 2011-04-07 07:47:22 +00:00
eql Alleviate race condition: give Xvfb 10 seconds to start up. I hate the fact that EQL build even needs it, but it does run a Qt application to generate some file 2010-12-17 10:59:09 +00:00
flapjax Update flapjax compiler to the latest release, version 2.1 2011-03-11 16:49:56 +00:00
fpc Update Lazarus 2011-05-25 09:04:54 +00:00
gambit Update Gambit 2011-04-13 06:31:45 +00:00
gcc-2.95 * Got rid of a lot of "postInstall=postInstall" and similar lines in 2009-04-23 13:31:10 +00:00
gcc-3.3 * Got rid of a lot of "postInstall=postInstall" and similar lines in 2009-04-23 13:31:10 +00:00
gcc-3.4 * Got rid of a lot of "postInstall=postInstall" and similar lines in 2009-04-23 13:31:10 +00:00
gcc-4.0 * Got rid of a lot of "postInstall=postInstall" and similar lines in 2009-04-23 13:31:10 +00:00
gcc-4.1 make gcc 4.1 compile 2011-08-02 16:02:53 +00:00
gcc-4.2 * Got rid of a lot of "postInstall=postInstall" and similar lines in 2009-04-23 13:31:10 +00:00
gcc-4.3 Fixing ghdl build (its Makefiles cannot stand enableParallelBuild) 2010-11-12 21:04:19 +00:00
gcc-4.4 Add support for the new Go frontend to GCC 4.6.0. 2011-04-02 15:21:36 +00:00
gcc-4.5 Fixing the gcc postPatch, for the static stage of the cross-compiler 2010-12-20 17:35:34 +00:00
gcc-4.6 GCC 4.6: Don't assume `$NIX_GCC/nix-support/orig-libc' exists. 2011-07-22 14:44:28 +00:00
gcc-apple Enable parallel building of gcc, glibc, gmp, mpfr, ncurses, coreutils, perl, python, git, and qt4. 2010-08-08 18:51:42 +00:00
gcc-apple64 Enable parallel building of gcc, glibc, gmp, mpfr, ncurses, coreutils, perl, python, git, and qt4. 2010-08-08 18:51:42 +00:00
gcc-upc-4.0 * Got rid of a lot of "postInstall=postInstall" and similar lines in 2009-04-23 13:31:10 +00:00
gcl Try appeasing Hydra with correct platform specification outside of assert 2010-08-03 10:55:32 +00:00
ghc Fix sha256 sums for ghc-6.12.1 binaries. 2011-08-05 11:03:16 +00:00
gnatboot The fix in r19516 made evident an error in the gnatboot expression, about 2010-01-18 23:28:58 +00:00
go * Get rid of the ugly `useFromStdenv' hack in all-packages.nix. 2010-08-06 10:34:34 +00:00
gprolog gprolog: add myself as maintainer 2011-07-07 21:05:02 +00:00
gwt Increased the heap size of the GWT compiler to 256 MiB 2009-11-20 11:37:11 +00:00
gwydion-dylan * Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl 2007-08-24 12:32:36 +00:00
haxe reverting my patch series adding -j -l support for make 2010-06-19 15:52:28 +00:00
helium * "." -> "source". 2005-12-05 14:11:09 +00:00
hugs * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
iasl Fixing the name of iasl. 2009-04-16 07:19:31 +00:00
idris Updated the Idris compiler. 2010-09-29 19:24:29 +00:00
ikarus Ikarus: Update URLs. 2010-03-01 17:08:21 +00:00
jdk update jdk to jdk-1.6.0_24 2011-04-15 07:56:09 +00:00
jikes * Rewrite all the SourceForge URLs to mirror://sourceforge/. 2007-08-27 13:01:33 +00:00
llvm Missing files 2011-08-03 08:38:34 +00:00
meta-environment/meta-build-env removed metaBuildEnvTrunk, not necessary any more 2009-04-07 13:57:26 +00:00
mit-scheme GNU/MIT Scheme: Restrict to GNU/* and FreeBSD. 2010-04-24 21:03:00 +00:00
mlton Add package mlton, an optimizing compiler for Standard ML. 2010-08-24 08:23:16 +00:00
mono Updating mono from 2.6 to 2.8 2010-11-07 21:25:28 +00:00
mozart Added mozart system (compiles, but untested). 2009-12-29 14:57:01 +00:00
nasm Updating nasm (the old url did not work) 2010-09-01 08:34:19 +00:00
neko * More cleanup. 2010-07-28 15:35:01 +00:00
ocaml Add platforms to OCaml 3.12.0 2011-05-24 18:05:05 +00:00
opencxx * Rewrite all the SourceForge URLs to mirror://sourceforge/. 2007-08-27 13:01:33 +00:00
openjdk openjre: Call the derivation openjre instead of openjdk 2011-08-01 18:48:10 +00:00
openjdk-darwin added openjdk for darwin (binaries) for testing 2009-10-02 12:12:23 +00:00
pakcs Add the PAKCS (Portland Aachen Kiel Curry System) Curry compiler to Nixpkgs. 2011-03-24 19:22:30 +00:00
path64 * Get rid of the ugly `useFromStdenv' hack in all-packages.nix. 2010-08-06 10:34:34 +00:00
polyml Update PolyML to version 5.4 2011-05-13 15:55:05 +00:00
qcmm * Get rid of all references to nix.cs.uu.nl. 2008-11-14 16:57:19 +00:00
qi * ltrace: updated to 0.5.3. 2010-07-29 18:55:16 +00:00
roadsend * Fix some more "args: with args". 2010-07-30 14:47:23 +00:00
sbcl Update SBCL 2011-08-02 18:52:00 +00:00
scala Bumped scala to version 2.8.1 2011-04-15 09:11:49 +00:00
stalin Stalin: Add dependency on ncompress. 2010-03-17 14:44:46 +00:00
strategoxt update strategoxt to 1.8pre21839 2011-04-06 11:02:41 +00:00
swi-prolog Fix SWI-Prolog build 2011-03-17 22:09:22 +00:00
tiger * "." -> "source". 2005-12-05 14:11:09 +00:00
tinycc Fix tarball evaluation 2010-10-15 17:27:54 +00:00
urweb Update version of urweb compiler. 2011-07-15 18:54:43 +00:00
vala Update Vala 2010-11-15 06:16:41 +00:00
visual-c++ * Microsoft Windows SDK, purified. Small problem: building the SDK 2006-06-05 22:03:52 +00:00
vs90wrapper Added my very experimental Visual Studio build stuff. You should be even more brave to use this 2010-06-15 11:32:19 +00:00
webdsl Change which corrected a failing build of webdsl on a 64 bit Linux. 2011-04-08 06:20:34 +00:00
yap * Improved a bunch of "name" attributes (mostly missing version 2009-10-28 14:06:56 +00:00
yasm Update YASM 2011-06-16 05:55:47 +00:00