[CakeML] Build problems

[Lars Hupel]

Dear Magnus,

> Would the bootstrapped compiler work for you? The bootstrapped
> compiler runs from the Unix command line just like any compiler (e.g.
> gcc). You might want to use it through the s-expression parser rather
> than the usual parser which parses SML syntax, because it easier to
> pretty print to s-expressions in a way that will be parsed to exactly
> the same AST.

sounds useful. Is there any documentation or an example of this input
format? How can I build the bootstrapped compiler?

Cheers
Lars