Commit graph

1320 commits

Author SHA1 Message Date
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 f7cc884de4 gwt: Remove obsolete version 2013-01-28 18:31:17 +01:00
Peter Simons c941ab98a7 haskell-idris: update to version 0.9.6 2013-01-25 14:52:03 +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
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
Michael Raskin 6e482a673d SBCL: Update to 1.1.3 2013-01-07 01:35:44 +04: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
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
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
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
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