alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
45009 commits 217 branches 121 tags 4.5 GiB
Commit graph

1902 commits

Author SHA1 Message Date
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
Vladimír Čunát 34091bf265 cudatoolkit: fix multiple outputs (close #2466) 2014-06-11 21:32:13 +02:00
Austin Seipp 509beb1f68 Add HHVM packages, replacing old hiphop-php expr 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-06-10 13:28:35 -05:00
Peter Simons abff388c20 ghc-head: update to version 7.9.20140608 2014-06-10 20:27:20 +02:00
Vladimír Čunát f2352f7ecf Merge recent master 2014-06-10 20:14:08 +02:00
Vladimír Čunát 5a98b9f514 Merge recent master into p/stdenv 
Merged just before the pypi update, as it seems to cause problems on Hydra.
 2014-06-09 19:07:31 +02:00
Vladimír Čunát 5e37c09f06 ghc on darwin: second attempt to fix build 
Tested not to affect hash on linux.
 2014-06-09 19:01:49 +02:00
Peter Simons b5e87f63f9 haskell-idris: update to version 0.9.13 2014-06-09 10:26:57 +02:00
Austin Seipp 8155e5d119 compcert: fix build by adding menhir dependency 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-06-09 01:25:27 -05:00
Austin Seipp 8c0b63162b compcert: 2.2 -> 2.3pl2 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-06-06 23:09:47 -05:00
Eelco Dolstra 1da6a7d4a9 Remove illegal meta.src attributes 2014-06-05 13:04:18 +02:00
Austin Seipp cd6cf75720 Merge pull request #2787 from doublec/aliceml 
Alice ML 1.4 programming language
 2014-06-03 20:36:44 -05:00
Shea Levy 2943fe1e76 go: bump 2014-06-03 13:51:37 -04:00
Moritz Ulrich 088cb87e8c chicken: Bump to 4.9.0. 2014-06-02 18:15:44 +02:00
Malcolm Matalka 27e2e4132b Add HaXe 3.1.3 2014-06-01 15:15:15 +02:00
John Wiegley 0369769bd9 gcc-4.8: build Objective-C/C++ support on darwin 2014-05-31 19:39:09 +00:00
Vladimír Čunát 789b1d613c ghc on darwin: attempt to fix build 2014-05-30 23:13:49 +02:00
Vladimír Čunát 628ac8b087 older GHCs: fix build after gcc-4.8.3 bump 
Getting "frame pointer required, but reserved" while compiling runtime.
Thanks to @jwiegley for suggestion of the work-around.
 2014-05-30 23:10:19 +02:00
Vladimír Čunát 4d269593d2 dragonegg: fix build, probably after gcc minor update 2014-05-30 11:03:54 +02:00
Vladimír Čunát 872860e6de Merge #1187 into p/stdenv 
Tested building firefox, kdelibs, evince on x86_64-linux.
 2014-05-29 22:16:07 +02:00
Chris Double b793f92233 Alice ML 1.4 programming language 2014-05-29 13:18:31 +12:00
Peter Simons 5c3c688f7b Elm: fix build by ignoring the build instructions provided by upstream 
Re-apply the build fix from <https://github.com/NixOS/nixpkgs/issues/2089>,
because apparently the underlying issue has not been fixed.

According to <https://github.com/elm-lang/Elm/issues/384>, Elm's release
archive comes with a Setup.hs that cannot compile an Elm release. Duh!
Replacing the custom Setup.hs file with a dummy version fixes this issue.
 2014-05-28 12:48:29 +02:00
Michael Raskin 66925a57ba Updating SBCL to 1.2.0 2014-05-28 01:33:28 +04:00
宋文武 0f65f11d6e mono: fix libgdiplus finding 2014-05-27 20:08:50 +02:00
Chris Double c05f252dac Definitions for Open Dylan 2013.2 (Dylan Language Implementation) 2014-05-27 20:27:47 +12:00
Vladimír Čunát ba190a71c7 Merge branch 'master' into p/stdenv 2014-05-26 19:35:47 +02:00
Domen Kožar a088c6fa36 Merge pull request #2710 from lovek323/mpd 
mpd: fix build on darwin
 2014-05-25 15:34:10 +02:00
Vladimír Čunát 610370f844 gcc: bugfix update 4.8.2 -> .3 
It's supposed to fix over 140 problems from upstream bugzilla.
https://gcc.gnu.org/bugzilla/buglist.cgi?bug_status=RESOLVED&resolution=FIXED&target_milestone=4.8.3

A previously separate patch got included in the release.

I tested that stdenv still builds.
 2014-05-23 00:25:36 +02:00
Austin Seipp 925a016113 Merge pull request #2521 from jwiegley/agda 
Build AgdaStdlib before installing it
 2014-05-22 14:22:31 -05:00
Rob Vermaas 1cb2f20511 swiProlog: update from 6.6.3 to 6.6.5 2014-05-22 12:55:03 +02:00
Peter Simons 4f5fce2710 haskell-Elm: update to version 0.12.3 2014-05-21 23:04:30 +02:00
Peter Simons 41d7d0ad31 haskell-elm-server: update to version 0.11.0.1 2014-05-21 23:04:30 +02:00
Jason "Don" O'Conal bcc36ee23e mpd: fix build on darwin 2014-05-21 15:50:15 +10:00
Lluís Batlle i Rossell b194050ee1 Fixing the cross gcc building. 
gcc 4.8 added libatomic, and it has to be disabled in case of
gccCrossStageStatic, as it requires libc.
 2014-05-19 10:26:54 +02:00
Austin Seipp c166bd3e07 jhc: Fix license 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-18 10:15:06 -05:00