public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
44,057 Commits 1 Branch 0 Tags
Commit Graph

1866 Commits

Author SHA1 Message Date
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
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
Austin Seipp
1651871250 jhc: 0.8.0 -> 0.8.1 
Also, bootstrap the compiler with GHC 7.6.3 instead of 6.12.3.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-18 10:14:05 -05:00
Austin Seipp
b3b6faa5ec Merge pull request #2398 from cstrahan/rust-update 
rust: update to 0.10 release
 2014-05-18 07:49:41 -05:00
Austin Seipp
f1dc681538 cryptol: add a convenient clang/lss wrapper 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-17 14:09:09 -05:00
Vladimír Čunát
0430f59d64 llvmPackages.lld: fix build after 3.4.1 update 
Somehow I forgot this package.
 2014-05-16 18:29:12 +02:00
Vladimír Čunát
cf1dbbbf72 llvm+clang: maintenance update 3.4 -> 3.4.1 
Slightly hacky for clang at some points, as directory names change strangely.
 2014-05-15 21:02:28 +02:00
Ricardo M. Correia
d674594ce3 icedtea7: Add support for grsecurity 2014-05-15 13:25:50 +02:00
Ricardo M. Correia
6021ce8b83 openjdk: Add support for grsecurity 2014-05-15 13:25:49 +02:00
Ricardo M. Correia
df503a2ad4 openjdkBootstrap: Add support for grsecurity 2014-05-15 13:25:49 +02:00
Ricardo M. Correia
2204eb9f18 ghc: Add support for grsecurity 
In this case, we also need to specify compilation flags to mark stacks as
non-executable, otherwise PaX will not allow ghc or binaries built by ghc
to run.  This is what gentoo-hardened does as well.
 2014-05-15 13:25:49 +02:00
Ricardo M. Correia
601bd3e6e5 oraclejdk7: Add support for grsecurity 2014-05-15 13:25:48 +02:00
Ricardo M. Correia
06725e95eb gcc: Add support for grsecurity 2014-05-15 13:25:47 +02:00
Ricardo M. Correia
f9cd53ba18 llvm: Add support for grsecurity 2014-05-15 13:25:47 +02:00
Karn Kallio
432998852c Add the Mercury compiler to nixpkgs. 2014-05-14 22:44:38 +02:00
Austin Seipp
3fbe6f3292 Merge pull request #2605 from ro6/master 
Ur/Web compiler: new release, 20130421 -> 20140426
 2014-05-14 14:59:09 -05:00
Peter Simons
6c61d41dc9 Drop obsolete Haskell packages WebBits, WebBitsHtml, JsContracts, and flapjax. 
None of our compilers can build these packages. I suppose that stuff has
been replaced by language-ecmascript.
 2014-05-14 15:02:33 +02:00
Moritz Ulrich
172391272d chicken(-dev): Update to 4.8.0.5 / 4.9.0rc1 2014-05-14 12:22:52 +02:00
Lluís Batlle i Rossell
418f0b0169 Revert "go: updating to 1.2.2" 
Now I've read in Release Notes that the '.2' affected only binary releases.
http://golang.org/doc/devel/release.html#go1.2.minor
 2014-05-14 10:16:35 +02:00
Lluís Batlle i Rossell
950fd7644c go: updating to 1.2.2 2014-05-14 10:14:28 +02:00
Austin Seipp
11373a9d05 Merge pull request #2520 from CodeBlock/scala 
scala: Bump to 2.11.0, bump 2.10 to 2.10.4
 2014-05-13 19:44:42 -05:00
Charles Strahan
6d5db3e93b rust: update to 0.10 release 2014-05-12 13:37:38 -04:00
Robert M. Mather
3729ead3af Ur/Web compiler: new release, 20130421 -> 20140426 2014-05-10 20:42:35 -07:00
Peter Simons
366e3bd7a1 ghc-7.0.1: fix download URL 2014-05-07 20:33:32 +02:00
John Wiegley
854b1fb9fb Build AgdaStdlib before installing it 2014-05-05 19:51:05 -05:00
Ricky Elrod
d66cdd3c43 scala: Bump to 2.11.0, bump 2.10 to 2.10.4 2014-05-05 02:14:57 -04:00
Peter Simons
c2fd001fd4 Remove obsolete Agda-executable package; the compiler is not part of 'Agda'. 2014-05-04 12:17:35 +02:00
Peter Simons
13b246b221 ghc-head: update snapshot to 7.9.20140430 (and download the tarball from Debian) 
https://github.com/NixOS/nixpkgs/pull/2480
 2014-05-03 20:03:30 +02:00
Rob Vermaas
837ddd22f2 Merge pull request #2388 from bennofs/update-jdk7 
jdk7: update patchversion 51 -> 55.
 2014-05-03 15:59:49 +02:00
Peter Simons
64d662e056 Agda: move compiler and standard library into a common directory 
Also renamed AgdaStdLib attribute to AgdaStdlib, since upstream doesn't
seem to capitalize that name.
 2014-05-03 12:37:17 +02:00
Peter Simons
801a4818c8 Merge pull request #2474 from jwiegley/agda-stdlib 
Add expression for the Agda standard library
 2014-05-03 12:33:26 +02:00
John Wiegley
7d788d5e4f Add expression for the Agda standard library 2014-05-02 19:15:38 -05:00
Austin Seipp
27a0d56514 compcert: Fix Hydra platforms 
Copy-pasta error, and compcert doesn't really make sense on Darwin or
64bit linux (it's callPackage_i686 anyway).

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-02 14:07:36 -05:00
Austin Seipp
0c51a4ac98 nixpkgs: add CompCert 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-01 19:11:46 -05:00
Peter Simons
7452e8b4eb haskell-Elm: update to version 0.12.1.3 2014-05-01 21:57:03 +02:00
Austin Seipp
52514efb16 cryptol: Replace URLs with something meaningful 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-29 17:54:37 -05:00
Austin Seipp
d9d76f1a3a cryptol: add 1.8.x expression 
This also includes support for the verification tools I'm using. Cryptol
2 is still the default obviously.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-29 17:50:55 -05:00
Austin Seipp
e590c0a867 ats/ats2: clean-up, adopt, add Hydra packages 
This also bumps ATS2 to version 0.0.7

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-27 11:26:16 -05:00