> > How does Ocaml get involved? It should not be a C-Reduce dependency.
Unless you choose to consider Frama-C as a C-Reduce dependency. OCaml is a dependency of Frama-C. I was going to say the only strong dependency, but on Windows there is MinGW, too. Pascal
