BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
187382 commits 1 branch 0 tags 3.8 GiB
Commit graph

6848 commits

Author SHA1 Message Date
Frederik Rietdijk
f137783927 Merge master into staging-next 2019-05-01 11:45:46 +02:00
R. RyanTM
641eb4af94 fasm-bin: 1.73.10 -> 1.73.11 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/fasm-bin/versions
 2019-05-01 11:20:15 +02:00
R. RyanTM
cb757a6756 kotlin: 1.3.30 -> 1.3.31 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kotlin/versions
 2019-05-01 11:10:04 +02:00
Orivej Desh
ffc8ac2fad mono: 5.16.0.220 -> 5.20.1.27 
I have checked a couple of times that building in parallel succeedes even with
nix-build --cores 9999, and once that the result can build all not broken
dependent projects.

Closes #58797.
 2019-05-01 04:15:30 +00:00
Daniel Schaefer
cbb80342f7 vala: Prepare for updateScript 
It doesn't have to be that complicated with the major and minor versions
being split. We have library functions that handle it fine.

passthru.upateScript can be enabled once #59372 is merged
 2019-04-30 21:55:08 -04:00
worldofpeace
2148e70a8b vala: no vertical align 2019-04-30 21:55:00 -04:00
worldofpeace
d7e35ec341 vala_0_44: 0.44.1 -> 0.44.3 
https://gitlab.gnome.org/GNOME/vala/raw/0.44/NEWS
 2019-04-30 21:53:21 -04:00
worldofpeace
fc508b7869 vala_0_42: 0.42.6 -> 0.42.7 
https://gitlab.gnome.org/GNOME/vala/raw/0.42/NEWS
 2019-04-30 21:53:11 -04:00
worldofpeace
40dd4f5f9e vala_0_40: 0.40.14 -> 0.40.15 
https://gitlab.gnome.org/GNOME/vala/raw/0.40/NEWS
 2019-04-30 18:34:31 -04:00
worldofpeace
86c0ca9cc2 vala_0_36: 0.36.18 -> 0.36.19 
https://gitlab.gnome.org/GNOME/vala/raw/0.36/NEWS
 2019-04-30 18:34:30 -04:00
Michael Fellinger
b617d54d96 matter-compiler: use bundlerApp 2019-04-30 18:00:12 +02:00
volth
5ad79dc4bb compilation for particular x86_64 architecture 2019-04-30 14:28:04 +00:00
Michael Roitzsch
daca04587c swift: 4.2.3 -> 5.0.1 
update Swift
* new tweaks to the build process are mostly documented inline
* the swiftc wrapper needs the linker path for libicu
* some older tweaks could be removed
* remove fuzz from patches by updating line numbers
* one build fix to libdispatch has been filed upstream
 2019-04-30 16:26:08 +02:00
Frederik Rietdijk
3462fe27d9 Merge staging-next into staging 2019-04-30 15:52:19 +02:00
Frederik Rietdijk
fd2bd6e433
Merge staging-next into master 2019-04-30 15:50:24 +02:00
Peter Simons
894e102c84 ghc: add alpha-1 pre-release for version 8.8.1 
The patches for https://phabricator.haskell.org/D5123 and
https://github.com/haskell/haddock/issues/900 no longer
apply and have been dropped.
 2019-04-30 11:43:44 +00:00
Peter Simons
ceb9440dfb ghc: update 8.6.5-rc1 to 8.6.5 2019-04-30 11:43:44 +00:00
R. RyanTM
e6562085f9 binaryen: 45 -> 83 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/binaryen/versions
 2019-04-30 04:02:08 -07:00
Linus Heckemann
99e1612cac
Merge pull request #60208 from mayflower/jetbrains-jdk11 
jetbrains-jdk: 8.202b1483.37 -> 11.0.2b164
 2019-04-29 23:12:00 +02:00
Frederik Rietdijk
2f936f85d8 Merge master into staging-next 2019-04-29 13:46:20 +02:00
Michael Fellinger
69c6483a74 mint: 0.3.1 -> 0.5.0 2019-04-29 10:58:51 +02:00
Joachim F
02c823a541
Merge pull request #60227 from Atidot/master 
swi-prolog: updated version + packs support
 2019-04-28 20:43:12 +00:00
Michael Raskin
3cf719f605
Merge pull request #58675 from tohl/sbcl 
sbcl: 1.5.0 -> 1.5.1, tested on nixos x86_64
 2019-04-28 12:50:46 +00:00
Lev Livnev
60e1f2dcab oraclejdk/jdk8psu: 8u202 -> 8u212 2019-04-28 07:23:18 +02:00
Lev Livnev
9e2ec2a2df oraclejdk/jdk8cpu: 8u201 -> 8u211 2019-04-28 07:23:18 +02:00
Aaron Andersen
cad1a8234d
Merge pull request #60224 from JohnAZoidberg/fix-jre11 
openjdk11: Update source hashes for aarch64
 2019-04-27 20:43:20 -04:00
Sarah Brofeldt
b4275f6bd9 openjdk8: Try to remove host kernel version impurity 2019-04-27 08:39:51 -04:00
Frederik Rietdijk
042a01efbf Merge staging-next into staging 2019-04-27 07:02:02 +02:00
Frederik Rietdijk
883232c00d Merge master into staging-next 2019-04-27 07:01:38 +02:00
Matthew Bauer
87944c3125
Merge pull request #56744 from matthewbauer/macos-10-12 
Update macOS to 10.12
 2019-04-26 22:20:03 -04:00
Matthew Bauer
da38a49a24 treewide: mark bad packages 
Some old stuff is known not to work.
 2019-04-26 21:55:11 -04:00
Matthew Bauer
f0b7561275 rustc: use llvm5 for bootstrapping 2019-04-26 21:55:09 -04:00
Matthew Bauer
0695b7da24 ldc: don’t run checks on darwin 
failing currently:

https://hydra.nixos.org/build/92532427
 2019-04-26 21:55:01 -04:00
Matthew Bauer
31060e23ba go: disable tests on darwin 
Unfortunately, i can’t get these to work:

https://hydra.nixos.org/build/92530029/nixlog/1/tail

Hopefully we can fix them at some point.

