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.