Without the change build fails on -fno-common toolchains like upstream
gcc-10 as:
$ nix build -L --impure --expr 'with import ./. {}; bwa.overrideAttrs (oa: { NIX_CFLAGS_COMPILE = (oa.NIX_CFLAGS_COMPILE or "") + "-fno-common"; })'
...
ld: ./libbwa.a(rope.o):/build/bwa-0.7.17/rle.h:33:
multiple definition of `rle_auxtab'; ./libbwa.a(bwtindex.o):/build/bwa-0.7.17/rle.h:33: first defined here
ld: ./libbwa.a(rle.o):/build/bwa-0.7.17/rle.h:33:
multiple definition of `rle_auxtab'; ./libbwa.a(bwtindex.o):/build/bwa-0.7.17/rle.h:33: first defined here
Fixes build problems on x86_64 caused by a bug in their vendored version of
gst-plugins-good. Unfortunately I can't `fetchpatch` the fix because it just
changes a submodule pointer. The patch I added was generated from the fix at
https://github.com/mavlink/qgroundcontrol/issues/10140 .
This makes isabelle use the versions of polyml and z3 that are also used
upstream. Additionally it packages the sha1 library that isabelle uses.
Co-authored-by: 1000teslas <47207223+1000teslas@users.noreply.github.com>
Also, add a script 'wolfram-notebook' to easily start a jupyter
notebook for working with the Wolfram Engine.
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
There are many different versions of the `cudatoolkit` and related
cuda packages, and it can be tricky to ensure they remain compatible.
- `cudaPackages` is now a package set with `cudatoolkit`, `cudnn`, `cutensor`, `nccl`, as well as `cudatoolkit` split into smaller packages ("redist");
- expressions should now use `cudaPackages` as parameter instead of the individual cuda packages;
- `makeScope` is now used, so it is possible to use `.overrideScope'` to set e.g. a different `cudnn` version;
- `release-cuda.nix` is introduced to easily evaluate cuda packages using hydra.