/cc @cstrahan @orivej @mic92
 2019-04-26 21:54:59 -04:00
Matthew Bauer
c08fe0f8b1 llvm8: remove compiler-rt gettime patch 
This was removed in llvm 7 but not for llvm 8.
 2019-04-26 21:54:58 -04:00
Matthew Bauer
1b5021771b go1.12: remove dsymutil patch 
stdenv provides dsymutil for us. Already done for other compilers but
not this one.
 2019-04-26 21:54:58 -04:00
Matthew Bauer
8cabf4d5c5 treewide: rename llvm-dsymutil to dsymutil 
This is a change introduced between llvm 5 and llvm 7.
 2019-04-26 21:54:50 -04:00
Matthew Bauer
0fe315c9b6 treewide: remove old patches for macOS 
These shouldn’t be needed now that we are on macOS 10.12.
 2019-04-26 21:54:32 -04:00
Mario Rodas
3f46165af3
Merge pull request #59963 from yrashk/pforth 
pforth: init at 28
 2019-04-26 18:33:54 -05:00
Yurii Rashkovskii
1ae5e27751 pforth: init at 28 2019-04-26 22:11:41 +07:00
Jan Tojnar
89a150355b
Merge branch 'master' into staging 2019-04-26 16:35:54 +02:00
Will Dietz
6c140d1a9a llvm7: drop patch included (and is the primary motivation for 7.1.0) 2019-04-25 22:50:18 -05:00
Will Dietz
ac1ffe5cfd llvmPackages_7: 7.0.1 -> 7.1.0 2019-04-25 22:50:18 -05:00
Justin Woo
b1e23abd7f purescript: upgrade to 0.12.5 (#59589) 
* purescript: 0.12.4 -> 0.12.5
https://github.com/purescript/purescript/releases/v0.12.5

* purescript: consistent pkg name and attr name
+ version must start with a number
 2019-04-25 23:29:53 +02:00
Barak Bercovitz
990acf7025 swi-prolog: updated version + packs support 
Using "extraPacks" and "extraLibraries" arguments
it is possible to create fully functional virtual-envs
for SWI-Prolog projects.
(In a way similar to what "ghcWithPackages" does for Haskell)
 2019-04-25 22:20:54 +03:00
Daniel Schaefer
069e1a7402 adoptopenjdk-bin: Update source hashes for aarch64 
Seems like they replaced the release file.
Updated with
pkgs/development/compilers/adoptopenjdk-bin/generate-sources.py
so should be reasonably safe.
 2019-04-25 19:09:15 +02:00
Daniel Schaefer
b67f792793 adoptopenjdk-jre-bin: Update source hashes for aarch64 
Seems like they replaced the release file.
Updated with
pkgs/development/compilers/adoptopenjdk-bin/generate-sources.py
so should be reasonably safe.
 2019-04-25 19:08:49 +02:00
Linus Heckemann
bbb1212208 jetbrains-jdk: 8.202b1483.37 -> 11.0.2b164 2019-04-25 14:55:24 +02:00
Matthew Glazar
1a0098042d oraclejdk: use working mirror for download 
http://download.oracle.com/otn-pub/ was recently renamed to
http://download.oracle.com/otn/ and now requires authentication with an
Oracle account. http://download.oracle.com/otn-pub/ links don't work
anymore, so installing oraclejdk fails.

Switch to http://javadl.oracle.com/webapps/download/GetFile/, which does
not require authentication. This fixes installing oraclejdk.

Note: The URL for JCE is still broken; this commit only fixes the URL
for the JDK.
 2019-04-25 13:23:11 +02:00
Vincent Laporte
ce714f2b04 ocaml: 4.08.0+beta2 -> 4.08.0+beta3 2019-04-25 08:45:57 +02:00
Frederik Rietdijk
0a7bcb3b03 Merge staging into staging-next 2019-04-24 18:38:11 +02:00
Will Dietz
d0fbe33565 dotnet-sdk: 2.2.103 -> 2.2.203 (core 2.2.1 -> 2.2.4) 2019-04-24 09:29:32 -05:00
Tom McLaughlin
9fa0974856 Patch Julia to not recompile packages when mtime is 1 2019-04-23 22:42:03 -07:00
Matthew Bauer
7488a367af
Merge pull request #56555 from matthewbauer/wasm 
Initial WebAssembly/WASI cross-compilation support
 2019-04-23 22:44:33 -04:00
Matthew Bauer
84d00355e8 Merge remote-tracking branch 'NixOS/master' into staging 2019-04-23 22:00:42 -04:00
Matthew Bauer
a4cfd50004 libcxxabi: apply libcxxabi-wasm patch 2019-04-23 21:48:58 -04:00
John Ericson
9044f57d18 compiler-rt: Don't try to build a test executable 
Got this trick from stack overflow to avoid needing compiler-rt to link
the test exe before building compiler-rt. a static lib isn't linked at
all, and so breaks the cycle.
 2019-04-23 21:48:58 -04:00
John Ericson
1a7a96a093 stdenv, compiler-rt: Compress WASI conditionals 2019-04-23 21:48:58 -04:00
Matthew Bauer
556466d52f wasm: set -fno-exceptions 
We need this to support C++ code.
 2019-04-23 21:48:58 -04:00
Matthew Bauer
d591a109be wasm: don’t assume musl 2019-04-23 21:48:57 -04:00
Matthew Bauer
9abff4af4f wasm: init cross target 
Adds pkgsCross.wasm32 and pkgsCross.wasm64. Use it to build Nixpkgs
with a WebAssembly toolchain.

stdenv/cross: use static overlay on isWasm

isWasm doesn’t make sense dynamically linked.
 2019-04-23 21:48:57 -04:00
Austin Seipp
1f86adbdbf
yosys: 2019.04.22 -> 2019.04.23 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-04-23 09:34:42 -05:00
Will Dietz
640fd92709 llvmPackages_7.compiler-rt: fix typo 2019-04-23 00:35:35 -05:00
markuskowa
d0e70ac2d3
Merge pull request #60010 from JohnAZoidberg/https-urls 
HTTPS urls
 2019-04-22 23:37:07 +02:00
Silvan Mosberger
b9c1d1ada8
Merge pull request #59951 from taku0/adoptopenjdk-bin-11.0.3 
adoptopenjdk-bin: 11.0.2 -> 11.0.3 [Security fixes]
 2019-04-22 23:34:20 +02:00
Austin Seipp
77be634daa
yosys: 2019.04.08 -> 2019.04.22 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-04-22 14:27:44 -05:00
Austin Seipp
25bea5054e
nextpnr: 2019.04.02 -> 2019.04.19 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-04-22 14:27:44 -05:00
Daniel Schaefer
bac4d95aa2 treewide: Change URLs to HTTPS 
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
 2019-04-22 10:19:54 +02:00
volth
5d87bc2650 fix bootstrap when platform.gcc.arch=="skylake" 2019-04-21 16:37:49 +00:00
Renaud
f93da5ff9d
Merge pull request #59488 from r-ryantm/auto-update/fasm-bin 
fasm-bin: 1.73.09 -> 1.73.10
 2019-04-21 01:40:10 +02:00
taku0
25b5dfa43e adoptopenjdk-bin: 11.0.2 -> 11.0.3 2019-04-20 21:48:33 +09:00
Matthew Bauer
f0cba0b3f3
Merge pull request #56406 from TomSmeets/emscripten-1_38_28 
emscripten: 1.37.36 -> 1.38.28
 2019-04-18 10:52:49 -04:00
Frederik Rietdijk
9d87ccabce Merge master into staging-next 2019-04-18 08:25:25 +02:00
Tim Steinbach
eb970c5887
openjdk: 11.0.2-b9 -> 11.0.3-ga 2019-04-17 10:05:55 -04:00
Tim Steinbach
0540650f22
openjdk: 8u202 -> 8u212 2019-04-17 10:05:55 -04:00
Tim Steinbach
9429f15f31
dotty: 0.10.0-RC1 -> 0.14.0-RC1 2019-04-17 10:05:55 -04:00
Frederik Rietdijk
bae32a9f5c Merge staging-next into staging 2019-04-16 18:54:15 +02:00
Matthew Bauer
f475aeaf29
Merge pull request #59535 from matthewbauer/homepage-fixes 
treewide: update homepages to https where available
 2019-04-15 20:47:30 -04:00
Matthew Bauer
290a5d916e treewide: update homepages to https where available 
Based on "problems" from repology:

https://repology.org/repository/nix_unstable/problems

Mostly simple changes to reflect redirects.
 2019-04-15 10:10:05 -04:00
R. RyanTM
15e7d10ca5 kotlin: 1.3.21 -> 1.3.30 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kotlin/versions
 2019-04-15 07:09:13 -04:00
Austin Seipp
3b6c07c398
nextpnr: enable OpenMP support (for Eigen) 
The new HEaP analytic placer for NextPNR uses Eigen for underlying
placement algorithms. Enabling -DUSE_OPENMP passes -fopenmp onto the
compiler, which Eigen picks up automatically with no extra work.

This should result in placer speedups for large designs, e.g. on ECP5
85k chips.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-04-15 00:17:54 -05:00
Austin Seipp
34e1dda3fe
arachne-pnr: fix version 
The version number was actually a single day off -- but otherwise the
commit hash, etc didn't change. arachne-pnr development is effectively
halted, but this is a nice touchup anyway.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-04-15 00:17:54 -05:00
Ben Wolsieffer
a1f3127f40 nextpnr: 2019.02.20 -> 2019.04.02 2019-04-14 23:48:14 -05:00
Ben Wolsieffer
44d499644b yosys: 2019.02.22 -> 2019.04.08 2019-04-14 23:48:14 -05:00
R. RyanTM
531c59057d fasm-bin: 1.73.09 -> 1.73.10 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/fasm-bin/versions
 2019-04-14 09:11:19 -07:00
Michael Raskin
051c9ccf46 sbclBootstrap: bump on x86_64-darwin 2019-04-14 17:33:40 +02:00
Dmitry Kalinkin
aa111a2b7e
Merge pull request #59197 from ThomasMader/dlang-update 
Dlang update (ldc: 1.14.0 -> 1.15.0, dmd: 2.084.1 -> 2.085.1, dtools: 2.084.1 -> 2.085.1, dub: 1.13.0 -> 1.14.0)
 2019-04-13 19:51:16 -04:00
Peter Simons
66c25cff94 ghc: add release candidate for 8.6.5 and a corresponding package set 2019-04-13 12:16:34 +02:00
Nathan van Doorn
a184604edf ghc-8.6.4: patch to fix haddock bug with typechecker plugins 
Closes https://github.com/NixOS/nixpkgs/pull/59317.
 2019-04-13 12:16:33 +02:00
Matthew Bauer
7edf2db0fd
Merge pull request #59338 from matthewbauer/llvm-libc++ 
llvm8: support c++ in cross case
 2019-04-12 14:09:00 -04:00
John Ericson
6794b01658 clang 8, lldClangStdenv: Get LLVM's unwind working properly 
Backport the `--unwindlib` flag, so it don't try to use libgcc on Linux
for hysterical reasons. The alternative of passing `-lunwind` always
would mess up C.
 2019-04-12 13:19:48 -04:00
Ivan Kozik
a0c1b7be7d rustc: 1.33.0 -> 1.34.0 2019-04-12 16:32:19 +00:00
Austin Seipp
e14a706dce chez: 9.5.1 -> 9.5.2 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-04-12 11:15:59 -05:00
rnhmjoj
5ea4160b33
treewide: fixup bcf54ce 
fix the executable bit for scripts installed with substituteAll
and some remaining shebangs.
 2019-04-12 09:09:22 +02:00
Matthew Bauer
d453273fbf llvm8: support c++ in cross case 
this adds libc++ to the LLVM cross, giving us access to the full
Nixpkgs set. This requires 4 stages of wrapped compilers:

- Clang with no libraries
- Clang with just compiler-rt
- Clang with Libc, and compiler-rt
- Clang with Libc++, Libc, and compiler-rt
 2019-04-11 21:28:51 -04:00
Thomas Mader
85adc80b3e dmd: 2.084.1 -> 2.085.1 2019-04-11 23:03:18 +02:00
Thomas Mader
31fe00df8a ldc: 1.14.0 -> 1.15.0 2019-04-11 23:03:18 +02:00
Matthew Bauer
d95c4d799c
Merge pull request #59294 from matthewbauer/clang8-fix-darwin 
clang8: apply patch to disable xpc
 2019-04-11 13:39:59 -04:00
Frederik Rietdijk
230c67f43b Merge master into staging-next 2019-04-11 07:50:23 +02:00
Matthew Bauer
097122d2fd clang8: apply patch to disable xpc 2019-04-10 22:42:01 -04:00
Renaud
8db38cdcd4
Merge pull request #58434 from matthiasbeyer/add-licenses 
Add licenses
 2019-04-09 19:57:17 +02:00
Frederik Rietdijk
d108b49168 Merge master into staging-next 2019-04-09 16:38:35 +02:00
Pascal Wittmann
e80a667a66
Merge pull request #58466 from vaibhavsagar/bump-polyml 
polyml: 5.7.1 -> 5.8
 2019-04-09 11:31:31 +02:00
Will Dietz
1a8328b126 zig: 0.3.0 -> 0.4.0 
Bump to use LLVM8, but just guessing ;).
 2019-04-09 00:51:35 -05:00
