mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 14:41:17 +00:00
Code Issues Wiki Activity
29204 commits 233 branches 124 tags 7 GiB
Commit graph

1520 commits

Author SHA1 Message Date
Eelco Dolstra a5606a1d9a pakcs: Disable in Hydra because the build doesn't terminate 
It appears to loop saying:

ERROR: load_files/2: No permission to load source `/tmp/nix-build-pakcs-1.10.0.drv-1/pakcs/lib/.curry/pakcs/Prelude.pl' (Non-module file already loaded into module prologbasics; trying to load into user)

http://hydra.nixos.org/build/4760096
 2013-04-26 11:09:13 +02:00
Peter Simons cd470bc296 idris: drop obsolete package, it doesn't compile anywhere 2013-04-24 13:21:05 +02:00
Peter Simons e0b57c9fb9 ghc: bump HEAD compiler to version 7.7 2013-04-24 13:21:05 +02:00
Vladimír Čunát bde20f3e88 Merge branch 'master' into x-updates 
Conflicts (just taken x-updates):
	pkgs/servers/x11/xorg/overrides.nix
 2013-04-24 06:29:09 +00:00
Michael Raskin b98ece6bc2 Auto-update some packages; no early build failures (SBCL and Wine not yet fully built) 2013-04-23 09:15:48 +04:00
Peter Simons fdf1d45a38 ghc: add version 7.6.3 (and a corresponding package set) 2013-04-21 20:10:27 +02:00
Patrick John Wheeler 3bf0d2b960 ghc-wrapper: install the GHC documentation into the user's profile 
The freaky implementation was done that way in order to avoid unnecessary
re-builds of all Haskell packages by changing the wrapper script used
internally in those builds.

See <https://github.com/NixOS/nixpkgs/pull/466> for further details.
 2013-04-20 22:14:44 +02:00
Rob Vermaas a24458c219 Update oracle jdk to 1.6.0_45b06 2013-04-18 20:18:09 +02:00
Vladimír Čunát 368f1a25fd swiProlog: major update to 6.2.6 
However, from news this does *not* seem to be a big change.
 2013-04-18 10:29:29 +02:00
Vladimír Čunát d8a2ae8d01 some libintl and libiconv cleanups + non-linux fixes 2013-04-14 13:43:09 +02:00
Vladimír Čunát 74c4e30a9c vala: attempt to fix on FreeBSD 2013-04-13 23:30:26 +02:00
Vladimír Čunát c6d9178d02 vala: attempt to fix build for FreeBSD 2013-04-13 23:29:56 +02:00
Vladimír Čunát 17ae1617dc Merge branch 'master' into x-updates 
Conflicts (systemd version is split on x-updates):
	pkgs/os-specific/linux/systemd/default.nix
 2013-04-13 12:21:31 +02:00
Vladimír Čunát b6e3834ce0 gcc47: minor update to 4.7.3 
Tested buildability on x86_64-linux + stdenv-updates.
 2013-04-12 03:07:31 +02:00
Vladimír Čunát 8249695b61 Merge branch 'master' into x-updates 
Needed that to fix the tarball.
 2013-04-11 23:31:33 +02:00
Lluís Batlle i Rossell 9ce7b29393 gcc-wrapper: avoiding one glibc rebuild, for gcc.crossDrv 
In fact 'glibc.crossDrv' didn't work. I'm not sure it should work; I think it
isn't required for much.
 2013-04-10 18:26:42 +02:00
Lluís Batlle i Rossell 0ccd57bcd6 mono: update to 2.11.4 
Just to have a newer version.
 2013-04-08 11:53:08 +02:00
Vladimír Čunát eb2e46aab2 Merge branch 'master' into x-updates 
Conflicts:
	pkgs/applications/graphics/rawtherapee/default.nix
	pkgs/applications/misc/blender/default.nix
	pkgs/applications/networking/browsers/chromium/sources.nix
	pkgs/os-specific/linux/kernel/linux-3.9.nix
	pkgs/top-level/all-packages.nix
 2013-04-04 21:43:40 +02:00
Lluís Batlle i Rossell b10ab7a19a tinycc: updating it to 0.9.26 
I simplified the expression a bit. And I renamed it to 'tcc'.
I think everyone calls it tcc.
 2013-04-01 12:50:45 +02:00
Rok Garbas 38fce2879f Merge pull request #413 from ebzzry/master 
Add chicken-4.8.1
 2013-03-30 23:34:01 -07:00
Lluís Batlle i Rossell c7307122bf gcc47: Making the arm patch only for arm. 
I don't know how, but it seems to break mips (noticed by ludo):
http://hydra.nixos.org/build/4530024
 2013-03-29 21:56:01 +01:00
Lluís Batlle i Rossell 7405ddee2f gcc47: fixing the arm eabi hf build 
Picking an upstream gcc patch.
 2013-03-29 18:34:40 +01:00
aszlig a0716f28af
haxe: Use ignoreExternals and fix build. 
Now, our builds shouldn't break anymore once there is a new change in ocamllibs.

I've used revision 256 from ocamllibs, because this was approximately the
revision we had back then when Haxe 2.10 got released.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2013-03-27 00:26:55 +01:00
aszlig 735779cee4
neko: Update to new upstream version 2.0.0. 
This is required in order to support Haxe 3, but won't hurt (tested with a few
projects) even in Haxe 2.x.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2013-03-27 00:26:55 +01:00
Rommel M. Martinez 1c4e7e78ce Add chicken-4.8.1 2013-03-26 22:52:54 +08:00
Peter Simons 83d0a3a37c ghc: add meta.license attribute to all compiler versions 2013-03-23 15:58:14 +01:00
Peter Simons 6fc2cccfe6 Add myself as a maintainer to all Haskell packages (re-)generated by hackage4nix. 2013-03-23 15:58:14 +01:00
Shea Levy a7359deca8 edk2: Update 
Signed-off-by: Shea Levy <shea@shealevy.com>
 2013-03-19 13:59:40 -04:00
Lluis Batlle 61f9b4f61b Fixing the go timezones. glibc doesn't include the zoneinfo anymore. 2013-03-19 11:48:12 +01:00
Vladimír Čunát b1eeae8cac Merge branch 'master' into x-updates 
Conflicts (easy):
	pkgs/desktops/xfce/core/xfdesktop.nix
	pkgs/development/libraries/cairo/default.nix
	pkgs/development/libraries/pango/default.nix
 2013-03-17 11:28:28 +01:00
Vladimír Čunát 8acaea6d57 gcc33: fix build on i686 2013-03-16 21:08:57 +01:00
Vladimír Čunát 198d4fbe41 gcc33: fix build by --disable-multilib 2013-03-16 20:59:46 +01:00
Vladimír Čunát dd25120e8e gcc34: fix build on i686 2013-03-16 20:40:04 +01:00
Peter Simons 893c684e99 pkgs/development/compilers/ghc/with-packages.nix: include share/emacs/site-lisp in the generated environment 
This change allows 'ghc-mod' to be included in such a GHC environment,
which is important because the tool is GHC version-specific.
 2013-03-15 19:58:08 +01:00
Shea Levy ef82ab3fca Merge branch 'sdcc' of git://github.com/bjornfor/nixpkgs 
New package, it builds, I ship.

Signed-off-by: Shea Levy <shea@shealevy.com>
 2013-03-11 18:51:17 -04:00
Bjørn Forsman 859a227595 sdcc: new nixpkg (SDCC -> Small Device C Compiler) 
SDCC is a retargettable, optimizing ANSI - C compiler suite that targets
the Intel MCS51 based microprocessors (8031, 8032, 8051, 8052, etc.),
Maxim (formerly Dallas) DS80C390 variants, Freescale (formerly Motorola)
HC08 based (hc08, s08) and Zilog Z80 based MCUs (z80, z180, gbz80,
Rabbit 2000/3000, Rabbit 3000A). Work is in progress on supporting the
Microchip PIC16 and PIC18 targets. It can be retargeted for other
microprocessors.
 2013-03-11 21:59:40 +01:00
Peter Simons 807cd9ff16 haskell-idris: update to version 0.9.7 2013-03-11 11:26:14 +01:00
Peter Simons 4610d8b81a jhc: enable Hydra build on Linux 2013-03-11 10:47:21 +01:00
Andres Loeh 54e0fe3ec1 ghc: update HEAD snapshot 2013-03-10 21:14:45 +01:00
Vladimír Čunát dc5c4917a5 vala: update to 0.19 2013-03-10 19:53:43 +01:00
Michael Raskin f80dfee0c5 SBCL: patch for new Glibc no longer needed 2013-03-08 17:55:11 +04:00
Eelco Dolstra 674c51af3c Merge remote-tracking branch 'origin/master' into stdenv-updates 2013-03-07 19:33:52 +01:00
Michael Raskin 197af84cc6 SBCL: update to 1.1.5 2013-03-07 00:40:51 +04:00
Vladimír Čunát 26af997d41 Merge branch 'master' into stdenv-updates 
Conflicts (simple):
	pkgs/applications/networking/browsers/chromium/default.nix
	pkgs/development/libraries/libsoup/default.nix
	pkgs/os-specific/linux/kernel/manual-config.nix
	pkgs/os-specific/linux/qemu-kvm/default.nix
 2013-03-02 10:41:53 +01:00
Shea Levy c308b10ec0 Scala should work on all supported platforms 2013-02-26 11:18:16 -05:00
Vladimír Čunát 0e9b88cc4a sbcl: fix and minor update 2013-02-24 18:20:57 +01:00
Vladimír Čunát 5f758e6ea3 dragonegg: fix via update 2013-02-23 14:57:31 +01:00
Shea Levy acd4299e75 Merge branch 'master' into stdenv-updates 
Conflicts:
	pkgs/applications/networking/browsers/chromium/default.nix
	pkgs/top-level/all-packages.nix

Merge conflicts seemed trivial, but a look from viric and aszlig would be nice.
 2013-02-21 11:13:30 -05:00
Peter Simons 598c958a7d haskell-idris: update to version 0.9.6.1 2013-02-20 11:58:01 +01:00
Shea Levy f081cacda7 gcc: Don't symlink lib and lib64 when building multilib 2013-02-16 18:54:47 -05:00
Eelco Dolstra 2aa6f262cb Merge remote-tracking branch 'origin/master' into stdenv-updates 2013-02-15 13:36:34 +01:00
Peter Simons 97faa4c319 ghc-with-packages.nix: include man pages in the generated profile 2013-02-11 23:26:06 +01:00
Shea Levy 86feda1106 Add multilib gcc-4.6. 
libquadmath seems to require that the bootstrap gcc be multilib too.
 2013-02-08 14:27:42 -05:00
Rob Vermaas 047f174801 Remove old static versions of aterm/sdf2-bundle, don't build currently and not used anywhere. 2013-02-07 22:09:32 +01:00
Michael Raskin a2ba6d5bdd Julia: update/fix 2013-02-05 11:24:00 +04:00
Peter Simons f929eecfa7 ghc-7.6.2: cosmetic, no functional change 2013-01-30 17:30:51 +01:00
Peter Simons 7848756283 Parallel building is enabled again in GHC 7.6.2, because we hope the issues 
we've had with earlier versions have been remedied. If anyone experiences build
errors with this package, please file issue at Github!
 2013-01-30 17:30:25 +01:00
Peter Simons 75fcdfbb9e ghc-head: update to snapshot version 7.7.20121213 2013-01-30 12:25:38 +01:00
Aristid Breitkreuz 3a68505c6e GHC 7.6.2 2013-01-29 20:42:28 +01:00
Eelco Dolstra 5f638a4e53 gcc-4.4: Fix build 
http://hydra.nixos.org/build/3896514
 2013-01-29 11:44:08 +01:00
Eelco Dolstra f7cc884de4 gwt: Remove obsolete version 2013-01-28 18:31:17 +01:00
Eelco Dolstra d8f8a29758 gcc-upc: Remove 
This version (4.0) is obsolete.  And UPC will be merged in GCC 4.8
anyway.
 2013-01-28 17:19:04 +01:00
Eelco Dolstra d2b76e68d0 gcc-4.1: Remove 
No longer used and doesn't build.
 2013-01-28 17:19:03 +01:00
Eelco Dolstra cb07844c9d gcc-2.95: Remove 
Hasn't built in a long time.
 2013-01-28 17:19:03 +01:00
Eelco Dolstra 5f6de267f0 gcc-4.0: Remove 2013-01-28 17:19:03 +01:00
Eelco Dolstra 6eb71ff01c gcc-4.3: Apply siginfo_t fix 
Borrowed from Gentoo.
 2013-01-28 17:19:02 +01:00
Eelco Dolstra ac9932d133 iasl: Fix build 
http://hydra.nixos.org/build/3887583
 2013-01-28 17:19:01 +01:00
Lluís Batlle i Rossell 3b26ba7019 Merge remote-tracking branch 'central/master' into stdenv-updates 
Conflicts:
	pkgs/os-specific/linux/alsa-utils/default.nix
 2013-01-27 11:32:12 +01:00
Peter Simons c941ab98a7 haskell-idris: update to version 0.9.6 2013-01-25 14:52:03 +01:00
Eelco Dolstra 0a47a28f1d Merge remote-tracking branch 'origin/master' into stdenv-updates 2013-01-22 23:23:53 +01:00
Shea Levy 296cd66009 clang requires libxlm2, on darwin at least 2013-01-22 16:29:28 -05:00
Shea Levy 857742ea22 clang/llvm: 3.2 2013-01-22 14:33:55 -05:00
Shea Levy eb6c8aec62 openjdk: Update to 7u6b24 2013-01-22 12:58:07 -05:00
Vladimír Čunát fa8e19e879 Merge pull request #263 from aforemny/mit-scheme 
Fix mit-scheme
 2013-01-21 03:07:01 -08:00
Rickard Nilsson 1886d1db6a Merge remote-tracking branch 'upstream/master' into stdenv-updates 2013-01-20 16:53:21 +01:00
Eelco Dolstra 0db6ea6f76 Remove some oversized packages from the channel 
E.g. urbanterror takes up 2x720 MiB.
 2013-01-17 22:34:08 +01:00
Alexander Foremny 0500d16899 Fix mit-scheme 
These changes are necessary for me to use mit-scheme on i686 NixOS.
mit-scheme in the current state should be broken on x86_64 either and
these changes should fix, too. I however did not test this.
 2013-01-12 13:11:55 +01:00
Peter Simons b33ad366a1 Merge branch 'master' into stdenv-updates. 2013-01-11 15:46:10 +01:00
Michael Raskin 6e482a673d SBCL: Update to 1.1.3 2013-01-07 01:35:44 +04:00
Lluís Batlle i Rossell 2402bb2613 gcc: Moving the arch=loongson2f to the current platform approach 2012-12-31 09:38:32 +00:00
Lluís Batlle i Rossell ba7cde0156 Porting the platform gcc flags support to gcc 4.7 2012-12-31 09:32:11 +00:00
Lluís Batlle i Rossell 97d81bde0c Adding platform gcc information for raspberrypi, and the gcc support. 
Without it, gcc builds for softfloat, and the glibc doesn't have support for
softfloat (it ends up requiring some gnu-soft.h file). We'll have to test if
this fixes the build of gcc or not, though.
 2012-12-30 21:55:02 +00:00
Lluís Batlle i Rossell 67aa9243f0 Merge branch 'stdenv-updates' into pi-stdenv-updates 
Conflicts:
	pkgs/development/compilers/gcc/4.7/default.nix

Trivial.
 2012-12-28 23:30:53 +01:00
Lluís Batlle i Rossell b58780c43d Merge remote-tracking branch 'eelco/master' into stdenv-updates 
Conflicts:
	pkgs/development/compilers/gcc/4.7/default.nix

Trivial solution.
 2012-12-28 23:28:16 +01:00
Lluís Batlle i Rossell 87ec7b49b1 gcc47: Fixing the gcc.float cross parameters 2012-12-28 21:38:57 +01:00
Lluís Batlle i Rossell 719ba63004 Merge branch 'stdenv-updates' into pi-stdenv-updates 
Conflicts:
	pkgs/development/compilers/gcc/4.6/default.nix
	pkgs/development/compilers/gcc/4.7/default.nix

The 4.7 had some weird parameters added in crossAttrs; I've removed
them, but I don't understand where they come from.
 2012-12-28 20:14:01 +00:00
Lluís Batlle i Rossell f2f50c42d2 gcc47: adding --with-float option to gcc builder 
Meant for cross-building. I need that for the raspberrypi
bootstrap-tools. Before this, its bootstrap-tools gcc built
for softfloat by default.
 2012-12-28 21:12:57 +01:00
Lluís Batlle i Rossell fde74242bf gcc47: Adding gcc mode, cross-building. 
It's useful to build toolchains for armv7-m, to set thumb mode. It doesn't
support arm mode. chaoflow needed it.
 2012-12-28 20:21:23 +01:00
Eelco Dolstra 88b11196c1 Clean up redundant "if condition then true else false" 2012-12-28 19:57:47 +01:00
Eelco Dolstra 84779a6f7d Remove unnecessary parentheses around if conditions 
Pet peeve...
 2012-12-28 19:54:15 +01:00
Eelco Dolstra ab3eeabfed Rename buildNativeInputs -> nativeBuildInputs 
Likewise for propagatedBuildNativeInputs, etc.  "buildNativeInputs"
sounds like an imperative rather than a noun phrase.
 2012-12-28 19:20:09 +01:00
Eelco Dolstra 5be0a9acd7 Rename hostDrv -> crossDrv, buildDrv -> nativeDrv 
This is for consistency with terminology in stdenv (and the terms
"hostDrv" and "buildDrv" are not very intuitive, even if they're
consistent with GNU terminology).
 2012-12-28 19:08:19 +01:00
Lluís Batlle i Rossell 636303797f gcc47: moving the bootstrap logic into nix 
It was in the builder.sh. Similar to the previous patch
to gcc46.
 2012-12-27 15:08:17 +00:00
Lluís Batlle i Rossell f94f53a54e gcc46: moving the bootstrap logic into nix 
It was in the builder.sh.
 2012-12-27 15:08:16 +00:00
Lluís Batlle i Rossell d05b33653e gcc47: moving the bootstrap logic into nix 
It was in the builder.sh. Similar to the previous patch
to gcc46.
 2012-12-27 14:57:32 +00:00
Lluís Batlle i Rossell e9365882c1 gcc46: moving the bootstrap logic into nix 
It was in the builder.sh.
 2012-12-27 14:54:44 +00:00
Lluís Batlle i Rossell 96b0de4c33 gcc4.7: making the cross-built gcc respect withAbi, withArch, ... 2012-12-26 22:01:51 +00:00
Lluís Batlle i Rossell 6c9002639d I forgot to undo a gcc46 unneeded change. 2012-12-26 22:01:17 +00:00
Lluís Batlle i Rossell 164a84f8f4 Restoring the gcc 4.6 builder. No need to change it. 2012-12-26 22:01:13 +00:00
Lluís Batlle i Rossell a29b4228e9 Typo in 4.7 builder.sh 2012-12-26 22:00:53 +00:00
Lluís Batlle i Rossell 52ee2b99ee gcc47: fix on configureFlags, for cross-built gcc 2012-12-26 22:00:48 +00:00
Lluís Batlle i Rossell 43fac48f15 gcc47: trying to fix cross-building a gcc 2012-12-26 22:00:44 +00:00
Lluís Batlle i Rossell 651734b619 gcc/gcc-cross-wrapper: making gcc47 work with uclibc 
It wants pthreads, and libpthreads wants libdl, and this can
only be found with -rpath-link when cross building.
 2012-12-26 22:00:33 +00:00
Lluís Batlle i Rossell 2194b98565 Removing any cross-building kind of native build for the pi. 2012-12-26 22:00:29 +00:00
Lluís Batlle i Rossell fc51895afe Get gccs understand 'fpu' 2012-12-26 22:00:20 +00:00
Lluís Batlle i Rossell 9fdd9d51bd Setting some kind of cross-compiler situation, for armv6l gnueabihf. 2012-12-26 22:00:15 +00:00
Lluís Batlle i Rossell b520b4aeee Fixing my bash scripting of the previous commit 2012-12-26 22:00:11 +00:00
Lluís Batlle i Rossell 43fc5ae7cf Trying to fix the gcc builder; I added pi flags in the wrong if/else branch. 2012-12-26 22:00:07 +00:00
root 32c061146d Making gcc use some extra flags to build the proper hardfp gcc. 
This commit breaks non-raspberrypi; just testing.
 2012-12-26 22:00:02 +00:00
root 1b29d29c76 First movement to get the raspberrypi stdenv building. 2012-12-26 21:59:54 +00:00
Lluís Batlle i Rossell 1af2ada7d4 Fixing the patch in my prev commit 
I thought the gcc patch from upstream would apply straight. False,
push-happy.
 2012-12-26 19:29:55 +01:00
Lluís Batlle i Rossell 69f52a7916 gcc46: extending the gcc 4.6.3 patch about siginfo to other archs 
I took the gcc commit as reference.
 2012-12-26 19:18:29 +01:00
Andres Loeh d068aa9861 Patch ghc-paths to interact better with ghcWithPackages. 
When the ghc-paths library is compiled, the paths of the
compiler it is compiled with are being hardcoded in the
library (and can then be queried from other applications
using the library).

But on Nix, packages are compiled with ghc-wrapper, and
subsequently possibly used with a special version of ghc
generated for a particular environment of packages. So
one version of ghc-paths may potentially end up being
used by lots of different instances of ghc. The hardcoding
approach fails.

As a work-around, we now patch ghc-paths so that it allows
setting the paths that can be queried via environment
variables. Specific GHC environments can then set these
environment variables in the wrapper shell script that
invokes GHC.

This should at least partially solve issue #213.
 2012-12-16 14:25:15 +01:00
Michael Raskin 215c5f0ff8 EQL: update to latest snapshot 2012-12-13 15:53:24 +04:00
Michael Raskin f0997b9737 ECL: update to 12.12.1 2012-12-13 10:07:18 +04:00
Eelco Dolstra f364619e22 Merge remote-tracking branch 'origin/master' into stdenv-updates 2012-12-12 17:01:20 +01:00
Michael Raskin 28d178521d Fix installation of Tk wrapper 2012-12-09 20:06:34 +04:00
Michael Raskin 47f0815655 Julia update; use Tcl/Tk 2012-12-09 11:30:44 +04:00
Eelco Dolstra 5e256ccc88 Merge remote-tracking branch 'origin/master' into stdenv-updates 2012-12-04 17:12:35 +01:00
Michael Raskin 2ace67c2bc Update SBCL to 1.1.2 2012-12-04 09:57:38 +04:00
Eelco Dolstra bce3c6db7e openjdk: Fix typo in the version 2012-11-29 16:32:37 +01:00
Eelco Dolstra 72684fb42f Remove support for the obsolete powerpc-darwin and i686-darwin platforms 2012-11-29 14:10:49 +01:00
Eelco Dolstra 5553546c21 Remove a bunch of unreferenced files 
Plus a small number of obsolete packages (like old versions of qemu).
 2012-11-29 13:43:37 +01:00
Ludovic Courtès 1ac274784b gcc 4.7: don't pass `--with-native-system-header-dir' when cross-compiling 2012-11-29 10:58:41 +01:00
Ludovic Courtès cd30b83fd8 gcc 4.7: when cross-building for GNU, patch gnu.h', not i386/gnu.h' 2012-11-29 10:58:41 +01:00
Ludovic Courtès 2aea62bd07 gcc 4.7: when cross-building for GNU, patch gnu-user.h', not gnu.h' 2012-11-29 10:07:21 +01:00
Michael Raskin 19b638f5c7 Update Julia / account for it now using patchelf 2012-11-28 16:19:26 +04:00
Michael Raskin e72e74dad8 Update Julia to correspond to their changes 2012-11-22 17:30:33 +04:00
Rob Vermaas ad928fee30 Update Oracle JDK to 1.6.0u38b04 2012-11-21 21:31:56 +01:00
Peter Simons f67d5a9a39 Merge branch 'master' into stdenv-updates. 
Conflicts have been resolved in:

        pkgs/tools/misc/file/default.nix
        pkgs/top-level/all-packages.nix
        pkgs/top-level/python-packages.nix
 2012-11-21 16:20:36 +01:00
