Struct polyhorn_cli::ios::tasks::BuildRuntimeLibraryV2

pub struct BuildRuntimeLibraryV2 {
    pub cfg: &'static str,
    pub target: &'static str,
    pub profile: &'static str,
    pub flags: &'static [&'static str],
}

This tasks builds the runtime library for the given target and with the given profile.

Fields

cfg: &'static str

Custom cfg to use when building this library.

target: &'static str

The target for which this library will be built.

profile: &'static str

The profile to pass to Cargo, e.g. debug or release.

flags: &'static [&'static str]

Additional flags passed to rustc.

Trait Implementations

impl Task for BuildRuntimeLibraryV2

type Context = IOSContext

The type of context that is passed to this task, processed and subsequently returned by this task.

type Error = IOSError

The type of error that this task can return.

pub fn verb(&self) -> &str

The verb that describes this task (e.g. "Launching" or "Building") that is shown to the user while the task is running.

pub fn message(&self) -> &str

The message that is shown to the user alongside the verb. This usually starts with a lowercase letter (e.g. "[Generating] source tree").

pub fn detail(&self) -> &str

Optional additional text that is shown to the user alongside the message. This usually starts with a lowercase letter too (e.g.

pub fn run(
    &self,
    context: IOSContext,
    _manager: &mut Manager<'_>
) -> Result<IOSContext, IOSError>

This function should execute the task.