Commit Graph

4454 Commits

Author SHA1 Message Date
Jörg Thalheim
e5b97e36c5 Merge pull request #29642 from Zimmi48/update-compcert
Update CompCert
2017-09-21 18:30:39 +01:00
Théo Zimmermann
8fde5790b4 compcert: fix license
The license of CompCert is not a generic "INRIA" license. It is "INRIA Non-Commercial
Agreement for the CompCert verified compiler". As unfortunate as it may seem, this
is a non-free license (clearly mentioned as such in its preamble). See also #20256.
2017-09-21 15:24:17 +02:00
Théo Zimmermann
3370615a7f compcert: 3.0.1 -> 3.1
Note that the fix of the VERSION file can likely be removed at the next update.
2017-09-21 15:06:51 +02:00
Edward Tjörnhammar
85cd648778 jetbrains.jdk: style fixes, platform restriction 2017-09-21 10:48:02 +02:00
Aleksey Kladov
53337c0fc8 jetbrains.jdk: init at 152b970.2 2017-09-21 10:48:02 +02:00
John Ericson
1fc12241ed all-packages: get rid of wrapCCCross
It's unneeded
2017-09-20 00:59:19 -04:00
volth
9efe27ee3b haxe: 3.4.2 -> 3.4.3 2017-09-18 23:09:07 +02:00
Michael Raskin
66351498d6 julia_06: init at 0.6.0; make the default julia 2017-09-17 17:09:51 +02:00
Eelco Dolstra
bb1c9b027d cudatoolkit: Move libcudart to a separate output
This prevents opensubdiv (and thus blender) from having all of
cudatoolkit in its closure.
2017-09-16 22:45:14 +02:00
Peter Simons
76519f9299 ghc-7.2.2: record the commit that broke it
git-bisect says the problem is 51cf42ad0d.
2017-09-15 20:52:24 +02:00
Peter Simons
3510197dcc Revert "haskell infra, ghc: Slight cleanup" 2017-09-15 18:45:15 +02:00
John Ericson
2295533f43 Merge pull request #29424 from obsidiansystems/slight-haskell-cleanup
haskell infra, ghc: Slight cleanup
2017-09-15 12:12:47 -04:00
Franz Pletz
3a4add5de1 Merge pull request #29322 from mguentner/move_emscripten_from_top_level
emscriptenfastcomp: move wrap magic to own file, use newScope
2017-09-15 17:46:25 +02:00
John Ericson
63bf7d002c ghc: Clean up, and add passthru.prefix, in preparation for cross
No hashes should be changed.
2017-09-15 11:37:39 -04:00
Joachim Fasting
3f7ac92175
tinycc: 0.9.27pre-20170821 -> 0.9.27pre-20170911
Contains various fixes.
2017-09-15 16:05:00 +02:00
Peter Simons
33b09c0f0e ghc-7.2.2 is broken 2017-09-15 13:55:23 +02:00
Jörg Thalheim
3b5245f0c4 dmd: remove broken flag 2017-09-15 04:35:30 -05:00
Jörg Thalheim
419869269d Merge pull request #28635 from ThomasMader/ldc
Init ldc at 1.3.0, fix bootstrap dmd build, fix dtools test, run dmd-testsuite in checkPhase and fix Foundation framework
2017-09-15 10:32:10 +01:00
John Ericson
0d12d040e7 Merge pull request #29402 from obsidiansystems/binutils-output-ref
treewide: Fix some references to binutils
2017-09-14 18:51:12 -04:00
John Ericson
bf7b521500 treewide: Fix some references to binutils
- Compiler's shouldn't use `binutils.dev` as that doesn't yet exist
   with a cross binutils.

 - Last two `binutils.binutils` which weren't reverted
