Commit graph

2436 commits

Author SHA1 Message Date
Pascal Wittmann
8df0e0b151 Fixed many descriptions 2014-11-11 14:36:34 +01:00
Michael Raskin
6c39bbde6d Set correct current platform support for Mozart binary 2014-11-11 13:57:00 +03:00
Domen Kožar
eba10b008f fix tarball eval 2014-11-11 07:21:43 +01:00
Luca Bruno
6af0d6974f Merge branch 'master' into staging 2014-11-10 10:03:52 +01:00
Michael Raskin
b6203b804b Mark binary distribution of Mozart/Oz 2.0 as such 2014-11-09 19:26:55 +03:00
stewart
076677d0bf removed shebang in builder.sh 2014-11-09 19:26:55 +03:00
stewart
a5756e79f2 depricate mozart-1.4 for mozart-2 2014-11-09 19:26:55 +03:00
Ricardo M. Correia
12a19684c7 rustcMaster: Fix test failure under grsec kernels 2014-11-09 04:59:31 +01:00
Ricardo M. Correia
4fc73a7873 rustcMaster: Update to newer rev 2014-11-09 04:59:31 +01:00
Maciek Starzyk
f72c460abf ocaml: 4.02.0 -> 4.02.1 2014-11-08 23:15:53 +01:00
Luca Bruno
83221f3886 Merge branch 'master' into staging
Makes the build more useful:
- Disabled hybrid iso, makes installer tests pass again
- Imagemagick fixes to the "Illegal instruction" thing
2014-11-08 15:56:40 +01:00
Peter Simons
484b26569a ghc-head: update to version 7.9.20141106 2014-11-07 23:22:27 +01:00
Michael Raskin
689f1af563 Refactor Lazarus build a bit and build it with all the components by default 2014-11-07 11:41:12 +03:00
Vincent Laporte
3d049938c8 Adds some “branch” meta-data 2014-11-06 19:40:50 +00:00
Eelco Dolstra
0518ccf5af Merge remote-tracking branch 'origin/master' into staging
Conflicts:
	pkgs/stdenv/generic/default.nix
2014-11-06 10:16:39 +01:00
Mateusz Kowalczyk
007f80c1d0 Turn more licenses into lib.licenses style
Should eval cleanly, as far as -A tarball tells me.

Relevant: issue #2999, issue #739
2014-11-06 00:48:16 +00:00
Vladimír Čunát
52404a868d Merge recent master into staging
Nixpkgs Hydra: ?compare=1157272

TODO: port e22889064f

Conflicts:
	nixos/tests/gnome3_10.nix (auto-solved)
	pkgs/applications/video/aegisub/default.nix
	pkgs/development/libraries/boost/1.55.nix
2014-11-05 15:00:44 +01:00
Eelco Dolstra
7495c61d49 Merge remote-tracking branch 'origin/darwin-clang-stdenv' into staging
Conflicts:
	pkgs/applications/editors/vim/macvim.nix
2014-11-04 14:30:43 +01:00
karsten gebbert
9cbbd93c74 add elm-reactor to the package list 2014-11-04 11:47:32 +01:00
Peter Simons
b5fed52c43 Merge pull request #4238 from wkennington/master.boost
Make boost 156 the default
2014-11-03 23:03:01 +01:00
Peter Simons
030a044800 Merge pull request #4812 from krgn/elm-repl
add elm-preprepl to package list
2014-11-03 23:00:50 +01:00
Michael Raskin
f1f5ac184f Update GCL 2014-11-04 00:37:42 +03:00
Michael Raskin
e4c64a6805 Update Lazarus 2014-11-04 00:37:42 +03:00
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
Eelco Dolstra
73b75f6157 gcc: Fix bug causing Glibc miscompilation
http://hydra.nixos.org/build/16564205
2014-11-03 13:27:53 +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
Ryan Trinkle
9ec240605d Use optparse-applicative 0.9.1.1; 0.10 doesn't export 'reader', which causes ghcjs to fail to build 2014-10-07 21:34:31 -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
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
Ryan Trinkle
92f8d68b99 Merge branch 'master' of https://github.com/NixOS/nixpkgs
Conflicts:
	pkgs/development/libraries/haskell/ghcjs-dom/default.nix
	pkgs/top-level/haskell-packages.nix
