The C++ compiler in our musl bootstrap for aarch64 is too old to build
the latest version of patchelf, so we need to use the latest version
that builds with that compiler to get a new bootstrap.
The C++ compiler in our musl bootstrap for aarch64 is too old to build
the latest version of patchelf, so introduce a package for the most
recent version it's capable of building that we can use to get a new
bootstrap.
This is done by modifying the current `snes9x-gtk` derivation, including
a new `withGtk` option that when enabled will build the `snes9x-gtk`,
but when disabled will build `snes9x` instead. `snes9x` has less
dependencies than `snes9x-gtk`, having only X11 as a major dependency
and a minor one in ALSA. However, the only audio backend supported is ALSA,
so audio is only available on Linux.
Still, this has less dependencies than the GTK version, so it should be
useful as a minimal version for cross-compilation cases or when
porting to new devices. This also builds in macOS, however as I said
before, shouldn't have any sound there.
11_5 is not compatible with glibc2.4 which became the default after
gcc10->gcc11 bump
11_6 has a fix for glibc2.4 support
cudaPackages attribute now points at cudaPackages_11_6
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>
Armeen Mahdian