dune_instance_parse_file_spec

Parse a file specification into a template file name and an instance file name.

dune_instance_parse_file_spec(
     spec 
    [template_var ]
    [instance_var ]
)

spec

The file specification.

template_var

Name of the variable to store the template file name in. Can be empty to discard the template file name.

instance_var

Name of the variable to store the instance file name in. Can be empty to discard then instance file name.

The file specification can be the name of a template file if it has .in at the end, or the name of an instance file if it doesn’t. The name of the other file is obtained by appending or removing .in, as applicable. Both file names can also be given explicitly in the form template_file_name:instance_file_name.

Note

This is the function use to parse the file specifications in dune_instance_begin(). It is also used as a helper in dune_instance_from_id() to determine template file name and base instance file name.