Commit graph

2136 commits

Author SHA1 Message Date
Peter Simons 2dac9abdde scala: fix the sha256 checksum from https://github.com/NixOS/nixpkgs/pull/4753 2014-11-01 21:07:36 +01:00
Evgeny Egorochkin bce477f846 nasm: update from 2.11.05 to 2.11.06 2014-11-01 14:52:11 +02:00
taku0 2ee464a83d scala: Bump up version from 2.11.2 to 2.11.4 2014-10-31 22:35:03 +09:00
Maciek Starzyk 6296d967fd haskell-idris: update to version 0.9.15.1 2014-10-29 21:03:08 +01:00
taku0 d019bcf8ec oraclejdk: bump to 8u25, 7u71, and 7u72 2014-10-28 05:24:33 -07:00
Michael Raskin 83e59960b6 Merge pull request #4682 from the-kenny/chicken-eggs
Full support for CHICKEN eggs in Nix
2014-10-28 15:49:26 +04:00
Peter Simons 12fd14c453 haskell-idris: update to version 0.9.15 2014-10-28 00:41:25 +01:00
Shea Levy 130d817286 Ats2: bump 2014-10-27 19:11:58 -04:00
Evgeny Egorochkin a506faf9f9 swiProlog: update from 6.6.5 to 6.6.6 2014-10-27 07:16:33 +02:00
Moritz Ulrich cdd2dd70aa Merge remote-tracking branch 'refs/remotes/origin/master' into chicken-eggs 2014-10-27 01:14:13 +01:00
Bjørn Forsman 52243083ca gcc-arm-embedded: add missing dependency on 'ncurses'
Fixes this:

  $ arm-none-eabi-gdb
  arm-none-eabi-gdb: error while loading shared libraries: libncurses.so.5: cannot open shared object file: No such file or directory
2014-10-26 19:45:34 +01:00
Austin Seipp 551ead935c gambit: 4.6.1 -> 4.7.3
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-10-24 23:04:48 -05:00
Austin Seipp dd57d8426f bigloo: 3.7a -> 4.1a-2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-10-24 21:58:53 -05:00
Aristid Breitkreuz 3e707fe5db update oracle jdk 7 2014-10-22 20:46:44 +02:00
Balaji Sivaraman 93fa6d456b scala: Bump up version from 2.11.1 to 2.11.2 2014-10-22 19:27:54 +05:30
Peter Simons d1fd6c90f4 scala: Revert "update from 2.11.1 to 2.11.3".
This reverts commit 4507aeb200.
Scala 2.11.3 is broken:

  https://groups.google.com/forum/#!msg/scala-internals/SSD9BNJaFbU/rACBkHrs2JEJ.
