An error occurred while fetching folder content.
Select Git revision
compcert-intrinsec
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.
Name | Last commit | Last update |
---|