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

compcert-intrinsec

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