[rb-general] bootstrappable builds

Ludovic Courtès ludo at gnu.org
Sun Dec 18 22:58:18 CET 2016


Holger Levsen <holger at layer-acht.org> skribis:

> I've heard about http://compcert.inria.fr/compcert-C.html and
> http://compcert.inria.fr/ yesterday and I believe it is related… 

Unfortunately, CompCert is non-free.  :-/

Also, it depends on Coq, which depends on OCaml, which is not


More information about the rb-general mailing list