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
Michael Raskin
3f0c47091c
Update Clozure Common Lisp to version 1.8
2012-10-17 11:09:44 +04:00
