Commit Graph

4512 Commits

Author SHA1 Message Date
Jörg Thalheim e5b97e36c5 Merge pull request 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 .
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
Moritz Kiefer d5a33e8f38 ghcjsHEAD: bump ghcjs shims 2017-09-20 10:59:22 +02:00
John Ericson e9c1f64048 Merge branch 'master' into staging 2017-09-20 01:39:59 -04:00
John Ericson 1fc12241ed all-packages: get rid of wrapCCCross
It's unneeded
2017-09-20 00:59:19 -04:00
Vladimír Čunát d4c33d5e4e
Merge branch 'master' into staging 2017-09-19 18:03:09 +02:00
Vladimír Čunát 16cf448933
gettext, gcc5: enable stackprotector now
This has been forgotten in  ?
2017-09-19 17:52:32 +02: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
Thomas Mader 59cdc2564c ldc: Disable check phase because some tests are not working if build has
sandboxing enabled
2017-09-17 00:16:58 +02:00
Thomas Mader 4535008a4c dmd: Disable check phase because some tests are not working if build has
sandboxing enabled
2017-09-17 00:15:31 +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
Thomas Mader 8fa1b39279 dmd: Fix bootstrap dmd to build with sandboxing of nixUnstable 2017-09-16 14:27:49 +02:00
Thomas Mader d2fdc9cb1f dmd: Add darwin/Foundation dependency to fix build on Darwin 2017-09-16 13:16:47 +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 from obsidiansystems/slight-haskell-cleanup
haskell infra, ghc: Slight cleanup
2017-09-15 12:12:47 -04:00
Franz Pletz 3a4add5de1 Merge pull request 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 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 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 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 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 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 ) 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 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 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 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
Daiderd Jordan 0ea92a3c24
libstdc++: add setup-hook 2017-09-04 21:07:05 +02:00
Nicholas Clarke 8c642d5937 Provide hscolour, happy, alex bin to buildInputs.
Use stdenv.lib.getBin instead of `.bin`
2017-09-04 12:35:57 +01:00
John Ericson 0a944b345e Merge pull request from obsidiansystems/binutils-wrapper
Binutils-wrapper: Init by refactoring out of cc-wrapper
2017-09-03 10:37:27 -04:00
Vladimír Čunát 37242d98de
Merge branch 'master' into staging 2017-09-03 10:51:11 +02:00
Michael Raskin 7bba4a169e Merge pull request from tohl/master
sbcl updated, tested on nixos x86_64
2017-09-02 23:05:34 +02:00
Tomas Hlavaty fd7aa385e1 sbcl: 1.3.20 -> 1.3.21 2017-09-02 22:46:43 +02:00
Joachim Fasting 004463152a
tinycc: 0.9.27pre-20170710 -> 0.9.27pre-20170821 2017-09-02 22:38:06 +02:00
Tim Steinbach 440bf7e06f Merge pull request from NeQuissimus/openjdk_8_144_01
openjdk: 8u152-04 -> 8u144-01
2017-09-02 11:07:41 -04:00
Austin Seipp 54ae0aa1b0 z3_opt: remove and replace with z3
Z3 has supported optimization features since the 4.4.x release, so this can be
removed.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp cd7b2ec77a yosys: 2016.11.25 -> 2017.09.01
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp 32297e1baf arachne-pnr: 2016.08.18 -> 2017.06.29, license switch
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Frederik Rietdijk d0dab8a330 Merge remote-tracking branch 'upstream/master' into HEAD 2017-09-02 11:10:52 +02:00
Thomas Mader 8a2a3dad80 ldc: Init at 1.3.0 2017-09-02 08:30:17 +02:00
John Ericson dbf6d20d64 binutils-wrapper: Import separately from cc-wrapper 2017-09-01 11:44:56 -04:00
John Ericson 3f30cffa55 misc pkgs: Use $NIX_BINUTILS for when needed
Certain files are now only there instead of $NIX_CC (some are in both)
2017-09-01 11:44:55 -04:00
Tim Steinbach 7d482d835f
openjdk: 8u152-04 -> 8u144-01
Fix GCC6 build
2017-08-30 23:00:12 -04:00
Piotr Bogdan 80351add5a hhvm: 3.15.8 -> 3.21 2017-08-30 21:52:49 +02:00
Piotr Bogdan 51c247a074 hhvm: 3.15.0 -> 3.15.8 2017-08-30 21:52:49 +02:00
Piotr Bogdan d9a0c68775 hhvm: fix build
Upstream re2 commit:

b94b7cd42e

Upstream bytecode.h commit:

