[isabelle-dev] clang error

[Lawrence Paulson]

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

Larry

> On 24 Jul 2024, at 14:05, Norbert Schirmer <nschirmer at apple.com> wrote:
> 
> Since when does this problem occur?
> 
> The “C-Parser” part of AutoCorres2 uses “cpp” to pre-process the input C programs. Isabelle/ML invokes this as a shell command. So I can imagine various issues:
> * cpp version not as expected (it is not bundled as a Isabelle-compnent, it just uses what is there)
> * Some processing of arguments of the shell command does not work as expected
>