Struct polyhorn_cli::android::tasks::BuildRuntimeLibrary

pub struct BuildRuntimeLibrary {
    pub target: Target<'static>,
    pub profile: &'static str,
}

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

Fields

target: Target<'static>

The target ABI to compile for.

profile: &'static str

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

Trait Implementations

impl Task for BuildRuntimeLibrary

type Context = AndroidContext

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

type Error = AndroidError

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: AndroidContext,
    _manager: &mut Manager<'_>
) -> Result<AndroidContext, AndroidError>

This function should execute the task.