Commit graph

3003 commits

Author SHA1 Message Date
Arseniy Seroka 5f767b2580 Merge pull request #12462 from wizeman/u/add-fstar
fstar: init at 2016-01-12
2016-01-19 16:41:44 +03:00
Peter Simons cdd07d166b uhc: the build is broken (and will be for the foreseeable future) 2016-01-19 11:10:29 +01:00
Ricardo M. Correia 097c82f6c5 fstar: init at 2016-01-12 2016-01-19 01:46:30 +01:00
Vladimír Čunát 620c147cce Merge branch 'master' into staging 2016-01-18 09:48:49 +01:00
William Casarin e66965fdee terra: init at git-2016-01-06 2016-01-17 17:30:01 -08:00
Tobias Geerinckx-Rice 837594fe6b Merge pull request #12363 from expipiplus1/llvm-enable-shared
llvm: Add enableSharedLibraries option to 3.5 and 3.6
2016-01-18 01:41:25 +01:00
Peter Simons 623664daaa ghc-8.0.1: drop unused docbooc-related build inputs
The documentation is now built via Sphinx (todo).
2016-01-15 20:47:58 +01:00
Vladimír Čunát 2d0893088f Merge branch 'master' into staging 2016-01-15 13:43:57 +01:00
Arseniy Seroka be12086866 Merge pull request #12371 from otwieracz/master
ccl updated to 1.11
2016-01-14 19:01:32 +03:00
Nathan Zadoks 174221b744 go: 1.5.2 -> 1.5.3
This addresses CVE-2015-8618 (a vulnerability in math/big)
This issue can affect RSA computations in crypto/rsa, which is used by
crypto/tls. TLS servers on 32-bit systems could plausibly leak their RSA
private key due to this issue. Other protocol implementations that
create many RSA signatures could also be impacted in the same way.
https://groups.google.com/forum/#!topic/golang-dev/MEATuOi_ei4
2016-01-14 14:55:43 +01:00
Rob Vermaas 3da892a18e Add binary openjdk 8 build for x86_64-darwin, similar to the openjdk 7 build for x86_64-darwin.
(cherry picked from commit 5f3e33b8ec)
2016-01-14 10:29:18 +00:00
Rob Vermaas 5f3e33b8ec Add binary openjdk 8 build for x86_64-darwin, similar to the openjdk 7 build for x86_64-darwin. 2016-01-14 02:28:16 -08:00
Slawomir Gonet e056b66613 ccl: 1.10 -> 1.11 2016-01-14 08:33:23 +01:00
Jude Taylor 552207f5ef package GHC-8.0.1-rc1 2016-01-13 12:04:18 -08:00
Joe Hermaszewski 9238521b1c llvm: Add enableSharedLibraries option to 3.5 and 3.6 2016-01-13 15:21:23 +00:00
Nikolay Amiantov cdb5f269e2 rustcMaster: 2015-12-09 -> 2016-01-10 2016-01-13 13:48:24 +03:00
Peter Simons 1ec9144cad ghcjs: mark broken
Citing from http://hydra.cryp.to/build/1533084/log/raw:

    Configuring ghcjs-0.2.0...
    Setup: At least the following dependencies are missing:
    aeson >=0.7 && <0.10,
    haskell-src-exts ==1.16.*,
    optparse-applicative ==0.11.*,
    syb >=0.4 && <0.6

