• Guillaume Melquiond's avatar
    Add an --extra-config option to load additional configuration. · 5c4b2517
    Guillaume Melquiond authored
    The loaded files are slimmed down version of the standard configuration
    file. They only support the following sections and fields:
    
    [main]
      loadpath=
      plugin=
    [prover ...]
      option=
      driver=
    
    It is also possible to define brand new [prover] sections.
    
    For now, the only supported frontends are why3 and why3ide.
    5c4b2517
gconfig.mli 3.69 KB