Struct DiscoverOptions 

pub struct DiscoverOptions {
    pub explicit_sysroot: Option<PathBuf>,
    pub allow_lean_sysroot_env: bool,
    pub allow_path_lookup: bool,
    pub allow_elan: bool,
    pub allow_lake_env: bool,
    pub toolchain_file: Option<PathBuf>,
}

Knobs that gate which discovery probes run.

Default enables every probe; tests and reproducible builds narrow the set to produce deterministic behaviour.

Fields

explicit_sysroot: Option<PathBuf>

Caller-supplied sysroot, probed first. The ambient probes that follow are each gated by their own allow_* flag, so a caller that wants an explicit sysroot to be the only source clears those flags (the build helpers do this automatically).

allow_lean_sysroot_env: bool

Consult the LEAN_SYSROOT environment variable.

allow_path_lookup: bool

Consult lean --print-prefix (requires lean on PATH).

allow_elan: bool

Consult $ELAN_HOME + elan show active-toolchain.

allow_lake_env: bool

Consult lake env printenv LEAN_SYSROOT under fixtures/lean.

toolchain_file: Option<PathBuf>

Optional lean-toolchain file to parse for the recorded version.

Trait Implementations

impl Clone for DiscoverOptions

fn clone(&self) -> DiscoverOptions

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DiscoverOptions

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for DiscoverOptions

fn default() -> Self

Returns the “default value” for a type.