idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.46k stars 368 forks source link

[fix] macos-nix build: refc support files don't build under default environment anymore #3246

Closed mattpolzin closed 3 months ago

mattpolzin commented 3 months ago

Description

Recent changes to the Refc support files require a newer version of the macOS stdenv than Nixpkgs defaults to. This PR builds the Support derivation against the newer stdenv and patches a spot where the support derivation would have otherwise been rebuilt as part of the bootstrapping process.

This has no impact on non-nix builds for non-macos platforms.

Should this change go in the CHANGELOG?