2014-10-06 13:12:58 -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
Vladimír Čunát
06fea81c6e Merge recent master into staging
Hydra: ?compare=1150594
2014-09-06 16:52:45 +02:00
Robert M. Mather
98a4675581 Ur/Web compiler: new release, 20140531 -> 20140830 2014-09-06 11:05:10 +02:00
Domen Kožar
f9ba413b55 fix eval 2014-09-05 00:06:11 +02:00
Michael Raskin
014f7ad100 Merge pull request #3955 from paulkoerbitz/master
Update oraclejdk-7 patch version from 65 to 67
2014-09-04 20:20:01 +04:00
Peter Simons
0a6ad14395 haskell-idris: update to version 0.9.14.3 2014-09-04 14:41:09 +02:00
Michael Raskin
a517dfcf71 Fix ACL2 2014-09-04 14:41:35 +04:00
Peter Simons
ca931e0e1e Merge pull request #3915 from Fuuzetsu/agda-builder
RFC: Agda builder
2014-09-04 11:28:47 +02:00
Paul Koerbitz
b8a88ce472 Update oraclejdk-7 patch version from 65 to 67 2014-09-03 21:30:31 +02:00
Ricardo M. Correia
e552fbf521 gcc/gcj: Update antlr dep to 4.4
Version 3.1.3 is no longer available for download.
2014-09-03 14:04:52 +02:00
Peter Simons
1c0d15b90e Merge branch 'origin/master' into staging.
Conflicts:
	pkgs/development/libraries/ffmpeg/2.x.nix
	pkgs/development/libraries/serf/default.nix
2014-09-02 12:31:03 +02:00
Michael Raskin
24b4105ed7 Remove fpc 2.4.0: lazarus doesn't need it and it doesn't like .2.6.0 as bootstrap compiler 2014-09-01 08:56:37 +04:00
Mateusz Kowalczyk
61c17e326f Use agda builder for stdlib. mv to all-packages 2014-09-01 01:38:01 +01:00
Michael Raskin
2406a89219 Update FPC to 2.6.4 2014-08-31 22:47:55 +04:00
Michael Raskin
6b962e6e9e Update FPC binary expression 2014-08-31 22:47:55 +04:00
Mateusz Kowalczyk
b1e388cefb agda-stdlib: update to 0.8.1
This is necessary after the Agda-2.4.2 bump
2014-08-31 19:26:05 +01:00
Peter Simons
6ea21ad737 haskell-Agda: update to version 2.4.2
I had to disable the Haddock phase because of lots of errors:

  http://hydra.cryp.to/build/181564/nixlog/1/raw
2014-08-31 18:17:01 +02:00
Peter Simons
c04507ea3e haskell-idris: update to version 0.9.14.2 2014-08-31 18:17:00 +02:00
Michael Raskin
5fc69283f5 Update SBCL 2014-08-31 18:20:07 +04:00
Vladimír Čunát
e51f73652d Merge recent master into staging
Hydra: ?compare=1149952

Conflicts:
	nixos/doc/manual/configuration.xml (changed split file)
	nixos/modules/config/users-groups.nix (choosing filterNull instead of inline definition)
	pkgs/development/libraries/readline/readline6.3.nix (auto-solved)
2014-08-30 10:04:02 +02:00
Shea Levy
ceb367a8a2 ats2: Bump 2014-08-29 16:13:48 -04:00
Gergely Risko
dd3f3bdcc2 GCC >= 4.8 doesn't depend on ppl 2014-08-29 11:45:22 +02:00
Michael Raskin
f25709c48a List NCSA license properly 2014-08-29 01:14:10 +04:00
Michael Raskin
55cc5736a9 Merge pull request #3255 from bosu/emscripten2
Add emscripten: LLVM to JavaScript compiler (take 2)
2014-08-29 01:04:26 +04:00
Shea Levy
013aedffea ats2: bump 2014-08-27 22:51:27 -04:00
Ryan Trinkle
4394858433 Integrate ghcjs
Use nixpkgs.haskellPackages_ghcjs to build packages with ghcjs.
2014-08-26 13:35:29 -04:00
Bjørn Forsman
c9baba9212 Fix many package descriptions
(My OCD kicked in today...)

Remove repeated package names, capitalize first word, remove trailing
periods and move overlong descriptions to longDescription.

I also simplified some descriptions as well, when they were particularly
long or technical, often based on Arch Linux' package descriptions.

I've tried to stay away from generated expressions (and I think I
succeeded).

Some specifics worth mentioning:
 * cron, has "Vixie Cron" in its description. The "Vixie" part is not
   mentioned anywhere else. I kept it in a parenthesis at the end of the
   description.

 * ctags description started with "Exuberant Ctags ...", and the
   "exuberant" part is not mentioned elsewhere. Kept it in a parenthesis
   at the end of description.

 * nix has the description "The Nix Deployment System". Since that
   doesn't really say much what it is/does (especially after removing
   the package name!), I changed that to "Powerful package manager that
   makes package management reliable and reproducible" (borrowed from
   nixos.org).

 * Tons of "GNU Foo, Foo is a [the important bits]" descriptions
   is changed to just [the important bits]. If the package name doesn't
   contain GNU I don't think it's needed to say it in the description
   either.
2014-08-24 22:31:37 +02:00
Eelco Dolstra
2d6d43c02c Fix tarball build 2014-08-24 18:52:50 +02:00
Domen Kožar
fc5f6e4e79 tarball fixes 2014-08-24 16:02:57 +02:00
Michael Raskin
33ef69390b Fix Julia 0.3.0 build (for most purposes). Not making default yet because it is unclear if I missed something important. Failed to make it use external openblas and lapack correctly… 2014-08-24 00:24:55 +04:00
Vladimír Čunát
0df6ccb4b6 orc: disable tests on i686
The failing test doesn't even work in the commit that introduced it.
2014-08-23 15:17:06 +02:00
Michael Raskin
ff0582f185 Merge pull request #3649 from daogames/tb/update-golang
golang: bump to 1.3.1
2014-08-23 13:05:30 +04:00
Michael Raskin
e4f9e321ca Merge pull request #3069 from danielzinn/add_cuda_6
Allowing cuda to use its own thrust library
2014-08-23 11:13:20 +04:00
Eelco Dolstra
ce6b86cc68 Fix various evaluation problems
http://hydra.nixos.org/build/13616685
2014-08-22 11:57:40 +02:00
Michael Raskin
d2539c6ff5 Adding Julia 0.3.0: some progress, but doesn't work yet 2014-08-21 22:09:55 +04:00
Pascal Wittmann
bc7fe78d19 mit-scheme: update from 9.1.1 to 9.2 and remove broken tag
closes #3705
2014-08-21 19:40:53 +02:00
Vladimír Čunát
315b8ec8f6 orc: bugfix updates 2014-08-21 15:13:21 +02:00
Vladimír Čunát
d4e9fd2a90 Merge recent master into staging
Hydra: ?compare=1148749

Conflicts (easy):
	nixos/modules/virtualisation/containers.nix
2014-08-21 15:09:31 +02:00
Peter Simons
e910c8d6c9 Disable Hydra builds for broken Haskell packages.
The following packages are broken with GHC 7.8.3:

 - filesystem-conduit version 1.0.0.2
 - ghc-events-analyze version 0.2.0
 - haskelldb version 2.2.2
 - haskell-mpi version 1.2.1
 - haxr-th version 3000.5
 - hoauth version 0.3.5
 - holy-project version 0.1.1.0
 - hoogle version 4.2.32
 - hspread version 0.3.3
 - instant-generics version 0.4
 - ivor version 0.1.14.1
 - jmacro-rpc-happstack version 0.3
 - lambdacube-engine version 0.2.4
 - language-c-inline version 0.6.0.0
 - lockfree-queue version 0.2.3
 - monad-peel version 0.1.1
 - network-transport-tests version 0.1.0.1
 - poppler version 0.12.3
 - profiteur version 0.1.2.1
 - prolog-graph-lib version 0.2.0.1
 - semigroupoid-extras version 4.0
 - setlocale version 0.0.3
 - sized-types version 0.5.0
 - snaplet-postgresql-simple version 0.5
 - snap-loader-dynamic version 0.10.0.2
 - uhc git version 20120502
 - uniqueid version 0.1.1
 - unix-process-conduit version 0.2.2.3
 - vado version 0.0.1
 - vcsgui version 0.0.4
 - xml-html-conduit-lens version 0.3.2.0

The following packages depend on one of the broken ones above:

 - hoodle-builder version 0.3
 - hoodle-core version 0.14
 - hoodle-extra version 0.1
 - hoodle-parser version 0.3
 - hoodle-render version 0.4
 - hoodle-types version 0.3
 - hoodle version 0.3
 - kansas-lava version 0.2.4
 - liblastfm version 0.4.0.0
 - prolog-graph version 0.1.0.2
 - vacuum-cairo version 0.5
 - wcwidth version 0.0.2
