karsten gebbert
9868f13799
add elm-get to haskell packages
2014-11-03 21:46:20 +01:00
karsten gebbert
f646d1f6ec
add elm-preprepl to package list
2014-11-03 21:31:32 +01:00
Peter Simons
984b0cbd8a
uhc: remove broken package
...
https://github.com/NixOS/nixpkgs/issues/3565
2014-11-03 18:33:02 +01:00
Evgeny Egorochkin
9b05a425cd
golang: add meta.branch
2014-11-03 13:12:47 +02:00
Peter Simons
a9560e3497
nasm: Revert "update from 2.11.05 to 2.11.06"
...
This reverts commit bce477f846
, which
breaks syslinux.
2014-11-03 11:29:18 +01:00
William A. Kennington III
aa3e800be7
boost: Remove boost.lib
2014-11-02 17:22:27 -08:00
Michael Raskin
8b092fe505
Adding Julia 0.3.2 — will make default after a little testing
2014-11-02 23:51:59 +03:00
Michael Raskin
db7d2c753e
Update SBCL to 1.2.5
2014-11-02 21:52:11 +03:00
Peter Simons
a9c53037fa
Merge remote-tracking branch 'origin/master' into staging.
2014-11-02 16:15:53 +01:00
Peter Simons
f12ef69336
idris: jailbreak to fix build with recent version of 'lens'
2014-11-01 21:08:06 +01:00
Peter Simons
aa91690dad
agda: jailbreak to fix build with recent versions of 'text'
2014-11-01 21:08:03 +01:00
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
Peter Simons
b11060d8db
Merge remote-tracking branch 'origin/master' into staging.
2014-10-31 11:14:24 +01: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
Vladimír Čunát
2cf17b0802
Merge recent master into staging
...
Hydra nixpkgs: ?compare=1156478
2014-10-23 17:40:41 +02: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
Eelco Dolstra
09dc132e04
Merge remote-tracking branch 'origin/master' into staging
...
Conflicts:
pkgs/development/libraries/poppler/default.nix
2014-10-16 15:16:50 +02: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
Eelco Dolstra
a4619673b5
clang/llvm: Fewer build-time dependencies
...
Such as valgrind, dejagnu, tcl/tk, ...
2014-10-11 22:26:39 +02: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
Eelco Dolstra
811de3bfaa
Merge remote-tracking branch 'origin/staging' into darwin-clang-stdenv
...
Conflicts:
pkgs/tools/security/gnupg/default.nix
2014-10-09 10:57:57 +02: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
Eelco Dolstra
6de01e516d
gcc-4.9: Remove obsolete mudflap flap
2014-10-07 16:06:20 +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
Siarhei Zirukin
448f3229f8
package update: go-1.3.1 -> go-1.3.2
...
Closes #4279
2014-09-28 01:35:49 +01:00
Matej Cotman
e541add0c7
go 1.1 and 1.2: fix builds by removing one test
2014-09-26 00:26:29 +02:00
Pascal Wittmann
d8bc33637b
lessc: update form 1.4.0. to 1.4.2 and adopt it
2014-09-25 18:19:19 +02:00
Matej Cotman
22e21c95d9
go: fix go 1.3.1 build
...
Closes #4243
2014-09-24 20:32:20 +01:00
Maksymilian Owsianny
4984b30c18
Fixed idris.
2014-09-24 19:50:08 +02:00
Michael Raskin
d68f3e9c0f
gcl: update from 2.6.10 to 2.6.11
2014-09-24 13:42:17 +04:00
Eelco Dolstra
cb9f69c052
llvm: Don't depend on Python on Darwin
...
There already is a Python in /usr/bin, so we don't need to build
another one.
2014-09-23 13:13:53 +02:00
Eelco Dolstra
cd71f7a2e6
Merge branch 'darwin-stdenv' of github.com:joelteon/nixpkgs into staging
...
Conflicts:
pkgs/development/interpreters/ruby/ruby-19.nix
pkgs/development/libraries/libc++/default.nix
pkgs/development/libraries/libc++abi/default.nix
pkgs/tools/text/sgml/opensp/default.nix
2014-09-23 11:27:53 +02:00
Vincent Bernardoff
259bbdd5e4
Added OCaml release 4.02.0.
...
Closes #4197
2014-09-22 20:13:32 +01:00
Paul Koerbitz
c15b4e1ac1
Add gforth to development/compilers
2014-09-22 19:56:52 +02:00
Peter Simons
e81b9f4bd8
Merge pull request #4085 from wkennington/master.boost
...
Boost Updates
2014-09-22 13:53:34 +02:00
Domen Kožar
a22aeba9b3
orc: disable tests
2014-09-22 12:35:07 +02:00
William A. Kennington III
31220480d8
boost: Update depdendent packages
2014-09-21 17:20:59 -07:00
Mateusz Kowalczyk
002d771763
orc: update from 0.4.21 to 0.4.22
2014-09-21 19:06:59 +01:00
Cray Elliott
2db5d9525a
update nvidia cg toolkit to v3.1
...
TODO: investigate man page issues
Closes #4024
2014-09-21 01:37:36 +01:00
Philip Horger
5e80764774
go: Include all 3 GOROOT tools
2014-09-21 01:24:18 +01:00
Mateusz Kowalczyk
1e5452865b
Merge pull request #4061 from vbgl/mezzo
...
Adds mezzo and its dependencies
2014-09-20 23:38:47 +01:00
Shea Levy
d9716fb642
ats2: bump
2014-09-20 02:15:42 -04:00
Georges Dubus
58c4bf5f20
rustc: fixed build after 7068828389
...
That commit changed the patch to work for the new HEAD, but that new
patch breaks 0.11. I made two patch for the two versions.
2014-09-16 13:51:57 +02:00
Aristid Breitkreuz
8059a25ba9
Merge pull request #4047 from waywardmonkeys/remove-gwdyion-dylan
...
dylan: Remove old gwydion-dylan package.
2014-09-14 22:28:35 +02:00
Ricardo M. Correia
7068828389
rustcMaster: Update to a more recent commit
2014-09-14 04:54:33 +02:00
Peter Simons
686ea115a9
idris: broken by recent Haskell updates
...
http://hydra.cryp.to/build/190927/nixlog/1/raw
2014-09-14 00:06:43 +02:00
Peter Simons
3f2c6833ac
idris: remove unnecessary jailbreak
2014-09-14 00:06:42 +02:00
Vincent Laporte
829c49a686
Adds mezzo
...
Mezzo is a programming language in the ML tradition, which places strong
emphasis on the control of aliasing and access to mutable memory.
Homepage: http://protz.github.io/mezzo/
2014-09-13 12:26:07 +02:00
Bruce Mitchener
5e367ec9d7
dylan: Remove old gwydion-dylan package.
...
The Gywdion Dylan compiler that was packaged here is old and this
package no longer builds. The Gwydion Dylan compiler is no longer
maintained, and has been replaced by the Open Dylan compiler which
is already packaged in Nix (opendylan).
2014-09-12 12:27:58 +07:00
Mateusz Kowalczyk
d50c0e75b8
agda: fix license
2014-09-11 20:35:56 +01:00
Mateusz Kowalczyk
ee31679bad
agda-stdlib: make expression nicer, fix license
2014-09-11 20:35:56 +01:00
Rob Vermaas
a904585789
scala: update from 2.11.0 to 2.11.1
2014-09-11 13:32:33 +02:00
Joel Taylor
fa9b1f9cda
build nix head successfully
2014-09-09 13:54:57 -07:00
Eric Seidel
0577499d74
fix some packages on darwin
2014-09-09 13:54:26 -07:00
Joel Taylor
7da056233f
wip libc++
2014-09-09 13:54:25 -07:00
Joel Taylor
3e8344d334
suitable clang stdenv
2014-09-09 13:54:24 -07:00
Eelco Dolstra
585983bc95
Merge remote-tracking branch 'origin/staging'
...
Conflicts:
pkgs/applications/version-management/subversion/default.nix
2014-09-08 11:42:09 +02:00