dune_instance_from_id

Determine a template file name and an instance file name from a file specification and a unique id.

dune_instance_from_id(
     file_spec 
     id 
    [template_var ]
    [instance_var ]
)

file_spec

The file specification.

id

The id specification. This should uniquely identify an instance.

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 the instance file name.

The file specification is handed to dune_instance_parse_file_spec() to determine a template file name and a base instance file name.

The ID is mangled by replacing any runs of non-alphanumeric characters with an underscore _, and stripping any resulting underscore from the beginning and the end. The result is inserted before any extension into the base instance file name to form the instance file name.

Note

This is the function use to parse the file specifications given in dune_instance_add(FILES …).