Ludovic Courtès eb08033e06 gcc 4.7: remove attempt to modify non-existent file 2012-11-17 20:54:29 +01:00
Ludovic Courtès ebe07c644f gcc 4.7: remove now useless GNU/Hurd-related patch 2012-11-15 09:03:43 +01:00
Lluís Batlle i Rossell 77e983a7d4 ghdl: building the standard libs with -O2 
That leads to faster simulations.
 2012-11-13 15:16:32 +01:00
Peter Simons fb1b425a74 Agda-executable: jailbreak to fix the build with recent versions of Agda 2012-11-12 12:48:27 +01:00
Shea Levy e8cd81a055 openjdk: Install the unlimited crypto policy 2012-11-08 14:51:23 -05:00
Andres Loeh 8c4f5d02aa Updating ghc HEAD snapshot. 2012-11-07 14:45:32 +01:00
Michael Raskin 67bde8453f Update Julia and compensat for their specification of /bin/bash as SHELL 2012-11-06 22:35:51 +04:00
Michael Raskin af2fd342cd Updating SBCL to freshest release 1.1.1. 
Replacing SBCL upstream tracking expression with a new version in a new
format.

Minuses: gave up on defining everything in Nix language (now update
expression is a series of actions to do when downloading fresh release,
it is actually interpreted by shell), now Nix expression contains
meaningful whitespace (the area to regenerate is determined by the
line with a specific comment and the closing brace on the otherwise
empty line).