f8a75ca667
2017-08-30 21:52:49 +02:00
Frederik Rietdijk 6d4bd78fad Merge commit '2858c41' into HEAD 2017-08-30 21:07:07 +02:00
Mikael Brockman 3d107c15bd solc: v0.4.13 -> v0.4.16 ()
Also add the Z3 SMT solver as a dependency, since the new solc can use
it for checking assertions and stuff (which is awesome).
2017-08-30 18:21:17 +02:00
patternspandemic 4bca6eca06
ponyc: 0.18.0 -> 0.18.1 2017-08-29 14:39:31 -07:00
Michael Raskin 371a2ee707 obliv-c: 0.0pre20161001 -> 0.0pre20170827 2017-08-29 21:17:10 +02:00
WilliButz 164eb72403 nasm: 2.12.02 -> 2.13.01 2017-08-29 16:45:20 +02:00
Vladimír Čunát 2858c41823
Merge branch 'master' into staging
There were some conflicts in python modules, commented at .
2017-08-29 10:51:54 +02:00
Jörg Thalheim 0f789e7a0c Merge pull request from lheckemann/edk2-2017
edk2: 2014-12-10 -> UDK2017
2017-08-28 11:03:47 +01:00
Thomas Mader 5a35b0707f dmd: Run dmd-testsuite in checkPhase
Remove cppa test for now because it isn't working.
2017-08-28 10:14:41 +02:00
Linus Heckemann f6afe064a0 edk2: 2014-12-10 -> UDK2017 2017-08-27 19:41:10 +01:00
Peter Simons 8c3cc7c7c4 pkgs/development/compilers/ghc: drop un-referenced patch files 2017-08-26 13:49:18 +02:00
Jörg Thalheim 9ece4aad10 Merge pull request from ThomasMader/dtools
dtools: rdmd -> dtools
2017-08-26 08:16:30 +01:00
Jörg Thalheim 5cad927052 Merge pull request from NeQuissimus/abcl_1_5_0
abcl: 1.4.0 -> 1.5.0
2017-08-26 07:34:34 +01:00
Tuomas Tynkkynen 2fc7651b25 Merge remote-tracking branch 'upstream/master' into staging 2017-08-24 02:08:32 +03:00
Tuomas Tynkkynen 0c0fad6141 treewide: Consistently call ARM 'arm'
No need for silly differences.
2017-08-24 01:17:01 +03:00
John Ericson ebc9b161cd gcc: Add `configurePlatforms` exception for Arm 32
...just as we did for binutils. When the underlying issue is resolved
(probably with a configure script patch or lib/systems/parse.nix
change), this should be reverted.
2017-08-23 14:38:08 -04:00
John Ericson 71186e7345 gcc: Use `configurePlatforms` to control --build, --host, and --target 2017-08-23 14:28:59 -04:00
Peter Simons 73275d4d41 halvm-2.4.0: mark build as broken 2017-08-23 19:53:12 +02:00
Peter Simons c0944b9db0 ghc-6.10.4: mark build as broken
The build calls ar(1) in a way the tool doesn't like:

    ar q cru .libs/libffi.a  src/debug.o src/prep_cif.o src/types.o src/raw_api.o src/java_raw_api.o src/closures.o src/x86/ffi64.o src/x86/unix64.o src/x86/ffi.o src/x86/sysv.o
    ar: creating cru
    ar: .libs/libffi.a: No such file or directory
    make[4]: *** [Makefile:717: libffi.la] Error 1

This may have become an issue after some recent binutils update; I'm not sure.
2017-08-23 19:53:12 +02:00
Vladimír Čunát 2afb096e83
gcc-4.5: fix build
It's fallout after output changes .
gnat seems OK now, except that the wrapper is broken, so it's probably
not really usable.
2017-08-23 10:11:21 +02:00
Matthew Justin Bauer 2eacddf0dc treewide: homepage URL fixes ()
* pgadmin: use https homepage

* msn-pecan: move homepage to github

google code is now unavailable

* pidgin-latex: use https for homepage

* pidgin-opensteamworks: use github for homepage

google code is unavailable

* putty: use https for homepage

* ponylang: use https for homepage

* picolisp: use https for homepage

* phonon: use https for homepage

* pugixml: use https for homepage

* pioneer: use https for homepage

* packer: use https for homepage

* pokerth: usee https for homepage

* procps-ng: use https for homepage

* pycaml: use https for homepage

* proot: move homepage to .github.io

* pius: use https for homepage

* pdfread: use https for homepage

* postgresql: use https for homepage

* ponysay: move homepage to new site

* prometheus: use https for homepage

* powerdns: use https for homepage

* pm-utils: use https for homepage

* patchelf: move homepage to https

* tesseract: move homepage to github

* quodlibet: move homepage from google code

* jbrout: move homepage from google code

* eiskaltdcpp: move homepage to github

* nodejs: use https to homepage

* nix: use https for homepage

* pdf2djvu: move homepage from google code

* game-music-emu: move homepage from google code

* vacuum: move homepae from google code
2017-08-22 20:50:04 +02:00
Vladimír Čunát b2ae23a391
Merge branch 'staging' (older version)
This just adds some fixups, not any mass rebuild.
2017-08-22 12:30:04 +02:00
Franz Pletz 637e33e616
llvm: disable failing tests on i686 2017-08-22 01:40:54 +02:00
Tim Steinbach 061d934a57
abcl: 1.4.0 -> 1.5.0 2017-08-21 03:04:43 -04:00