The Nix buildIdris function now precisely targets the executable and also any C libraries built alongside the executable so less work needs to be done to package an application that ships its own shared library.
The Nix derivations for the support libraries and compiler don't rebuild when only the buildIdris function changes anymore.
Should this change go in the CHANGELOG?
[ ] If this is a fix, user-facing change, a compiler change, or a new paper
implementation, I have updated CHANGELOG_NEXT.md (and potentially also
CONTRIBUTORS.md).
Description
buildIdrisfunction now precisely targets the executable and also any C libraries built alongside the executable so less work needs to be done to package an application that ships its own shared library.supportlibraries and compiler don't rebuild when only thebuildIdrisfunction changes anymore.Should this change go in the CHANGELOG?
CHANGELOG_NEXT.md(and potentially alsoCONTRIBUTORS.md).