After enabling a separate binary output for the `Agda` Haskell package,
the new `bin` output measures ~100MiB, compared to the ~4.5GiB before.
Using it in `agdaWithPackages` reduces the closure size of an Agda
installation from ~5GiB to ~3GiB. The remaining space is taken up
mostly by the GHC backend.
With this change, derivations depending on `haskellPackages.Agda`
directly need to pick the right (binary) output. This concerns in
particular `emacsPackages.agda2-mode`.
The nixpkgs-unstable channel's programs.sqlite was used to identify
packages producing exactly one binary, and these automatically added
to their package definitions wherever possible.
magit requires[1] seq 2.24. seq from GNU Elpa satisfies that.
However, it is shadowed by the Emacs builtin one to workaround an old
bug[2] and the version of the builtin seq in Emacs 28 is only 2.23.
So magit is broken for Emacs 28 which is the default one in NixOS
23.11 and available in the unstable branch.
This patch fixes magit by stopping shadowing seq from GNU Elpa since
that old bug[2] is not relevant now.
Fixes https://github.com/NixOS/nixpkgs/issues/272019.
[1]: f4ff817cb2/lisp/magit.el (L27)
[2]: https://github.com/NixOS/nixpkgs/pull/74936
Ada depencencies musst be build with the same gnat version as the
project. Use a namespace as preperation to build with different gnat
versions.
gprbuild and gnatprove are still globaly visable.
I added myself because I integrated Macport support but I don't really feel qualified to maintain the rest of emacs.
The Macport integration has also been working without major issues ever since it was introduced.
I still left bread crumbs in case there's an issue with macport specifically but
I don't want to be pinged on generic Emacs issues/PRs.
These files don't even parse using `nix-instantiate --parse`:
> error: undefined variable 'haskell-mode'
> error: undefined variable 'lib'
While these issues could be trivially fixed, the fact that these files
are not even parsable by nix-instantiate shows me that they are probably
unnecessary.