KitsunePrefecture

Good luck to add/enable your fav compiler to Haiku!

1 reply

Munchausen

You are probably aware but there was a port of ocaml to haiku before. It even has somewhat working haiku bindings. Perhaps it is outdated or not fully working, though.

It will be great to have compcert available. A truly impressive piece of engineering.

1 reply

Begasus

Had to follow the link to the blog post to see from who this was (the gtksourceview4 should have gave that away when I saw it) Congrats on the progress @Anarchos !

1 reply

Anarchos

Long road ahead…

Anarchos

Yes, but the recent versions of ocaml have disabled the native compilation, which is mandatory to compile coq. So i have to rebuild myself the OCaml compiler with native compilation enabled.