Skip to content
Snippets Groups Projects
Select Git revision
1 result Searching

compcert-intrinsec

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Bytecode-only build, continued
    Xavier Leroy authored 
    If ocamlopt is not available, use ocamlc instead of ocamlopt to build
auxiliary tools (tools/modorder, tools/ndfun).

This is a follow-up to commit 9af28924.
    6b854265
    History
    user avatar 6b854265
    History
    Name Last commit Last update