2014-08-20 20:26:57 +02:00
Austin Seipp
d95ae1cc89 fsharp: 3.1.0 -> 3.1.1.25
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-08-20 02:03:18 -05:00
Austin Seipp
f1bc7b229d jhc: 0.8.1 -> 0.8.2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-08-20 01:43:31 -05:00
Ryan Newton
56d15045fa Bump ghc-head to latest. 2014-08-19 23:47:58 +02:00
Ryan Newton
e59a29df13 manticore: Remove name from description 2014-08-19 10:27:20 -04:00
Ryan Newton
ff6057d686 Add parallel functional compiler, Manticore 2014-08-19 02:36:57 -04:00
Eelco Dolstra
a0c60b76ec gcc: Revive the no-sys-dirs patch
For now, we don't NATIVE_SYSTEM_HEADER_DIR because it breaks the
build. However, it points to Glibc in the Nix store (not /usr/include)
so it's kind of okay.
2014-08-18 17:20:37 +02:00
Tino Breddin
f513e383ef golang: bump to 1.3.1 2014-08-17 21:08:45 +02:00
Luca Bruno
b83aceaecb Merge branch 'master' into staging 2014-08-14 23:09:59 +02:00
Gergely Risko
f199e115d2 Enable parallel building for GCC.
Even if using profiledbootstrap.  This was unsafe before 4.8, and
then the documentation was not fixed on time.

The documentation got fixed here:
  c763997f34

But the actual code was already fixed here:
  5d2fca09d5

So this is safe both for GCC 4.8 and GCC 4.9.
2014-08-13 23:21:33 +02:00
Vladimír Čunát
08f5932729 ocaml: refactor the useX11 check to actually work 2014-08-12 21:53:02 +02:00
Vladimír Čunát
141b5d961f Merge master into PR
Conflicts:
	pkgs/development/compilers/ocaml/4.01.0.nix
2014-08-12 21:52:20 +02:00
drozv
33fec9d04d ocaml: fix x11 include and lib parameters for configure script
Close #2923, fixes #2922.
2014-08-12 21:41:37 +02:00
Michael Raskin
4ab466cc56 Update OpaLang; it still doesn't build for a mysterious reason: apparently the missing fields are actually defined… 2014-08-12 16:22:25 +04:00
Peter Simons
e823c123a8 Don't build broken Haskell packages on Hydra.
These packages don't compile:

 - cabal-delete
 - cabal-file-th
 - categories
 - cmdtheline
 - codec-image-devil
 - concurrent-extra
 - cryptol 1.8.x
 - data-lens
 - diagrams-postscript
 - djinn
 - download
 - dstring
 - enummapset
 - git-date
 - github-backup
 - gtkglext
 - happyy-meta
 - haskeline-class
 - pakcs

These packages depend on some of the packages listed before:

 - Chart-diagrams
 - data-lens-template
 - hp2any-manager
 - purescript
 - repr

These packages fail with GHC 7.8.3 but still compile with older compilers:

 - happy: 1.18.4, 1.18.5, 1.18.6
2014-08-12 12:37:44 +02:00
Peter Simons
f9f26acd4a pakcs: it appears that upstream changed the source code without bumping the version number 2014-08-12 12:37:44 +02:00
Michael Raskin
28c7ff430e Set more realistic platform set for Stalin Scheme compiler 2014-08-12 04:35:34 +04:00
Mateusz Kowalczyk
686190da2e haskell-epic: mark as broken
https://github.com/edwinb/EpiVM/issues/6
2014-08-11 13:58:40 +02:00
Vladimír Čunát
dda3e97ecf gcc33: no longer broken, apparently
I even got binaries from Hydra, although I don't know why.
2014-08-10 18:25:34 +02:00
Eelco Dolstra
be399bf245 Hack to fix llvm/clang build on Darwin
(Or at least restore it to the same level as brokenness as before the
staging merge. I.e. it depends on gcc-apple, which doesn't build on
standard 10.9 systems.)
2014-08-09 23:31:00 +02:00
lethalman
05eb5bf913 Merge pull request #3503 from lethalman/platforms
Make platforms.allBut accept a list rather than a single platform
2014-08-09 14:22:09 +02:00
Peter Simons
18250b97ae Remove 'andres' from the meta.maintainer section of all Haskell package where I
had added him earlier.
2014-08-09 13:49:24 +02:00
Luca Bruno
b331ae33d7 Make platforms.allBut accept a list rather than a single platform 2014-08-09 12:31:33 +02:00
Luca Bruno
9300470b5e chicken: broken on darwin 2014-08-09 12:29:27 +02:00
Vladimír Čunát
52d9c93abe Merge 'staging' into master 2014-08-08 20:13:23 +02:00
Eelco Dolstra
8a7f3c3618 Mark a bunch of packages as broken or not supported on Darwin 2014-08-08 17:59:02 +02:00
Peter Simons
9226fbf56a Merge remote-tracking branch 'origin/master' into staging. 2014-08-08 09:51:01 +02:00
Peter Simons
b6e2a52b72 Merge pull request #3418 from peti/drop-obsolete-agda-version
Agda: drop obsolete version 2.3.2.2
2014-08-06 13:39:30 +02:00
Michael Raskin
e27a887440 Give up for now: roll back SBCL to 1.2.0, as: 1.2.2 fails on i686; 1.2.1 fails everywhere 2014-08-04 19:57:01 +04:00
Peter Simons
2d326e5032 Merge remote-tracking branch 'origin/master' into staging.
Conflicts:
	pkgs/desktops/e18/enlightenment.nix
