swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-22 21:30:45 +02:00
Code Issues Packages Projects Releases Wiki Activity
44975 commits 5 branches 0 tags 27 GiB
Commit graph

1905 commits

Author SHA1 Message Date
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
Benno Fünfstück a2de61e2b6 jdk7: update patchversion 51 -> 55. 2014-04-25 12:29:25 +02:00
Shea Levy a3b1f48c5d Add gcc-4.9.0 2014-04-23 10:45:00 -04:00
Karn Kallio 4587bbbca2 pakcs: update hash for latest version. 2014-04-23 10:54:58 +02:00
Ricardo M. Correia b2250ad851 icedtea7: Update from 2.4.6 -> 2.4.7 
Fixes a bunch of CVEs.

Removed 2.4.6 build patch, as it's no longer necessary.
 2014-04-23 01:39:07 +02:00
aszlig 625d7b9043
Merge pull request #1928 from 'cross-win-osx'. 
This includes a lot of fixes for cross-building to Windows and Mac OS X
and could possibly fix things even for non-cross-builds, like for
example OpenSSL on Windows.

The main reason for merging this in 14.04 already is that we already
have runInWindowsVM in master and it doesn't work until we actually
cross-build Cygwin's setup binary as the upstream version is a fast
moving target which gets _overwritten_ on every new release.

Conflicts:
	pkgs/top-level/all-packages.nix
 2014-04-21 10:00:35 +02:00
Shea Levy 88e531d8dc Fix gcc bug 58800. 
See #2330 for details, except I needed to remove the Changelog change from the patch
 2014-04-20 09:46:21 -04:00
Shea Levy 2364bd807d Revert "Merge branch 'gcc-fix' of git://github.com/ambrop72/nixpkgs" 
The patch doesn't apply

This reverts commit 094eea8f6a, reversing
changes made to 552d66cd9e.
 2014-04-20 09:36:15 -04:00
Shea Levy 094eea8f6a Merge branch 'gcc-fix' of git://github.com/ambrop72/nixpkgs 
Description from ambrop72:

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58800

I have not been able to test this due to nix wanting to rebuild lots of
things before building gcc.
Patch was created with: svn diff -r 203872:203873
http://gcc.gnu.org/svn/gcc/branches

This should fix a crash in OpenSCAD: openscad/openscad#514
 2014-04-20 09:32:50 -04:00
ambrop7@gmail.com 7eeb94e8dc Add patch for GCC bug 58800. 2014-04-20 12:40:32 +02:00
Rok Garbas 805ec7e54a Merge pull request #2320 from iyzsong/unmaintain 
drop my maintainship of orc and vala
 2014-04-19 19:55:24 +01:00
宋文武 6da2470034 drop my maintainship of orc and vala 2014-04-19 23:21:51 +08:00
Marco d6aee89fd7 Fix build of MLton on Linux i686 2014-04-19 14:30:39 +01:00
Marco Maggesi 3737ec7c74 Enable compilation of MLton on darwin 2014-04-19 14:30:39 +01:00
Vladimír Čunát c8f633564e orc: bugfix update (mainly memory leaks), doCheck 2014-04-19 13:59:18 +02:00
Lluís Batlle i Rossell 44bda71b88 Adding ghdl 0.31 mcode flavour 
This allows having a recent ghdl, without building it with gcc.
The major drawback is the speed.
 2014-04-16 10:35:45 +02:00
Bjørn Forsman 99afbf9e91 sdcc: bump 3.3.0 -> 3.4.0 
This new sdcc doesn't need older boost, so switch to nixpkgs default
version (currently 1.55).
 2014-04-13 19:46:00 +02:00
Peter Simons 4604d52df4 GHC version 7.8.1 has been deprecated because of a serious bug. 
We'll have version 7.8.2 out soon.

http://www.haskell.org/pipermail/ghc-devs/2014-April/004605.html
http://www.haskell.org/pipermail/ghc-devs/2014-April/004616.html
 2014-04-11 22:33:11 +02:00
