Module BaseDynVar

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.
Author(s): Sylvain Le Gall

val init : OASISTypes.package -> unit

Read 'setup.log' and sets variables.