nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-05 21:03:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
nixpkgs/pkgs/development/lean-modules/lean4
History
Nadja Yang 03752ca7ca lean4, leanPackages.lean4: fix darwin build by adding libtool 
Lake 4.30.0 uses libtool -static on macOS for static library targets
instead of ar.
d024af099c/src/lake/Lake/Build/Library.lean (L87-L95)

See Hydra Build No. 330752454, lean4.aarch64-darwin (June 4, 2026),
https://hydra.nixos.org/build/330752454; Hydra Build No. 330752481,
leanPackages.lean4.aarch64-darwin (June 4, 2026),
https://hydra.nixos.org/build/330752481.

Breakage introduced in
a26b66330f
2026-06-04 23:56:27 -04:00
..
default.nix
lean4, leanPackages.lean4: fix darwin build by adding libtool
2026-06-04 23:56:27 -04:00