[isabelle-dev] clang error

[Makarius]

On 7/24/24 19:27, Achim D. Brucker wrote:
> 
> Still, it might be worth a try to check if the error goes away when
> using the attached script. This requires to configure the cpp_path:
> 
> declare[[cpp_path="/path/to/cpp"]]
> 
> Where cpp is the attached script.

Normally such things are done via ISABELLE_CPP from etc/settings, but 
this needs to be provided by the Isabelle distribution: AFP cannot 
assume a system component context with etc/settings active, only a plain 
session directory (option -d or -D for build-related tools).

The AutoCorres2 ML bash command line will then use $ISABELLE_CPP without 
quotes or escapes, to allow additional options on the command.

The in-theory config option does not quite make sense to me: it needs to 
be configured in the system context, not the theory context. So that 
attribute could just disappear, unless there are odd reasons to keep it. 
(Many things in AutoCorres2 are odd.)


	Makarius