Interesting.
Okay, more searching turns up the “xcrun” and “xcode-select” tools, which confirm that I am in fact using a 10.15 SDK:
hardy:~/430 clements> xcrun --show-sdk-version
10.15
hardy:~/430 clements> xcode-select -p
/Applications/Xcode.app/Contents/Developer
hardy:~/430 clements> xcrun --show-sdk-path
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk
What I’m less sure about is how to set it *back* to 10.14 so that I can compile racket again. Things I’m seeing online suggest that in fact this might involve downloading another whole copy of XCode, which would be … a bit frightening.
John
> On Sep 30, 2019, at 4:44 PM, Matthew Flatt <
mfl...@cs.utah.edu> wrote:
>
> Although I have the latest Xcode, the command-line tools seem to have a
> copy the 10.14 SDK, maybe because I'm running on 10.14.
>
> When I tell the compiler to use the 10.15 SDK (which is what is in the
> "Xcode.app" directory), then I see the error that you do.
>
> I'll fix xform.
>
> At 29 Sep 2019 14:32:55 -0400, "'John Clements' via dev-redirect" wrote: