When you have both bytecode and native code compilers, You can choose to compile Coq in bytecode only or native code mode.My intention is to provide a chance to select FLAVOR when two ocaml compilers available...
I'd strongly prefer it if all possible versions were compiled up. e.g. both bytecode/native on x86, and only bytecode on sparc64/ zaurus. Much less confusion that way and a simpler port.
Anil