This issue has been present for a while now, and it's only gotten worse.
2016-01-11 12:06:03 +01:00
Robin Gloster 897fb98a96 llvm: 3.7.0 -> 3.7.1 (close #12200)
This obsoletes a backport for rust.
2016-01-07 11:12:54 +01:00
Johannes Bornhold 7672c68ed7 dmd: Avoid depending on gcc for the darwin build (close #11949)
Adding stdenv.cc into the PATH, also setting CC, so that on Darwin
clang will be used by default. Still allowing to use an existing value
of CC if it is set already.

Replacing __inline_isnanl with __inline_isnan on darwin since the former
one was not defined.
2016-01-06 15:06:53 +01:00
Eelco Dolstra 0db7ccb5c6 gcc: Respect $SOURCE_DATE_EPOCH 2016-01-05 17:21:48 +01:00
Vladimír Čunát b1acaffe67 Merge branch 'master' into staging 2016-01-05 10:28:58 +01:00
Mateusz Kowalczyk 44f5980a43 orc: update from 0.4.23 to 0.4.24 2016-01-03 20:51:14 +00:00
Philipp Hausmann b574af31f4 maintainers: Make attrname match my github account 2016-01-03 10:27:30 +01:00
Benjamin Staffin 212b83433d go1.5: Fix Darwin build by disabling a broken test (close #12075)
TestNohup appears to work on Darwin if the test suite is running
attached to a terminal, but not when Nix runs it.
2016-01-02 12:29:26 +01:00
janus 072da541de FreeBSD: undo removal of Solaris and remove changes to native stdenv now that FreeBSD has its own 2016-01-01 17:01:13 +00:00
janus f351aaaf85 FreeBSD: use own stdenv, do not run libtiff tests, use PIC for zlib 2016-01-01 17:01:13 +00:00
janus a1ade02cdc FreeBSD support 2016-01-01 16:59:48 +00:00
Michael Raskin 5446554002 lazarus: 1.2.6 -> 1.4.4 2016-01-01 12:30:17 +03:00
Michael Raskin a102de361b fpc: 2.6.4 -> 3.0.0 2016-01-01 12:30:17 +03:00
Arseniy Seroka 51c9093ce7 Merge pull request #12025 from VShell/icestorm
yosys, arachne-pnr, icestorm: init
2015-12-30 20:44:05 +03:00
Michael Raskin f7ab821916 Julia: update libuv version 2015-12-30 18:17:43 +01:00
Shell Turner c485543c7c yosys: init at 2015.12.29 2015-12-30 16:52:41 +00:00
Shell Turner f11ec866ad arachne-pnr: init at 2015.12.29 2015-12-30 16:52:41 +00:00
Arseniy Seroka 801d4298dc Merge pull request #11938 from NeQuissimus/kotlinb4hf
kotlin: 1.0.0-beta-4583 -> 1.0.0-beta-4584
2015-12-25 17:27:06 +03:00
Moritz Ulrich c11f6c9dc7 rustc-1.5.0: Don't force bundled LLVM 2015-12-24 21:14:06 +01:00
Robin Gloster b26aa99d9d rustc: 1.4.0 -> 1.5.0 2015-12-24 21:14:06 +01:00
Moritz Ulrich b45161fbbe llvm: Add backported patch for Rust.
Rust runs into a bug with LLVM 3.7.0 that's fixed in the upcoming
release 3.7.1. This commit backports this fix.
2015-12-24 21:14:06 +01:00
Tim Steinbach 84accab674 kotlin: 1.0.0-beta-4583 -> 1.0.0-beta-4584 2015-12-24 13:24:57 -05:00
Tim Steinbach eb8e309d2b kotlin: 1.0.0-beta-3595 -> 1.0.0-beta-4583, fixes #11883 2015-12-23 01:50:06 +01:00
Gaëtan André ff58a9831b matter-compiler: initial expression, fixes #11780 2015-12-18 15:49:57 +01:00
Peter Simons 1f108490f1 ghc-HEAD: update build instructions and bump version to current Git master
Closes https://github.com/NixOS/nixpkgs/issues/10752.
2015-12-16 21:33:56 +01:00
Peter Simons 878692e645 ghc-7.10.3: remove the obsolete build.mk file
New versions of GHC allow us to specify those things on the
command-line, so the build.mk file is no longer necessary.
2015-12-16 21:33:56 +01:00
Peter Simons a421e7bd4a ghc-7.10.3: don't pass compiler or linker flags through a response file
The new GHC version contains a patch [1] that passes linker and compiler flags
to GCC via response files rather than directly on the command-line. This is
supposed to be beneficial on Windows and other platforms that have trouble
dealing with long argument lists. On NixOS, however, this feature breaks the
flag handling provided by gcc-wrapper [2] and therefore causes the entire GHC
build to fail.

This issue has been reported upstream at [3]. It's not clear yet how to remedy
this problem, but until we've figured that out we just don't pass compiler flags
in response files on NixOS to fix https://github.com/NixOS/nixpkgs/issues/10752.

[1] 296bc70b5f
[2] https://github.com/NixOS/nixpkgs/issues/11762
[3] https://ghc.haskell.org/trac/ghc/ticket/11147
2015-12-16 21:33:56 +01:00
Peter Simons eae27e7798 ghc: update version 7.10.3 to 7.10.3a
Apply upstream patches that fix minor cosmetic issues in the documentation.
2015-12-16 21:33:56 +01:00
Rene Donner 36ab097c6c julia: 0.4.0 -> 0.4.2 2015-12-15 20:38:08 +01:00
Shea Levy fb21fe3001 Merge branch 'update_gcc5' of git://github.com/lancelotsix/nixpkgs 2015-12-12 09:31:02 -05:00
Lancelot SIX 4cf6fef6fc pkgs.gcc5: 5.2.0 -> 5.3.0
gcc-5.3.0 is a bug-fix release from the GCC 5 branch.

See https://lists.gnu.org/archive/html/info-gnu/2015-12/msg00002.html
2015-12-12 14:41:53 +01:00
David A Roberts 7200a5c079 cmdstan: init at 2.9.0 2015-12-12 22:42:01 +10:00
Arseniy Seroka a075650b1d Merge pull request #11568 from benley/patch-1
closure-compiler: allow building on darwin
2015-12-10 17:31:16 +03:00
Ricardo M. Correia 6baa633064 rustcMaster: 2015-11-01 -> 2015-12-09 2015-12-09 20:15:59 +01:00