Commit graph

2368 commits

Author SHA1 Message Date
Vladimír Čunát a9bad25ffe Merge branch 'master' into staging 2014-11-24 22:14:25 +01:00
Peter Simons 4f48c33b74 haskell-elm-get: jailbreak to fix build with recent http-client 2014-11-24 16:24:12 +01:00
Ricardo M. Correia 855241400c rustcMaster: Update from 0.12.0-pre-1166-g0047dbe -> 0.12.0-pre-1336-g394269d
Fixes #5056
2014-11-21 04:04:52 +01:00
Vladimír Čunát e887fc72d3 nasm: add a do-not-update comment 2014-11-20 17:58:10 +01:00
David Virgilio 73b7bf6773 new package: clash-ghc 2014-11-20 08:38:09 -06:00
Vladimír Čunát e3388aea6e nasm: downgrade again until syslinux gets fixed
Syslinux won't compile with the new version http://hydra.nixos.org/build/17236670
We've already had one update+revert cycle before.
CC @psub.
2014-11-20 11:33:25 +01:00
Mateusz Kowalczyk 1bded4188b scala: lib.licenses instead of a string 2014-11-19 18:54:58 +00:00
Mateusz Kowalczyk 03655c332a Add meta.branch to a bunch of packages
Gives better results in the monitor
2014-11-19 18:54:58 +00:00
Pascal Wittmann 885a29eefd nasm: update from 2.11.05 to 2.11.06 and adopt it 2014-11-19 08:47:41 +01:00
Moritz Ulrich b46201250c gforth: Install gforth.el & add meta-data. 2014-11-18 14:45:28 +01:00
cillianderoiste c1a0440bd3 Merge pull request #5022 from vbgl/roadsend
Removes roadsend (broken)
2014-11-18 10:17:45 +01:00
Vincent Laporte 1354bc0eba Updates (and fixes) opa 2014-11-18 07:26:16 +00:00
Vincent Laporte 15eec14f3a Removes roadsend (broken) 2014-11-17 22:42:21 +00:00
Ricardo M. Correia 2d3ec7d6f8 rustcMaster: Update from 0.12.0-pre-961-g93c85eb -> 0.12.0-pre-1166-g0047dbe 2014-11-17 20:39:40 +01:00
Mateusz Kowalczyk 9e79811eb6 AgdaStdlib: update to 0.9
This should have really been updated with Agda itself.
2014-11-17 16:48:10 +00:00
Luca Bruno 9631274f77 Add vala 0.26. Will be needed for gnome-terminal 3.14 2014-11-17 14:57:21 +01:00
Chris Double eaf74a6b77 Update aliceml to use git version of Alice ML
This allows 64 bit builds of Alice ML and removes the need for old
versions of gcc to build.

The license is changed to 'mit' from the 'bsd' that it was previously
as the COPYING files in the alice and seam repositories appear to be
the modern style MIT variant (also known as the ICU variant).

Added myself as the maintainer.
2014-11-18 01:05:42 +13:00
Ryan Trinkle ed6bfa2318 Update ghcjs 2014-11-17 01:08:11 -05:00
Eelco Dolstra a0f3faf34e Merge remote-tracking branch 'origin/glibc-2.20' into staging 2014-11-16 22:17:36 +01:00
Aristid Breitkreuz 7bb0ff509c remove gcc 3.3 and snx ("SSL Network Extender"), the only package that depends on it 2014-11-16 14:57:42 +01:00
Rene Donner 60eeaf355c update julia, make it portable accross cpu architectures 2014-11-14 16:05:33 +01:00
Eelco Dolstra ca441636f1 Merge branch 'staging' 2014-11-14 16:00:23 +01:00
Vladimír Čunát b4af993c3f Merge branch 'master' into staging
Conflicts (simple):
	pkgs/development/lisp-modules/clwrapper/setup-hook.sh
2014-11-14 14:28:23 +01:00
Peter Simons 99312f4a51 haskell-Agda: update to version 2.4.2.1 2014-11-14 14:13:40 +01:00
Vladimír Čunát 961ed7c8b4 dmd: fix 32-bit build and some nitpicks
CC #4976.
2014-11-14 14:12:32 +01:00
Vladimír Čunát b4214da14e gcc_multi: sync the change to 4.6 and 4.9 as well 2014-11-13 22:38:57 +01:00
Vladimír Čunát 457850397a gcc_multi: prevent overwritten libs after 51f1b4ec48 2014-11-13 22:30:32 +01:00
BlackEdder 959f706ace rdmd: update to new version
Source of old version was not available anymore. Update also depends on
newer version of dmd.
2014-11-13 20:51:32 +00:00
BlackEdder fbd2330aff dmd: update to 2.066.1 2014-11-13 14:57:58 +00:00
Mateusz Kowalczyk 12379b27c8 mozart: use longDescription field 2014-11-13 13:50:49 +00:00
Michael Raskin 1fd3e9116b Fix software-version function in SBCL by changing uname location from /bin/ 2014-11-13 13:11:24 +03:00
Eelco Dolstra f33fa1b66b Merge remote-tracking branch 'origin/master' into staging
Conflicts:
	pkgs/development/libraries/boost/generic.nix
2014-11-11 23:48:08 +01:00
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