[isabelle-dev] clang error

[Norbert Schirmer]

> On 24. Jul 2024, at 11:47, Makarius <makarius at sketis.net> wrote:
> 
> I also see this on the nightly build "AFP (macOS 14 Sonoma, Apple Silicon)", see https://isatest.sketis.net/devel/build_status/index.html
> 
> It is unclear to me what it means. The AutoCorres2 guys are at home on the macOS platform, so they should be able to say more.

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

  Regards,

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