Archit Gupta 8babb02766 lean4: fix install prefix for CMake 4.4 ...

`lean4` failed to build with CMake 4.4 since CMake started putting help
strings for known variables set from the command line. Lean was using
the presence of the generic help string to determine if a variable was
passed from the command line. For CMAKE_* variables, it considers them
as platform variables if they were not passed on the command line. Those
variables are then passed only to its stage0 and not stage1. This caused
CMAKE_INSTALL_PREFIX to be dropped, since previously the nixpkgs command
line override resulted in the generic help string, and with CMake 4.4 it
no longer does.

This works around this insanity by passing STAGE1_CMAKE_INSTALL_PREFIX
which Lean understands for passing CMAKE_INSTALL_PREFIX to its stage1
build.

2026-09-14 02:38:45 -07:00

..

default.nix

lean4: fix install prefix for CMake 4.4

2026-09-14 02:38:45 -07:00