2014-08-04 16:51:47 +02:00
Michael Raskin
0ca8dfe805 Remove SBCL updater file: home page allows automatic updates 2014-08-03 22:29:41 +04:00
Michael Raskin
09b3fd0eb2 Update SBCL Common Lisp compiler 2014-08-03 22:29:41 +04:00
Vladimír Čunát
6295a3ca36 Merge recent master into x-updates
Hydra: ?compare=1142825

Conflicts (easy):
	pkgs/applications/audio/lmms/default.nix
	pkgs/desktops/e18/enlightenment.nix
	pkgs/games/exult/default.nix
	pkgs/os-specific/linux/alsa-plugins/default.nix
2014-08-02 05:08:07 +02:00
Austin Seipp
181cdb7cc8 Merge pull request #3412 from Ericson2314/rust-master
Add alternative rustc package for master tip
2014-07-31 21:51:21 -05:00
John Ericson
8f763d0539 rustc: rename rust to rustc, but keep rust attr name for backwards compat 2014-08-01 04:39:37 +02:00
Austin Seipp
14e477b4c4 Merge pull request #3395 from mixis/master
ATS2 version [0.0.7] --> [0.1.0]
2014-07-31 21:29:01 -05:00
John Ericson
641ccec337 rust: Refer to 0.11.nix directly in all-packages
rather than use default.nix indirection
2014-08-01 04:28:54 +02:00
John Ericson
584114b697 rust: Add an alternative package for the master tip
based off of pull request #3084
2014-07-31 20:42:20 +02:00
Peter Simons
84cf3f3de7 Agda: drop obsolete version 2.3.2.2 2014-07-31 13:58:36 +02:00
Peter Simons
c9dc75d315 idris: re-generate with cabal2nix 2014-07-31 13:57:45 +02:00
Peter Simons
689b322e10 Agda: update to version 2.4.0.2 2014-07-31 13:57:45 +02:00
John Wiegley
7d90959d73 idris: 0.9.14 -> 0.9.14.1 2014-07-30 18:11:18 -05:00
John Ericson
a510e024b6 rust: Add hashes for i686-darwin 2014-07-31 00:12:16 +02:00
John Ericson
399f8b48f9 rust: Prepare for more versions part 2:
- Default is now an alias for 0.11
2014-07-30 07:39:06 +02:00
John Ericson
210452979a rust: Prepare for more versions part 1:
- Factor out some things that REALLY shouldn't change between versions
2014-07-30 07:39:06 +02:00
Eelco Dolstra
8f3dc34618 gcc-apple: Mark as broken
It doesn't work with the --sysroot flag passed by gcc-wrapper, and it
doesn't build with recent Xcode versions (if the SDK is not in /).
2014-07-28 18:09:53 +02:00
Michael Weiss
39c09b04c7 ATS2 version [0.0.7] --> [0.1.0] 2014-07-28 17:00:02 +02:00
Mateusz Kowalczyk
7a45996233 Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
Eelco Dolstra
f64d84698e Merge remote-tracking branch 'origin/master' into staging
Conflicts:
	pkgs/applications/audio/espeak/edit.nix
	pkgs/applications/audio/lmms/default.nix
	pkgs/desktops/e18/enlightenment.nix
	pkgs/games/exult/default.nix
	pkgs/os-specific/linux/alsa-plugins/default.nix
2014-07-28 11:30:49 +02:00
John Wiegley
5c6512434a idris: patch 0.9.14 to workaround a bug 2014-07-24 15:48:07 -05:00
Eelco Dolstra
ac8775dd96 $xcodePath -> $SDKROOT
SDKROOT is standard. In particular, this fixes the cmake build on
Mac OS X 10.9.
2014-07-24 21:53:46 +02:00
Vladimír Čunát
cbd8f7093b gcc49: maintenance update 2014-07-23 20:19:35 +02:00
Vladimír Čunát
b9045a7d96 Merge branch 'x-updates' into staging
...in preparation for a merge to master
2014-07-22 22:28:39 +02:00
Eelco Dolstra
5add082ab8 gcc-4.2: Remove 2014-07-22 15:12:21 +02:00
Eelco Dolstra
ee39b4e82e opencxx: Remove
It's unused and unmaintained.
2014-07-22 15:12:21 +02:00
Eelco Dolstra
e0c43e8d04 llvm: Removed unused versions 3.1 and 3.2 2014-07-22 13:56:26 +02:00
Eelco Dolstra
402688b752 gcc: Fix multilib builds
http://hydra.nixos.org/build/12578050
2014-07-22 13:36:00 +02:00
Eelco Dolstra
4f7289eec9 Don't use ensureDir 2014-07-22 11:01:32 +02:00
Eelco Dolstra
7f410ef923 Merge remote-tracking branch 'origin/master' into staging
Conflicts:
	pkgs/misc/vim-plugins/default.nix