2017-09-14 18:12:54 -04:00
Kamil Chmielewski
a2666e3668 ponyc: 0.19.0 -> 0.19.1
https://github.com/ponylang/ponyc/issues/2226
2017-09-14 10:37:06 +02:00
John Ericson
349a09228e Merge pull request #29246 from LnL7/clang-stdenv
clang-stdenv: move libstdcxxHook to cc-wrapper
2017-09-13 16:21:41 -04:00
Daiderd Jordan
ad486c48a6
llvm-packages: apply cc-wrapper/stdenv changes to older versions 2017-09-13 20:51:52 +02:00
Daiderd Jordan
ac88515052
clang-stdenv: move libstdcxxHook to cc-wrapper 2017-09-13 20:51:41 +02:00
Maximilian Güntner
8550e4e520
emscriptenfastcomp: move wrap magic to own file, use newScope 2017-09-13 19:12:08 +02:00
John Ericson
8fccaa284d Merge pull request #29282 from obsidiansystems/soext
lib, treewide: Add `*Platform.extensions` and use it where possible
2017-09-13 11:20:06 -04:00
John Ericson
5aec3f96a2 treewide: Use *Platform.extensions 2017-09-13 11:16:10 -04:00
Vladimír Čunát
422adc3063
Merge branch 'staging'
10k staging builds are not yet finished on Hydra (mostly darwin),
but we now have a 20k jobs rebuilding directly on master, so we would
never get to merge this way...
2017-09-12 19:17:52 +02:00
Jörg Thalheim
2d77958271 Merge pull request #29007 from mguentner/avrclean
avr-*: split avr-gcc-libc into separate packages
2017-09-12 10:28:56 +01:00
Frederik Rietdijk
628b6c0e9d Merge remote-tracking branch 'upstream/master' into HEAD 2017-09-11 22:52:53 +02:00
John Ericson
e916917acf ghc-8.2.1: Get rid of preReleaseName binding now that it is released
No hashes should be changed
2017-09-10 17:35:25 -04:00
Aristid Breitkreuz
3dea197273 ispc: use newer version and LLVM 4.0 due to bug in clang++ 3.9 wrapper (see #29204) 2017-09-10 15:43:59 +02:00
Rob Vermaas
b7ac21fe0d
shaderc: mark as broken
(cherry picked from commit 2ccdac8c9e79030aca144137d0479065ce40fbb8)
2017-09-10 12:38:19 +00:00
Rob Vermaas
18695b5586
dmd: mark as broken
(cherry picked from commit 8d5fc1beda9716c8b8015a7a5abccb70eee21448)
2017-09-10 10:00:24 +00:00
Peter Simons
398b36431d ghc: remove obsolete 8.0.1 version 2017-09-10 09:47:52 +02:00
Frederik Rietdijk
febd5e323d Merge remote-tracking branch 'upstream/master' into HEAD 2017-09-08 20:48:14 +02:00
Nikolay Amiantov
1704eeb930 gcc7: 7.1.0 -> 7.2.0 2017-09-07 17:04:29 +03:00
Eelco Dolstra
ec8d41f08c
Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper"
This reverts commit 0a944b345e, reversing
changes made to 61733ed6cc.

I dislike these massive stdenv changes with unclear motivation,
especially when they involve gratuitous mass renames like NIX_CC ->
NIX_BINUTILS. The previous such rename (NIX_GCC -> NIX_CC) caused
months of pain, so let's not do that again.
2017-09-07 12:51:21 +02:00
Frederik Rietdijk
9e27b88141 Merge remote-tracking branch 'upstream/master' into HEAD 2017-09-06 20:17:53 +02:00
Daiderd Jordan
57ef1a3564
go: fix darwin build 2017-09-06 19:45:10 +02:00
Frederik Rietdijk
38dc9a870f Merge remote-tracking branch 'upstream/master' into HEAD 2017-09-06 14:01:25 +02:00
Peter Simons
89f5d52cf4 Revert "Merge pull request #27209 from nc6/nc/haskell-multiple-out"
This reverts commit dfb0f25484, reversing
changes made to 7f8ff02437. These changes broke
the ghcWithPackages wrapper:

    nix-shell -p "haskellPackages.ghcWithPackages (ps: [ps.mtl])" --run "ghc-pkg list mtl"
    /nix/store/szz84j5k1dy3jdashis6ws28d8l8zxxb-ghc-8.0.2-with-packages/lib/ghc-8.0.2/package.conf.d
        (no packages)
2017-09-06 10:19:18 +02:00
Charles Strahan
3189b01647
go: init 1.9 (and set as default) 2017-09-05 16:44:13 -04:00
Daiderd Jordan
0adb83e2a2 Merge pull request #28998 from LnL7/libstdcxx-hook
libstdc++: add setup-hook
2017-09-05 21:40:31 +02:00
Daiderd Jordan
907222098a
clang-stdenv: use libstdcxxHook when targeting linux 2017-09-05 21:37:06 +02:00
Franz Pletz
bbeeee220a
Merge remote-tracking branch 'origin/master' into staging 2017-09-05 20:14:08 +02:00
Maximilian Güntner
414f5eff2d
microscheme: replaced avrgcclibc with separate dependencies 2017-09-05 13:52:34 +02:00
Kamil Chmielewski
b80c3646c2 ponyc: 0.18.1 -> 0.19.0
https://github.com/ponylang/ponyc/issues/2209
2017-09-05 10:49:24 +02:00
Frederik Rietdijk
d7ef196c26 Merge remote-tracking branch 'upstream/master' into HEAD 2017-09-05 10:11:06 +02:00
John Ericson
6a089581f8 gcc-4.5: Fix typo 2017-09-04 15:53:02 -04:00