[isabelle-dev] clang error

[Norbert Schirmer]

> On 24. Jul 2024, at 15:28, Lawrence Paulson <lp15 at cam.ac.uk> wrote:
> 
> On my M2 machine I get this:
> 
>> Apple clang version 15.0.0 (clang-1500.3.9.4)
>> Target: arm64-apple-darwin23.5.0
>> Thread model: posix
>> InstalledDir: /Library/Developer/CommandLineTools/usr/bin

Can you please try if the problem is already present in plain Isabelle2024 + AFP 2024, not the development versions.

There is at least one commit in the development version that could have changed the behaviour:
https://isabelle-dev.sketis.net/rAFPb626e627c3cb280b4fb609d9ebebe1e905930f83


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240724/58236b2f/attachment-0001.htm>