2014-07-22 11:00:00 +02:00
Eelco Dolstra
f77abc8b7a go: Fix build
http://hydra.nixos.org/build/12538479
2014-07-22 10:49:46 +02:00
Vladimír Čunát
9b02635faa Merge recent master into x-updates
Hydra: ?compare=1138350

Conflicts:
	nixos/modules/services/x11/desktop-managers/default.nix
	Two imports were added independently on the same line.
	I split it as well, as it was very long now.
2014-07-21 12:05:57 +02:00
Florent Becker
c59819311c Make x11 optionnal for ocaml 2014-07-21 11:27:09 +02:00
drozv
29d5629074 Fix x11 include and lib parameters for configure script. 2014-07-21 11:13:45 +02:00
Austin Seipp
f677e843d5 hhvm: remove bash input
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-07-19 19:46:32 -05:00
Austin Seipp
03fd95d248 hhvm: Fix path to /bin/bash
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-07-19 19:44:43 -05:00
Austin Seipp
4b0178d2a4 hhvm: 3.1.0 -> 3.2.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-07-19 01:58:09 -05:00
Peter Simons
cdf9a972ad haskell-idris: update to version 0.9.14 2014-07-18 17:30:47 +02:00
Vladimír Čunát
16e35532e4 Merge recent master into x-updates 2014-07-17 19:30:56 +02:00
Eelco Dolstra
b4c971b14a openjdk: Update to 7u65-b32 2014-07-17 13:09:20 +02:00
taku0
c986350bfd oraclejdk: bump to 8u11 2014-07-17 10:19:51 +09:00
Eelco Dolstra
94db68d283 Move jdk -> oraclejdk 2014-07-16 18:35:35 +02:00
Eelco Dolstra
c39bee0c0f oraclejdk: Export the same setup hooks as openjdk 2014-07-16 18:34:14 +02:00
Eelco Dolstra
3c58261c67 Fix setting $JAVA_HOME 2014-07-16 18:34:14 +02:00
Eelco Dolstra
63e2ec2bb8 oraclejdk: Make version consistent with openjdk 2014-07-16 18:34:14 +02:00
Eelco Dolstra
0681742627 oraclejdk: Include "oracle" in name 2014-07-16 18:34:14 +02:00
Eelco Dolstra
396a55ac18 oraclejdk: Update to 7u65 2014-07-16 17:52:46 +02:00
Eelco Dolstra
caa74a146d openjdk-darwin: Update to 7u60b30 2014-07-15 11:51:07 +02:00
Eelco Dolstra
ff97b7dbe6 Merge remote-tracking branch 'origin/master' into staging 2014-07-14 17:04:55 +02:00
Peter Simons
d2e731e111 Add "please don't edit" comment at the top of every auto-generated Haskell file. 2014-07-14 13:21:41 +02:00
Boris Sukholitko
10981178a9 Add emscripten: LLVM to JavaScript compiler 2014-07-12 18:17:50 +03:00
Peter Simons
78fccddde3 ghc 7.0.2 and 7.0.3 are "broken" because of build errors with recent versions of GCC
rts/StgCRun.c: In function 'StgRunIsImplementedInAssembler':

  rts/StgCRun.c:208:1:
       error: frame pointer required, but reserved
       StgRunIsImplementedInAssembler(void)
       ^

  In file included from includes/Stg.h:230:0:
      0,
                       from rts/StgCRun.c:70:

  includes/stg/Regs.h:323:20:
       note: for 'Sp'
       GLOBAL_REG_DECL(P_,Sp,REG_Sp)
                          ^

  includes/stg/Regs.h:174:54:
       note: in definition of macro 'GLOBAL_REG_DECL'
       #define GLOBAL_REG_DECL(type,name,reg) register type name REG(reg);
                                                            ^
2014-07-12 15:13:59 +02:00
Peter Simons
48a2253974 ghc: update version 7.8.2 to 7.8.3 2014-07-12 15:13:58 +02:00
John Wiegley
324eb38313 haskell-agda-stdlib: properly reference ghc and runhaskell 2014-07-12 04:43:31 -05:00
John Wiegley
c25343ef2b Merge pull request #3083 from cstrahan/darwin-openjdk
fix openjdk url for Darwin
2014-07-11 15:37:35 -05:00
Vladimír Čunát
5979d428b4 Merge recent master into x-updates
Hydra: ?compare=1134869

Conflicts (just meta):
	pkgs/applications/networking/instant-messengers/telepathy/gabble/default.nix
2014-07-09 22:13:29 +02:00
Eelco Dolstra
1b391e6bf9 openjdk: Set more informative version string
Also, disable full debug symbols. Don't know if this matters because
we're already stripping everything.
2014-07-08 18:35:40 +02:00
Eelco Dolstra
639f117ec4 openjdk: Update to 7u60-b30 2014-07-08 18:35:40 +02:00
Eelco Dolstra
c4877df388 openjdk: Drop dependency on CUPS
We only need the CUPS headers, not the whole package.
2014-07-08 18:35:40 +02:00
Eelco Dolstra
95b828de42 Merge remote-tracking branch 'origin/master' into staging 2014-07-07 13:16:26 +02:00
Paul Colomiets
febf46bf5c rust: Update to 0.11 2014-07-03 00:52:33 +03:00
Vladimír Čunát
aceb30cd93 Merge master into x-updates
Adds the mass-rebuilding python update.
2014-07-02 22:54:41 +02:00
Luca Bruno
aa0179744a go: fix build of 1.0.3 2014-07-02 12:12:57 +02:00
John Wiegley
f666bf4ddf compcert: Correct syntax used in default.nix 2014-07-01 17:01:11 -05:00
John Wiegley
8d5c4e8b4b compcert: build with 64-bit compiler, add darwin support 2014-07-01 16:43:27 -05:00
Eelco Dolstra
0fd9db3cfb gcc-4.8: Get rid of lib64
Having a separate lib64 is bad because it requires special-casing in
lots of places.

Previously done in e4a11b4d92, which
apparently got lost going from 4.6 to 4.8.
2014-07-01 14:27:57 +02:00
Eelco Dolstra
06fc1ec34d Merge remote-tracking branch 'origin/master' into staging
Conflicts:
	pkgs/servers/serfdom/default.nix
2014-07-01 11:25:41 +02:00
Eelco Dolstra
89f8af55f1 Darwin: Use xcrun to get the path to the SDK
Recent versions of Xcode don't install headers in /usr/include but
in a directory like

  /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.9.sdk/usr/include

So use that instead, falling back to /usr/include in case of an older
version of Xcode.
2014-07-01 11:01:36 +02:00
Eelco Dolstra
55e8e0ef9b gcc: Slight builder cleanup 2014-06-30 17:31:02 +02:00
Eelco Dolstra
7fe89be146 gcc: Fix purity
Somewhere the no-sys-dirs.patch got disabled, so gcc was looking in
/usr/local/include and /usr/lib. Since I can't fix the patch easily,
I've borrowed the --sysroot trick from clang-wrapper. This causes
builtin paths to be prefixed with /var/empty
(e.g. /var/empty/usr/lib), which don't exist.
2014-06-30 16:43:02 +02:00
Eelco Dolstra
40f7b0f9df Another attempt to eradicate ensureDir
See c556a6ea46.
2014-06-30 14:56:10 +02:00
Michael Raskin
5a8a92c01a Merge pull request #3007 from wkennington/master.syslinux
syslinux: Update 4.07 -> 6.02
2014-06-30 10:29:28 +04:00
Michael Raskin
a2dacf72d3 Scala: update to 2.9.3 and fix URL
Fixes #2613