Justin Woo
46a181a602 purescript: upgrade to 0.12.4 (#59147) 2019-04-08 20:02:24 +02:00
Timo Kaufmann
940679a41b
Merge pull request #56937 from AtkinsChang/solc-0.5.5 
solc: 0.5.4 -> 0.5.7
 2019-04-07 14:47:07 +00:00
Frederik Rietdijk
4a125f6b20 Merge master into staging-next 2019-04-07 08:33:41 +02:00
Vladimír Čunát
526c4292ae
Merge branch 'staging-next' 
This iteration was long, about five weeks (2fcb11a2), I think.
Darwin: it's missing a few thousand binaries and there's a make-netbsd
regression, but I suppose these aren't merge blockers.
 2019-04-06 13:20:53 +02:00
Matthew Bauer
a909bb4901
Merge pull request #58972 from witkamp/master 
gcc-arm-embedded: add darwin support
 2019-04-05 13:19:37 -04:00
Jan Tojnar
cb1a20499a
Merge branch 'master' into staging 2019-04-05 11:37:15 +02:00
Matthew Bauer
4585f6d11b
Merge pull request #58958 from tadeokondrak/lldb-vscode 
lldb: install vscode plugin; vscode-extensions: add it
 2019-04-05 01:11:45 -04:00
Theodore Witkamp
daf1f0bc22 gcc-arm-embedded: add darwin support 2019-04-04 09:19:16 -07:00
Tadeo Kondrak
341f65a1e4
lldb: install vscode plugin; vscode-extensions: add it 2019-04-04 02:30:26 -06:00
Matthew Bauer
6da1a83d4d ghc8.6.4: use targetPackages for getting libffi 2019-04-03 16:45:59 -04:00
Vladimír Čunát
2771375d6e
Merge branch 'master' into staging-next 
Hydra nixpkgs: ?compare=1512490
 2019-04-02 20:56:53 +02:00
Ryan Mulligan
91daa7d3ac
Merge pull request #57768 from gnidorah/pakcs 
pakcs: 2.0.2 -> 2.1.1
 2019-04-02 07:26:40 -07:00
Luis Pedro Coelho
da402892dc ghc: make disableLargeAddressSpace configurable 
Even on Linux/NixOS, it can be useful to have a compiler without the
large address space as it creates issues in some contexts.
 2019-04-02 09:52:47 +02:00
Tomas Hlavaty
68b6302798 sbcl: 1.5.0 -> 1.5.1 2019-04-01 15:12:44 +02:00
John Ericson
716503d063 Merge branch 'staging' into rust-cross 2019-04-01 00:47:46 -04:00
John Ericson
4ccb74011f Merge commit '18aa59b0f26fc707e7313f8467e67159e61600c2' from master into staging 
There was one conflict in the NixOS manual; I checked that it still
built after resolving it.
 2019-04-01 00:40:03 -04:00
Silvan Mosberger
c1e2855bb7
Merge pull request #55959 from Ralith/vulkan 
Update Vulkan packages
 2019-03-30 23:53:09 +01:00
Michael Eden
8391528096 rust: disable stripping to prevent bad cross rlibs 2019-03-29 11:11:55 -04:00
Michael Eden
54e9082375 rust: Don't force gcc6 2019-03-29 11:11:53 -04:00
Jörg Thalheim
912dca193a rust: fix cross-compilation 2019-03-29 11:11:00 -04:00
Michael Eden
3c930188c8 cargo: No need to skip space around = at Nix level 2019-03-29 10:28:20 -04:00
Michael Eden
7f6de09751 rust: Fix grammar in comment 2019-03-29 10:28:20 -04:00
Florian Klink
b243d81943
Merge pull request #56453 from averelld/jetbrains-updates 
Update jetbrains editors
 2019-03-28 22:22:01 +01:00
Silvan Mosberger
c76f00f759
Merge pull request #57682 from bkchr/dtc_1_5_0 
dtc: 1.4.7 -> 1.5.0
 2019-03-28 19:55:04 +01:00
Averell Dalton
6c011a0f2f jetbrains-jdk: 152b1248.6 -> 202b1483.37 2019-03-28 16:20:58 +01:00
Vaibhav Sagar
9c3b994c49 Use Poly/ML 5.7 for Isabelle 2019-03-27 22:30:45 -04:00
Vaibhav Sagar
cb0f01cf2e polyml: 5.7.1 -> 5.8 2019-03-27 21:51:49 -04:00
Matthias Beyer
9daa25fc96 aspectj: Add license 
Source: https://git.eclipse.org/c/aspectj/org.aspectj.git/tree/docs/build.xml#n7

Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
 2019-03-27 12:00:00 +01:00
Atkins
3dc078d771
solc: 0.5.6 -> 0.5.7 2019-03-27 14:04:45 +08:00
Matthew Bauer
5d173c9ee2
Merge pull request #57750 from tomfitzhenry/remove-freetype-from-adoptopenjdk 
Remove libfreetype.so from adoptopenjdk's derivation.
 2019-03-25 22:19:16 -04:00
Matthew Bauer
38a89c8653
Merge pull request #58313 from arcnmx/gcc-8-cross 
gcc: fix gcc8 for cross-compiled targets
 2019-03-25 21:57:48 -04:00
John Ericson
aa0cf64422
Merge pull request #57611 from Ericson2314/stage-braid-not-chain 
top-level: Create `pkgs{Build,Host,Target}{Build,Host,Target}`
 2019-03-25 21:56:59 -04:00
arcnmx
05b0411c57 gcc: fix gcc8 for cross-compiled targets 
Adds EXTRA_TARGET_FLAGS missing from 412093994b.

Fixes #58164
 2019-03-25 17:57:30 -07:00
Will Dietz
5eb3edc8fb
Merge pull request #58235 from dtzWill/update/ponyc-0.28.0 
ponyc: 0.27.0 -> 0.28.0
 2019-03-25 11:28:17 -05:00
John Ericson
655a29ff9c ghc, go, guile: Use new pkgs* 
`pkgsBuildTarget` allows us to avoid repeated and confusing conditions.
The others merely provide clarity for one the foreign package set's
target platform matters.
 2019-03-24 22:12:15 -04:00
Will Dietz
ee2beac084 ponyc: 0.27.0 -> 0.28.0 
https://www.ponylang.io/blog/2019/03/0.28.0-released/
 2019-03-24 20:27:55 -05:00
Vaibhav Sagar
e4975aac68 ghcjs-ng: unbreak 2019-03-23 22:47:06 -04:00
Frederik Rietdijk
23e431387b Merge staging-next into staging 2019-03-23 09:20:09 +01:00
Frederik Rietdijk
b40d752872 Merge master into staging-next 2019-03-23 09:18:41 +01:00
(cdep)illabout
7942c79c69 Fix cudatoolkit building on non-sandboxed systems 
This fixes cudatoolkit building on non-sandboxed system.

The cudatoolkit tests run each of the CUDA binaries as a small smoke
test just to make sure they all can at least somewhat run.

However, the `cuda-gdb` binary doesn't run correctly on non-sandboxed
systems because it picks up versions of Python from /usr/lib.

This PR disables the smoke tests for now.  They should be re-enabled
when we figure out how to make them work for cuda-gdb on non-sandboxed
systems.

This PR is for #57939.
 2019-03-22 19:32:24 +01:00
Wael M. Nasreddine
276d8c97bb
go_1_12: 1.12 -> 1.12.1 2019-03-21 22:33:43 -07:00
Wael M. Nasreddine
2d9d054bce
go_1_11: 1.11.5 -> 1.11.6 2019-03-21 22:33:42 -07:00
Wael M. Nasreddine
5af0780492
Merge remote-tracking branch 'origin/master' into staging 
* origin/master: (693 commits)
  buildGoModule: use go_1_12 instead of go_1_11 (#58103)
  gitAndTools.lab: 0.15.2 -> 0.15.3 (#58091)
  signal-desktop: 1.22.0 -> 1.23.0
  added missing semicolon to documentation
  terminus_font_ttf: 4.46.0 -> 4.47.0
  buildGoModule: remove SSL env vars in favor of cacert in buildInputs (#58071)
  dav1d: init at 0.2.1
  dropbox-cli: 2018.11.28 -> 2019.02.14
  atlassian-confluence: 6.14.1 -> 6.14.2
  maintainers: update email for dywedir
  python.pkgs.hglib: use patch to specify hg path (#57926)
  chkrootkit: 0.52 -> 0.53
  radare2-cutter: 1.7.2 -> 1.8.0
  autorandr: 1.7 -> 1.8
  pythonPackages.pyhepmc: fix build
  llvm-polly/clang-polly: use latest llvm
  apulse: 0.1.11.1 -> 0.1.12, cleanup
  factorio: experimental 0.17.14 → 0.17.16 (#58000)
  sequeler: 0.6.7 -> 0.6.8
  nasc: 0.5.1 -> 0.5.2
  ...
 2019-03-21 21:01:25 -07:00
Will Dietz
baa62d9ac6
Merge pull request #57980 from dtzWill/update/compilerrt-crtbegin-patch 
llvmPackages_{7,8}.compiler-rt: update crtbegin-and-end.patch
 2019-03-21 17:47:51 -05:00
Will Dietz
bb7e9e46a0
Merge pull request #57970 from dtzWill/update/llvm8 
llvmPackages_8: rc5 -> 8.0.0 release!
 2019-03-20 23:56:46 -05:00
Benjamin Saunders
6066f72960 glslang: 2018-09-26 -> 7.11.3113 2019-03-20 18:01:37 -07:00
worldofpeace
c1d65d680b
Merge pull request #57848 from vbgl/compcert-3.5-fix 
compcert: fix source hash
 2019-03-20 17:31:06 -04:00
Will Dietz
8d378eb822 llvmPackages_8: disable sanitizers/etc w/musl 
Patch needs porting and was uncertain anyway.
 2019-03-20 13:28:46 -05:00
Will Dietz
8fa5d4ab1a llvm8: remove failing test to fix w/musl 2019-03-20 13:28:36 -05:00
Will Dietz
1cca46a498 llvmPackages_{7,8}.compiler-rt: update crtbegin-and-end.patch 
Minor changes after review, see linked page for discussion.
 2019-03-20 13:26:49 -05:00
Will Dietz
5c4aed5c8a llvmPackages_8: rc5 -> 8.0.0 release 2019-03-20 09:56:20 -05:00
Graham Christensen
5aaf79d189
purescript: tweak inlined import and usages 
Co-Authored-By: justinwoo <moomoowoo@gmail.com>
 2019-03-20 15:55:48 +02:00
Graham Christensen
7af53c85ed
purescript: add meta information for package 
Co-Authored-By: justinwoo <moomoowoo@gmail.com>
 2019-03-20 15:52:28 +02:00
Graham Christensen
fb39447028
purescript: inline properties used from pkgs 
Co-Authored-By: justinwoo <moomoowoo@gmail.com>
 2019-03-20 15:50:16 +02:00
Vincent Laporte
338f5208b3
compcert: fix source 2019-03-20 09:54:51 +00:00
justinwoo
ee1e16453f purescript: inline referenced derivation 2019-03-20 10:20:05 +02:00
justinwoo
0810c406b7 purescript: fix purescript derivation using easy-purescript-nix 
For the past couple of years, there has continued to be problems with having the PureScript compiler on nixpkgs building from Haskell packages it is not built against in its actual development and release. We have seen this issue come up multiple times here on nixpkgs, but this also causes numerous issues to be filed against the PureScript compiler repository. One example of an exchange that has occurred multiple times in the past: https://github.com/NixOS/nixpkgs/issues/53597 https://github.com/purescript/purescript/issues/3571. As noted, the PureScript compiler is not on Stackage because it is not meant to be used as a library, and it does not update itself to the latest LTS and cut releases to match LTS releases.

Instead, I have begun maintaining my own derivation for the PureScript compiler (among other tools) in a small project here: https://github.com/justinwoo/easy-purescript-nix. Within are other reference and derivations for other tools commonly used in the PureScript ecosystem, updated to their respective newest releases. These derivations use the same releases that other Linux and OSX users use, along with the standard application of patchELF to provide for runtime dependencies such as zlib, gmp, and ncurses5. These derivations are now used by a variety of NixOS, non-NixOS Linux, and OSX users.

This commit then consumes the easy-purescript-nix derivation for the PureScript compiler and provides it in all-packages for consumption.
 2019-03-20 00:36:55 +02:00
Will Dietz
93e3eecdb3 ghc*Binary: use $OBJCOPY when invoking objcopy (touchup musl fix) 2019-03-18 02:00:39 -05:00
worldofpeace
2c352ad4d8 vala: add worldofpeace to maintainers 2019-03-18 01:32:39 -04:00
worldofpeace
a6fb15c853 vala_0_44: init at 0.44.1 2019-03-18 01:32:39 -04:00
worldofpeace
19697dd794 vala_0_42: 0.42.4 -> 0.42.6 
Fetch graphviz patch now.

https://gitlab.gnome.org/GNOME/vala/blob/0.42.5/NEWS
https://gitlab.gnome.org/GNOME/vala/blob/0.42.6/NEWS
 2019-03-18 01:32:38 -04:00
worldofpeace
05475515fa vala_0_40: 0.40.12 -> 0.40.14 
https://gitlab.gnome.org/GNOME/vala/blob/0.40.13/NEWS
https://gitlab.gnome.org/GNOME/vala/blob/0.40.14/NEWS
 2019-03-18 01:32:38 -04:00
worldofpeace
a92396afdc vala_0_36: 0.36.17 -> 0.36.18 
https://gitlab.gnome.org/GNOME/vala/raw/0.36.18/NEWS
 2019-03-18 01:32:38 -04:00
Graham Christensen
49551b6feb
llvm: mark as big-parallel 
Big parallel jobs get many more (45) aarch64 cores than standard builds.
 2019-03-17 08:29:14 -04:00
Will Dietz
9a10434f4d ghc{822,863}Binary: fix to work w/musl again, __strdup -> strdup 2019-03-17 05:23:11 -05:00
gnidorah
50ff1e15cf pakcs: 2.0.2 -> 2.1.1 2019-03-17 00:15:54 +03:00
Peter Simons
93e4a90502 ghc: switch our default compiler to version 8.6.4 
Also, drop obsolete 8.6.x minor releases 8.6.1, 8.6.2, and 8.6.3.

(cherry picked from commit 7fde42b8ebddbd673342b98d9d7c892a0c521583)
 2019-03-16 20:30:58 +01:00
Tom Fitzhenry
6bae07337e Remove libfreetype.so from adoptopenjdk's derivation. 
This caused some reverse dependencies of adoptopenjdk to depend on
adoptopenjdk's libfreetype, rather than the NixOS
libfreetype. For example: https://github.com/NixOS/nixpkgs/issues/57733

Now the derivation does not contain libfreetype.so . The JRE links to
nixpkg's freetype:

$ ldd /nix/store/9iyxm1nkn35xhjgri041r980z4p5ls5g-adoptopenjdk-hotspot-bin-11.0.2/lib/libfontmanager.so | grep -i freetype
	libfreetype.so => /nix/store/ycbkq39cngzx19j829qzgdnw3mx3z78g-freetype-2.9.1/lib/libfreetype.so (0x0000795e30702000)
 2019-03-16 22:43:47 +11:00
xeji
d1589cdd37
Merge pull request #56614 from r-ryantm/auto-update/closure-compiler 
closurecompiler: 20190121 -> 20190215
 2019-03-15 23:08:19 +01:00
Bastian Köcher
e6d4f0a4a9 dtc: 1.4.7 -> 1.5.0 2019-03-15 09:39:30 +01:00
Will Dietz
3e7e61f334
Merge pull request #57543 from dtzWill/update/llvm8-rc5 
llvmPackages_8: rc2 -> rc5
 2019-03-14 14:19:51 -05:00
Vladimír Čunát
04066403ae
Merge branch 'master' into staging-next 
Lots of rebuilds from master, apparently.
Hydra nixpkgs: ?compare=1509577
 2019-03-14 19:54:49 +01:00
Atkins
090dcd3bb2
solc: 0.5.5 -> 0.5.6 2019-03-14 16:17:52 +08:00
Will Dietz
91b1806476 llvmPackages_8: rc3 -> rc5 2019-03-12 16:39:44 -05:00
Vincent Laporte
6e4b622cb4 ocaml: 4.08.0+beta1 -> 4.08.0+beta2 2019-03-12 18:01:36 +01:00
Austin Seipp
4f74e3abcf
souffle: 1.2.0 -> 1.5.1, co-maintain 
Souffle has seen some significant upgrades in the past few years and now
has trimmed and replaced several of its more expensive dependencies,
such as boost, openjdk, etc.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-03-12 00:45:38 -05:00
Herwig Hochleitner
b854767dac
Merge pull request #56018 from knedlsepp/fix-cuda-gdb 
cudatoolkit: Several fixes
 2019-03-10 23:21:48 +01:00
Vladimír Čunát
bf47162c26
Merge branch 'master' into staging-next 
Hydra nixpkgs: ?compare=1508887
 2019-03-10 08:04:21 +01:00
Vincent Laporte
3c9bfa32e2 compcert: 3.4 -> 3.5 2019-03-09 05:49:26 -06:00
Jörg Thalheim
65b402ed67
Merge pull request #57023 from alyssais/crystal 
crystal: fix build on Darwin
 2019-03-08 11:18:31 +00:00
Michael Roitzsch
6a4d2eea8a swift: 4.2.2 -> 4.2.3 2019-03-07 15:22:45 +01:00
Alyssa Ross
5b52e90e4a
crystal: fix build on Darwin 2019-03-07 13:38:35 +00:00
markuskowa
b50855dc35
Merge pull request #56913 from markuskowa/rm-julia06 
julia: remove 0.6.4 (julia_06)
 2019-03-06 09:36:19 +01:00
Atkins
b8d0bf3dd6
solc: 0.5.4 -> 0.5.5 2019-03-06 16:27:10 +08:00
Peter Simons
68be6bbc31 ghc: add new 8.6.4 version 2019-03-06 08:13:56 +01:00
Markus Kowalewski
c997f5d0f2
julia: remove 0.6.4 (julia_06) 2019-03-05 17:52:58 +01:00
Peter Simons
9d9c599055 swi-prolog: remove myself from list of maintainers 2019-03-05 12:53:04 +01:00
Peter Simons
456f09d76f ghc: Drop outdated compiler versions 8.6.1 and 8.6.2. We have 8.6.3. 2019-03-05 11:13:52 +01:00
Matthew Bauer
1f212565d2 ghc863: dont add extra libs 
Don’t add -liconv to LDFLAGS automatically so that GHC will add it itself.

Merged in pull request #56795 from @matthewbauer.
 2019-03-05 11:13:52 +01:00
Frederik Rietdijk
5d7ab31949 Merge master into staging-next 2019-03-05 08:32:52 +01:00
Wael Nasreddine
37d2f71e2f
go_1_12: set meta.branch to 1.12 (#56852) 2019-03-04 23:18:12 -08:00
Jörg Thalheim
27cb0669c6
Merge pull request #56500 from kalbasit/nixpkgs_add-support-go-1-12 
go_1_12: init at go 1.12
 2019-03-04 14:22:27 +00:00
Graham Christensen
1774c68090
Merge pull request #56365 from asymmetric/solc-0.5.4 
solc: 0.5.3 -> 0.5.4
 2019-03-04 08:47:56 -05:00
Will Dietz
209ab53069
Merge pull request #56670 from dtzWill/update/pony-0.27.0 
ponyc: 0.26.0 -> 0.27.0, cleanup, use recent LLVM
 2019-03-04 00:07:19 -06:00
Will Dietz
145f213806 llvmPackages_8: rc2 -> rc3 2019-03-03 21:54:26 -06:00
Matthew Bauer
7874ca5b61
Merge pull request #56645 from matthewbauer/llvm-8 
llvm8: init
 2019-03-03 21:00:36 -05:00
Wael M. Nasreddine
252376c617
go_1_12: switch to fetchurl for sha256 consistency on Darwin 
fetchFromGitHub and thus fetchzip hashes the contents of the archive and
not the archive itself. Unicode file names lead to different checksums
on HFS+ vs. other file systems because of Unicode normalisation
 2019-03-03 16:32:04 -08:00
R. RyanTM
0255d8035b fasm-bin: 1.73.08 -> 1.73.09 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/fasm-bin/versions
 2019-03-03 20:50:12 +01:00
Frederik Rietdijk
35e73c9dd5 Merge staging into staging-next 2019-03-03 09:35:42 +01:00
Wael M. Nasreddine
6ef04cabd4
go_1_12: init at go 1.12 2019-03-02 14:24:17 -08:00
R. RyanTM
72c111822a kotlin: 1.3.20 -> 1.3.21 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kotlin/versions
 2019-03-02 20:59:59 +00:00
Will Dietz
aba880189a ponyc: cleanup a bit, mostly remove old source fixups no longer needed 2019-03-02 02:14:54 -06:00
Will Dietz
7565289ec7 pony-stable: 0.1.6 -> 0.2.0 2019-03-02 02:14:50 -06:00
Will Dietz
a30a76effa ponyc: 0.26.0 -> 0.27.0 
https://www.ponylang.io/blog/2019/03/0.27.0-released/
 2019-03-02 02:14:48 -06:00
Matthew Bauer
52cb072562 llvm8: init 2019-03-01 23:42:10 -05:00
R. RyanTM
f11ae81793 closurecompiler: 20190121 -> 20190215 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/closure-compiler/versions
 2019-03-01 16:03:09 -08:00
Sebastian Graf
cbaec5abc9 Fix include path of libffi used in GHC build 2019-03-01 11:30:05 +01:00
Frederik Rietdijk
205e0fc5bd Merge staging-next into staging 2019-03-01 09:22:21 +01:00
Frederik Rietdijk
2fcb11a244 Merge staging-next into master 2019-03-01 09:06:20 +01:00
Luka Blaskovic
8d3e91077b rust: 1.32.0 -> 1.33.0 2019-03-01 07:56:40 +00:00
Ryan Mulligan
6e5caa3f8a
Merge pull request #52624 from alesguzik/update-terra 
terra: 2016-06-09 -> 1.0.0-beta1
 2019-02-28 19:22:10 -08:00
jacereda
bf3a38ac5f mercury: build on Darwin (#56511) 2019-02-28 17:24:27 +01:00
Peter Hoeg
842f2c9cb5
Merge pull request #56331 from peterhoeg/u/crystal 
crystal: init at 0.27.2
 2019-02-28 13:49:28 +08:00
Pierre Bourdon
7541e4f8ac
llvm/7/compiler-rt: define CMAKE_*_COMPILER_TARGET unconditionally 
When building with -DCOMPILER_RT_DEFAULT_TARGET_ONLY=ON the compiler-rt
CMake configuration attempts to use CMAKE_*_COMPILER_TARGET variables,
which are usually only defined in cross-compilation mode.
 2019-02-28 04:29:05 +01:00
Matthew Bauer
5c46f77249
Merge pull request #56197 from matthewbauer/cross-fixes3 
Android and related cross fixes
 2019-02-26 20:30:53 -05:00
Matthew Bauer
b86e62d30d llvm: support cross compilation with useLLVM flag 
You can build (partially) with LLVM toolchain using the useLLVM flag.
This works like so:

  nix-build -A hello --arg crossSystem '{ system =
    "aarch64-unknown-linux-musl"; useLLVM = true }'

also don’t separate debug info in lldClang

It doesn’t work currently with that setup hook. Missing build-id?
 2019-02-26 19:45:35 -05:00
Matthew Bauer
ead13a3aca llvm: don’t use targetPlatform 
LLVM should be target independent because it will work with all
machine types. This is different from GCC where it needs to know what
target to build ahead of time.
 2019-02-26 19:45:35 -05:00
Matthew Bauer
aab8c7ba43 netbsd: add cross target 2019-02-26 15:55:47 -05:00
Jörg Thalheim
dadc7eb329
treewide: use runtimeShell instead of stdenv.shell whenever possible 
Whenever we create scripts that are installed to $out, we must use runtimeShell
in order to get the shell that can be executed on the machine we create the
package for. This is relevant for cross-compiling. The only use case for
stdenv.shell are scripts that are executed as part of the build system.
Usages in checkPhase are borderline however to decrease the likelyhood
of people copying the wrong examples, I decided to use runtimeShell as well.
 2019-02-26 14:10:49 +00:00
Ryan Mulligan
10f0d40838
Merge pull request #55287 from vaibhavsagar/bump-smlnj 
smlnj: 110.84 -> 110.85
 2019-02-25 19:16:31 -08:00
Will Dietz
ed60483257
llvm-polly,clang-polly: Add llvm/clang variants w/polly support (#55065) 
* llvm: build w/polly in-tree, optionally

Don't enable by default yet, defer rebuilds.

* top-level: llvm-polly, clang-polly

* bit hacky re:overrides
* need to explicitly set cmake flags for clang to link in polly
 2019-02-25 15:20:52 -06:00
Lorenzo Manacorda
572f828e7e solc: 0.5.3 -> 0.5.4 2019-02-25 17:50:54 +01:00
Tom Smeets
5ef3645a69 emscripten: 1.37.36 -> 1.38.28 2019-02-25 13:13:55 +01:00
Peter Hoeg
6618a6fae0 crystal: init at 0.27.2 2019-02-25 12:36:42 +08:00
Matthew Bauer
73061742af Merge remote-tracking branch 'NixOS/master' into staging 2019-02-24 18:54:32 -05:00
Matthew Bauer
e36cd48b6e llvm: don’t use targetPlatform 
LLVM should be target independent because it will work with all
machine types. This is different from GCC where it needs to know what
target to build ahead of time.
 2019-02-24 17:00:48 -05:00
Matthew Bauer
be6d030b98 llvm6: remove enableTargets 
These are no longer used. We build all targets now.
 2019-02-24 17:00:48 -05:00
Tomas Hlavaty
dd713e142f sbcl: 1.4.16 -> 1.5.0 2019-02-24 22:56:00 +01:00
Peter Simons
c3f38ddd8b ghcjs: disable Hydra builds while the build is marked as broken 2019-02-24 10:14:29 +01:00
Frederik Rietdijk
c2eac6741b Merge master into staging-next 2019-02-24 09:19:12 +01:00
Austin Seipp
0267483ac3
yosys: 2019.01.08 -> 2019.02.22 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-02-23 12:08:48 -06:00
Austin Seipp
b30ad4be96
nextpnr: 2019.01.08 -> 2019.02.20 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-02-23 12:08:48 -06:00
Austin Seipp
ad8d28c98f
arachne-pnr: update git repo location 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-02-23 12:08:48 -06:00
Will Dietz
663bfb120d gcc: 8.2.0 -> 8.3.0 
https://gcc.gnu.org/ml/gcc/2019-02/msg00121.html
 2019-02-22 15:38:39 -06:00
Alyssa Ross
0809782c73
Merge pull request #55241 from r-ryantm/auto-update/nim 
nim: 0.19.0 -> 0.19.4
 2019-02-22 20:11:45 +00:00
Thomas Mader
386a760cfa dmd: Fix dmd.conf 2019-02-22 14:53:56 -05:00
Vladimír Čunát
71f4ba29a3
Merge branch 'master' into staging-next 
Hydra nixpkgs: ?compare=1506218
 2019-02-22 17:51:01 +01:00
Peter Simons
6f5d2f4611 ghcjs: mark build as broken 
Build errors are at:

 - https://hydra.nixos.org/build/89288500
 - https://hydra.nixos.org/build/89286604
 2019-02-22 10:35:00 +01:00
Dmitry Kalinkin
f96d4d555b
Merge pull request #55998 from ThomasMader/dlang-update 
Dlang update
 2019-02-22 02:29:41 -05:00
Thomas Mader
64c958e9a4 dmd: 2.084.0 -> 2.084.1 2019-02-22 07:22:03 +01:00
Thomas Mader
98c6d9d799 ldc: 1.12.0 -> 1.14.0 2019-02-21 22:44:52 +01:00
Michael Raskin
2f6b01f510
Merge pull request #55764 from oxij/pkgs/nasm-from-source 
nasm: build from source
 2019-02-21 09:54:48 +00:00
Cray Elliott
6959c375a5 openjdk11: 11.0.1+13 -> 11.0.2+9 2019-02-21 01:01:04 -08:00
Frederik Rietdijk
e2cd07b997 Merge staging-next into staging 2019-02-21 07:54:33 +01:00
Lorenzo Manacorda
e639f24681 solc: make z3 dependency optional 
It is an optional dependency, which defaults to true.

https://solidity.readthedocs.io/en/latest/installing-solidity.html#smt-solvers
 2019-02-20 18:15:45 +01:00
Josef Kemetmüller
3e0723f2b2 cudatoolkit_9_0: Add later released patch updates 2019-02-19 23:23:35 +01:00