JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
52,885 Commits 2 Branches 0 Tags 12 GiB
b4214da14e
Commit Graph

2185 Commits

Author SHA1 Message Date
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
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