Yozo TODA issues

Repositories
Issues
Comments

Results 1 issues of


                                            Yozo TODA

a patch to Makefile.menhir for ocaml-non-native architctures.

OpenBSD ports recently updated CompCert to 3.13, but does not work for ocaml-non-native architectures. The problem comes from Makefile.menhir expecting either menhirLib.cmxa or .cmx is available. It assumes ocaml native...