Is there a way to turn on profiling through oasis based on a flag? I tried it with the following: Flag "profile" Description: Build all with profiling. Default: false Executable "translate_region" Path: . MainIs: translate_region.ml Install: false CompiledObject: best Profile$: flag(profile) It gives the following error: E: Field Profile is not defined in schema Executable But this is confusing, because if you browse to the oasis manual here: http://oasis.forge.ocamlcore.org/MANUAL.html#substitution-inside-text you can clearly see a profile option... I also tried it without the Flag "profile", but that didn't work either.