You are viewing a development version of the library. Goto the latest version.

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.