It is a pull request by taku0 with a long story…
2014-06-30 09:37:19 +04:00
Michael Raskin
12e0c22e80 Merge pull request #2610 from taku0/oraclejdk8
add oraclejdk8
2014-06-30 09:26:58 +04:00
John Wiegley
e36e853817 smljnBootstrap: new expression for running smlnj on darwin 2014-06-26 15:54:45 -07:00
Vladimír Čunát
dfd80a1b7e Merge recent master into x-updates
Hydra eval: 1131611
2014-06-26 22:05:15 +02:00
Vladimír Čunát
c63a9c155c hhvm: fix build with freetype-2.5 2014-06-26 21:56:47 +02:00
John Wiegley
b08031ffec sbcl: use bootstrap binary on darwin 2014-06-25 22:07:55 -07:00
Charles Strahan
abc3a27dbc fix openjdk url for Darwin 2014-06-25 15:01:13 -04:00
John Wiegley
8cf92b530a Merge pull request #3060 from cstrahan/packer
Add gox and packer packages
2014-06-24 15:19:42 -07:00
William A. Kennington III
e543a74011 nasm: 2.11.01 -> 2.11.05 2014-06-24 16:10:13 -05:00
Domen Kožar
0e54b7980a go 1.3: doesn't evaluate on freebsd 2014-06-23 17:43:43 +02:00
Daniel Zinn
86c283824f If cuda headers are presented to nix in $out/include they are added to future gcc calls via a -isystem flag. However, cuda does not allow kernel calls from template function if these are located in system-headers. We thus move headers from $out/include to $out/usr_include and add a custom hook to add these headers via -I. 2014-06-23 06:11:34 -07:00
Bjørn Forsman
89e6eb41f2 aliceml: description improvements
Move the (long) description to "longDescription" and add a short
description in "description".
2014-06-23 12:33:10 +02:00
Charles Strahan
06a07684aa Add gox and packer packages 2014-06-23 03:56:31 -04:00
Charles Strahan
984bb6b923 go 1.3 and darwin support 2014-06-23 01:10:20 -04:00
taku0
21643702e7 jdk7: update patchversion 55 -> 60. 2014-06-22 21:45:30 +09:00
taku0
4f745ce8b2 oraclejdk8: Add support for grsecurity 2014-06-22 21:39:37 +09:00
taku0
a056940066 add oraclejdk8 2014-06-22 21:39:37 +09:00
John Wiegley
b24da6b15d gccApple: Patches for building on Mavericks 2014-06-21 11:32:37 -07:00
Vladimír Čunát
3ec2cea214 Merge master into x-updates
Conflicts (auto-solved):
	pkgs/os-specific/linux/alsa-plugins/default.nix
2014-06-20 00:24:38 +02:00
Vladimír Čunát
219cae447d llvmPackages: maintenance update to 3.4.2
Updated all that was released: llvm, clang, and libc++.
2014-06-20 00:23:52 +02:00
Rob Vermaas
a975f6d8c5 Merge pull request #3016 from danielzinn/add_cuda_6
Added cuda6 compiler as package cudatoolkit6.
2014-06-19 14:10:36 +02:00
Mathijs Kwik
9ceeb77bd3 agda-stdlib: no need to jailbreak anymore 2014-06-19 13:38:54 +02:00
Daniel Zinn
ca0de0f1f7 Added cuda6 compiler as package cudatoolkit6. 2014-06-19 04:24:21 -07:00
Moritz Ulrich
bc41714d02 chicken: Update to 4.9.0.1. 2014-06-19 12:04:20 +02:00
Austin Seipp
b9fc9bd760 Merge pull request #2992 from bluescreen303/agda
Agda: upgrade stdlib to 0.8, change defaults to latest version
2014-06-18 16:22:33 -05:00
Peter Simons
f7c7282964 Merge pull request #2979 from bluescreen303/idris
Idris: fix wrapper for llvm, upgrade emacs-idris-mode
2014-06-18 10:00:00 +02:00
Mathijs Kwik
3fd519822f agda-stdlib: upgrade to 0.8 (they keep changing the version scheme)
Conflicts:
	pkgs/development/compilers/agda/stdlib-0.8.nix
	pkgs/top-level/haskell-packages.nix
2014-06-17 08:25:44 +02:00
John Wiegley
61e8fe50c2 Agda: add 2.4.0.1, 2.3.2.2 is still the default for now 2014-06-16 14:03:17 -07:00
Mathijs Kwik
8d708ba35a idris: provide boehmgc to compile with llvm backend 2014-06-16 22:43:51 +02:00
Vladimír Čunát
1b78ca58bc Merge #2798: stdenv and a few other big updates
Stdenv-changing things:
    - gcc 4.8.2 -> 4.8.3
    - long-running grsecurity branch
Others:
    - pkgconfig update
    - CVE for libtasn1, dbus

Conflicts (simple):
    pkgs/development/compilers/ghc/7.6.3.nix
2014-06-16 10:23:36 +02:00
Vladimír Čunát
9757785295 Merge recent master 2014-06-15 17:55:35 +02:00
Peter Simons
132309de52 scala: cosmetic fix for syntax highlighting in Emacs 2014-06-15 17:12:14 +02:00
Robert M. Mather
2d6d52bb2a Ur/Web compiler: new release, 20140426 -> 20140531 2014-06-13 18:22:34 -07:00
Peter Simons
e9bbb1ede9 haskell-idris: update to version 0.9.13.1 2014-06-13 15:41:22 +02:00
Austin Seipp
3e76f3922f Merge pull request #2801 from orbitz/haxe-3.1.3
Add HaXe 3.1.3
2014-06-12 20:41:58 -05:00
Vladimír Čunát
de12094b0e Merge recent master 2014-06-12 09:15:11 +02:00