- The previous build of Cryptol was broken on GHC 8.6.x, which is now the
new default. That's been fixed with a few upstream patches that will come
up whenever the next release happens.
- There was also a build failure on base-compat, fixed by jailbreaking.
- The previous setup had all-packages.nix creating a new derivation
solely for the purpose of wrapping the Z3 binary. This has been removed:
the wrapper is still added but during the Haskell build itself, so that
all Haskell dependent packages can use the cryptol interpreters too.
- In its place, we use justStaticExecutables, so people using nix-env
and Cryptol users who *don't* need haskell dependencies can get much
smaller closures. Obviously this still implies a second build, but
this build is much more useful than one that merely adds a shell
script to a package that's relatively expensive to compile...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
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.
Cherry-picked from: eeb175169f
Although fixed so that it actually builds.
Original message:
> I chose "semver-tool" as the path for this package because "semver" is
> extremely generic, and probably more rightly belongs to node-semver[1]
> (at least judging by GitHub stars), and because "semver-tool" is the
> name of this project's GitHub repository, and because it was the name
> used in the package request[2].
>
> Closes https://github.com/NixOS/nixpkgs/issues/50945.
>
> [1]: https://github.com/npm/node-semver
> [2]: https://github.com/NixOS/nixpkgs/issues/50945
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
Install the `kitty` command-line utility and the `kitty.app` macOS
application.
* Prefer libicns (png2icns) over Apple's non-free iconutil.
* Work around warnings from Apple headers by disabling -pedantic-errors
and -Werror.
* Work around ld not support LLVM-LTO by disabling LTO.
* Make Kitty and glfw compile for macOS 10.11 (and macOS 10.10).