ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2025-01-06 13:16:40 +03:00
Code Issues Projects Releases Wiki Activity
44,054 Commits 96 Branches 102 Tags 4.8 GiB
4d269593d2
Commit Graph

1864 Commits

Author SHA1 Message Date
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
Benno Fünfstück
9d15c568d8 Fix whitespace 2014-04-26 21:15:06 +02:00
Austin Seipp
5401849e3a cryptol v2.0.0 
This comes with several extra libraries, including GraphSCC, monadLib,
presburger, process and smtLib, all required as build dependencies. But
otherwise totally automated via cabal2nix.

Next up is CVC4 (a total pain in the ass to package) for proving/SAT
support.

I have another WIP branch for the unfree 1.x series which I may (or may
not) add later as it has external verification tech at the moment.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-25 05:42:00 -05:00