resolve_aeneas_path

rem_utils

Function resolve_aeneas_path 

Source 
pub fn resolve_aeneas_path(
    cli_aneas_path: &Option<PathBuf>,
) -> Result<PathBuf, Box<dyn Error>>
Expand description

Resolves the path to the Aeneas Binary.

  • If the user has provided a path via the CLI, use that.
  • Otherwise, use the path speficied in the environment variable AENEAS_PATH.
  • If neither of the above are provided, use the path specified in the config.toml file.
  • If none of the above are provided, use the default path, ./aeneas