module BaseDynVar:sig
..end
Dynamic variables sets using 'setup.log'
This variables are typically executable real name that are initially not set and then are set while building. They are computed and set once the matching executable had been successfully created.
val init : ctxt:OASISContext.t -> OASISTypes.package -> unit
Read 'setup.log' and sets variables.