mm apparently something is failing to detect that then. Though as a workaround you can actually set it when configuring, with

-DCMAKE_OSX_SYSROOT=<path>