2014-10-22 14:57:13 +02:00
Peter Simons 807e834742 Merge pull request #4612 from balajisivaraman/scala-2.11.3
scala: Bump up version from 2.11.1 to 2.11.3
2014-10-22 11:39:59 +02:00
Balaji Sivaraman 4507aeb200 scala: update from 2.11.1 to 2.11.3 2014-10-22 14:45:59 +05:30
Peter Simons 7a20d76482 Disable all Haskell builds for Darwin on Hydra.
Hydra generates a GHC closure for Darwin that for no apparent reason
contains an ancient, broken Haddock binary -- probably because of an
impurity in the build system. That bug makes those GHC binaries
unusable: <https://github.com/NixOS/nixpkgs/issues/2689>.
2014-10-21 23:54:51 +02:00
Pascal Wittmann 1a4523ba8d lessc: update from 1.4.2 to 1.7.5 2014-10-21 23:07:06 +02:00
Peter Simons 8d013b7561 idris: re-generate expression with cabal2nix 2014-10-19 11:57:04 +02:00
Michael Raskin 4be0862006 Julia 0.3.1 2014-10-18 19:52:59 +04:00
Moritz Ulrich f46e83da86 Wrap chicken so it can find gcc. 2014-10-17 17:26:36 +02:00
Paul Colomiets 4035d9f27e rust: Upgrade rust stable to 0.12 2014-10-16 23:25:17 +03:00
Moritz Ulrich 8d5fe133bd eggDerivation: Move postInstall into installPhase. 2014-10-15 12:07:31 +02:00
Aycan iRiCAN ae84167aa1 Upgrade idris compiler to 0.9.14.3 2014-10-15 10:57:08 +03:00
Mateusz Kowalczyk 0732523c7d agda: add fuuzetsu to maintainers 2014-10-15 01:02:03 +01:00
Peter Simons 471bfb7f7b haskell-Elm: update to version 0.13 2014-10-14 17:39:24 +02:00
Moritz Ulrich 9ab1666ff0 Add chicken to PATH of wrapped chicken binaries. 2014-10-13 23:29:27 +02:00
Moritz Ulrich 6157cc0c29 rename patches -> overrides 2014-10-13 23:29:27 +02:00
Moritz Ulrich 172e55c7fc Implement patches.nix to override parts of a derivation 2014-10-13 23:29:27 +02:00
Moritz Ulrich e47428d0e2 Infrastructure to build chicken eggs. 2014-10-13 23:29:27 +02:00
Moritz Ulrich a4834a3e84 chicken: Implement support for bootstrap-builds
This is necessary in order to apply custom patches, as chicken needs a
bootstrap build to regenerate *.c files. This is also necessary when
building from git.
2014-10-13 23:29:26 +02:00
Georges Dubus 1f2fe452be rust: updated head
This version include the new "const" syntax.
2014-10-13 15:36:49 +02:00
Peter Simons b2a93071f6 haskell-epic: update to version 0.9.3.2 2014-10-13 09:09:33 +02:00
taku0 7175fdcd71 oraclejdk: bump to 8u20
Closes #4492
2014-10-12 15:43:44 +01:00
Vincent Laporte 3c45c8d53e yasm: update from 1.2.0 to 1.3.0 2014-10-10 22:43:58 +02:00
Ricardo M. Correia 922b658433 Merge pull request #4401 from jagajaga/update_rust
update rust
2014-10-10 18:49:36 +02:00
Lluís Batlle i Rossell eb21ef2bc7 Updating go from 1.3.2 to 1.3.3. 2014-10-10 17:07:16 +02:00
Arseniy Seroka 762480b334 update rustc 2014-10-10 00:04:18 +04:00
Aristid Breitkreuz 361375c3ac go: update from 1.3.2 to 1.3.3 2014-10-07 21:50:40 +02:00
Aristid Breitkreuz b2f1641a2d icedtea7_web: update from 1.5 to 1.5.1, potentially fixes CVE-2010-3860 2014-10-07 20:50:10 +02:00
Michael Raskin ec484c6a1e Update F# 2014-10-07 16:23:28 +04:00
Vincent Laporte 579e74549d CompCert: update to 2.4 2014-10-05 23:38:16 +01:00
Ricardo M. Correia 02c8dbe382 rustcMaster: Update to more recent commit and remove patch
The patch to the tests is now included upstream. Also in this version,
an issue was fixed upstream where LTO would fail with permission denied
in NixOS.
2014-10-05 17:47:36 +02:00
John Wiegley 10e215a3ae isabelle: Version 2014 building on Linux and Darwin 2014-09-30 23:15:31 -05:00
Ricardo M. Correia 272c44f1a5 rustcMaster: Fix test_override_env and enable tests
We also need to disable parallel building due to rust-lang/rust#16305.

Closes #4339
2014-10-01 02:34:25 +01:00
Ricardo M. Correia 3f5dcaa577 rustcMaster: Fix version 2014-09-29 14:57:26 +02:00
Ricardo M. Correia 51b8d716f4 rustcMaster: Update to a more recent commit 2014-09-29 14:45:55 +02:00
Maksymilian Owsianny a7197741ac Fixed idris wrapper to make idris work with different backends.
Closes #4314
2014-09-29 04:14:59 +01:00