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

compcert-intrinsec

  • Clone with SSH
  • Clone with HTTPS
  • user avatar
    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
    Name Last commit Last update