[isabelle-dev] clang error

[Lawrence Paulson]

I’m trying to figure out why AutoCorres2 doesn’t terminate in text/examples/WordAbs. But the first thing I get is

install C file 
2.864s elapsed time, 0.384s cpu time, 0.000s GC time 
clang: error: no such file or directory: 'c'
clang: warning: /tmp/isabelle-lp15/process637078695862628399/cpp14274848: 'linker' input unused [-Wunused-command-line-argument]

What gives?

Larry