[CakeML] Build problems

Lars Hupel hupel at in.tum.de
Thu Apr 6 07:17:00 UTC 2017


Hi Ramana,

> A preliminary binary with the CakeML parser can be downloaded here:
> https://cakeml.org/cake-32b749c3.S.tar.gz
> 
> To build it, one needs the file basis/basis_ffi.c from the repository, then
> run:
> gcc -o cake basis_ffi.c cake-32b749c3.S
> 
> If you feed the resulting executable source code on standard input, it will
> produce another .S file on standard output which can be built using the
> same recipe (i.e. linked with basis_ffi.c using gcc).

thanks, that seems to have worked. Excuse the possibly stupid question,
but how do I make the generated program print something? I poked around
the FFI things but couldn't find anything that would compile with the
bootstrapped compiler.

Cheers
Lars



More information about the Users mailing list