Vladimír Čunát 07dc578572 llvm(Packages) on darwin: attempts to fix 
- mark llvm34 as broken on darwin (so it doesn't install by default with nix-env)
- don't use our gcc for llvm_34 (might fix the build)
- switch also clang default to 3.3 on darwin (llvm was before)
 2014-04-10 21:19:40 +02:00
Ricardo M. Correia 76551abef2 icedtea7_web: Fix configure phase not finding bash 2014-04-10 00:15:53 +02:00
Ricardo M. Correia f6799983bd icedtea7_web: Update from 1.4.2 -> 1.5 
Fixes CVE-2012-4540.
 2014-04-10 00:15:53 +02:00
Ricardo M. Correia 442e1bbaab icedtea7: Fix building v2.4.6 by backporting fix 
See http://icedtea.classpath.org/bugzilla/show_bug.cgi?id=1726
 2014-04-10 00:15:47 +02:00
Ricardo M. Correia a644b7ba60 icedtea7: Update from 2.4.5 -> 2.4.6 2014-04-10 00:14:44 +02:00
Peter Simons 740c502a77 swiProlog: update from 6.6.2 to 6.6.3 2014-04-09 12:41:11 +02:00
Peter Simons 23c7a249d3 ghc: add release version 7.8.1 2014-04-08 21:35:48 +02:00
Austin Seipp f14540a619 fsharp: 3.1 -> 3.1.0 
This matches the traditional upstream versioning for FSharp in the wild

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-08 10:54:25 -05:00
Peter Simons d9c8db4a20 Elm: fix build by ignoring the build instructions provided by upstream 
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.

Close <https://github.com/NixOS/nixpkgs/issues/2089>.
 2014-04-08 13:17:51 +02:00
Mathijs Kwik 7f6a2f81b9 idris: upgrade to 0.9.12 2014-04-06 11:47:46 +02:00
Shea Levy 50a0b55a01 Merge branch 'oraclejdk' of git://github.com/nilcons/nixpkgs 
Update ffmpeg dependency to 0.10 in oraclejdk7
 2014-04-05 15:23:02 -04:00
Gergely Risko 44190ff1b9 Update ffmpeg dependency in oraclejdk7 2014-04-02 23:36:47 +02:00
Vladimír Čunát 23d38a3e22 gcc44: disable parallel build 
Maybe 4.4 is no longer needed? #699
 2014-04-02 19:07:58 +02:00
Vladimír Čunát 11d4c257c1 Merge branch glibc-2.19, see #1840 2014-04-02 19:03:49 +02:00
Karn Kallio 5d68efd230 aldor: update to 1.2.0 version in development. 2014-03-31 21:41:20 +02:00
Karn Kallio db21a0da97 pakcs: update hash for 1.11.3 release, which was updated without a version change. 2014-03-31 21:40:50 +02:00
Austin Seipp c038133721 fsharp: fix missing --replace argument 
This should fix the Hydra build.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-03-29 19:55:12 -05:00
Bjørn Forsman b5bd583bb8 gcc-arm-embedded: add meta attributes 2014-03-29 18:28:41 +01:00
ambrop7@gmail.com 8b94e22f33 Add gcc-arm-embedded. 
These are packages for precompiled ARM microcontroller compilers from
https://launchpad.net/gcc-arm-embedded.

[Bjørn: modify commit message (add paragraph).]
 2014-03-29 17:57:45 +01:00
Michael Raskin 1eb42d9d79 Merge pull request #2048 from echaozh/master 
add julia 0.2.1 release
 2014-03-28 23:03:04 -07:00
Shea Levy f3e9e3dea5 Merge branch 'u/icedtea' of git://github.com/wizeman/nixpkgs 
icedtea7, icedtea7_web: New packages
 2014-03-28 23:25:25 -04:00
Shea Levy 35165063a7 Merge branch 'clang-fix-fsanitize' of git://github.com/redbaron/nixpkgs 
Fix -fsanitize=... options for clang
 2014-03-28 21:58:56 -04:00
Zhang Yichao 10511b4712 add julia 0.2.1 release 2014-03-28 18:39:26 +08:00
Peter Simons 0f86e37b6c haskell-Elm: update to version 0.12 2014-03-27 13:12:52 +01:00
Peter Simons 27ebc33d65 haskell-elm-server: update to version 0.11 2014-03-27 13:12:52 +01:00
Ricardo M. Correia 342fc9c207 go: Add myself as maintainer to receive Hydra notifications 2014-03-27 12:37:18 +01:00
Ricardo M. Correia e39b70dd79 go: Update to 1.2.1 2014-03-27 12:37:18 +01:00
Ricardo M. Correia 5fbc63be35 icedtea7_web: New package 
Java web browser plugin and an implementation of Java Web Start.
 2014-03-26 21:07:36 +01:00
Ricardo M. Correia be8667627a icedtea: Workaround javaws/web plugin start-up error 
This is a workaround to avoid the error: "java.io.IOException: RSA premaster
secret error".

In Java Web Start and the Java web plugin, there seems to be a Java policy
that prevents untrusted code from being loaded, and (probably for security
reasons) it doesn't like the files in the JDK's lib/icedtea/jre/lib/ext
directory to be symlinks.

Worked around it by copying those files instead of symlinking them.
 2014-03-26 21:07:36 +01:00
Ricardo M. Correia 6ec21a5dd1 icedtea: Add update script 2014-03-26 21:07:36 +01:00
Ricardo M. Correia 72d457de2f icedtea7: New package 
Free Java environment based on OpenJDK 7.0 and the IcedTea project.
 2014-03-26 21:07:36 +01:00
Maxim Ivanov 2780cf2838 Fix -fsanitize=... options for clang 
When using -fsanitize=... options clang implicitly
links binary to static libraries which are part of
llvm, but expects them to be found under clang prefix
 2014-03-26 13:06:22 +00:00
Artyom Shalkhakov 0242b3c6ac Adding ATS1, updating ATS2 package. 2014-03-25 04:53:13 +01:00
Peter Simons 5c3be05e90 ghc-HEAD: fix build on recent versions of Darwin 2014-03-22 17:08:47 +01:00
Peter Simons e54ae8cce1 ghc-7.8.1: fix build on recent versions of Darwin 2014-03-22 17:08:47 +01:00
Peter Simons ec8e5b99fc ghc-7.4.2: fix build on recent versions of Darwin 2014-03-22 17:08:47 +01:00
Austin Seipp 2560f2e78b fsharp: 3.0 -> 3.1, and attempt to fix build 
Hopefully this fix will appease hydra - the distributed autogen.sh
script is annoying.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-03-21 04:09:06 -05:00
Shea Levy 2d97dd3fb7 Merge branch 'fsharp' of git://github.com/thoughtpolice/nixpkgs 
fsharp: Upgrade to fsharp-3.0

[ Shea: I'm merging thoughtpolice's commits without further testing
beyond code inspection, as I believe their work has proven itself ]
 2014-03-20 20:07:44 -04:00
Shea Levy 1150fa67eb Merge branch 'mono-3.2' of git://github.com/thoughtpolice/nixpkgs 
upgrade Mono -> 3.2.8 + LLVM support

[ Shea: I'm merging thoughtpolice's commits without further testing
beyond code inspection, as I believe their work has proven itself ]
 2014-03-20 20:05:04 -04:00
Peter Simons 4d03052c9c ghc: update HEAD snapshot to 7.9.20140313 2014-03-15 09:11:47 +01:00
Shea Levy 7939ca1e99 Merge branch 'update-java7' of git://github.com/bennofs/nixpkgs 
oraclejdk7: add missing dependencies
 2014-03-14 20:04:22 -04:00
aszlig 23b43c6a9b
gcc-4.8: Use --with-as/ld for MinGW-w64 as well. 
On MinGW, we're passing these programs to the configure script, but this
obviously won't work for non-autoconf-based projects.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-03-12 10:55:51 +01:00