Plusses: only one extra file which could even be moved out-of-tree if
desired, clean semantics for traversing multiple links (it is not found
in either Debian uscan or Gentoo euscan), the main expression is in one
file and is less different from usual style.
 2012-11-04 23:52:19 +04:00
Peter Simons 9d4aa6a6be haskell-idris: update to version 0.9.5.1 2012-11-01 10:09:22 +01:00
Michael Raskin 5e071cd74d OK, this version definitely builds both ways 2012-10-26 13:19:54 +04:00
Michael Raskin e7493370bd Account for difference between JRE and JDK in build 2012-10-26 12:11:00 +04:00
Michael Raskin e862c150f0 Trying to fix OpenJDK build 2012-10-26 11:06:25 +04:00
Shea Levy a234280340 openjdk: Create a cacerts file from pkgs.cacerts 2012-10-25 23:33:09 -04:00
Michael Raskin b2d0900e6e Update SBCL to 1.1.0 2012-10-24 23:09:29 +04:00
Peter Simons 59d7e94145 gprolog: disable parallel building to (hopefully) fix the weird error that occurred on Hydra 2012-10-24 20:30:04 +02:00
Peter Simons b170bb0bf0 gprolog: update to version 1.4.1 2012-10-24 18:28:36 +02:00
Michael Raskin cdb8f0dfe4 Update Lazarus 2012-10-17 22:24:39 +04:00
Michael Raskin df2975f928 Update ECL to 12.7.1 2012-10-17 15:22:43 +04:00
Michael Raskin 3f0c47091c Update Clozure Common Lisp to version 1.8 2012-10-17 11:09:44 +04:00
Eelco Dolstra e4a11b4d92 gcc: Get rid of lib64 2012-10-16 14:34:27 -04:00