1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

//! Implementations for platform-independent Polyhorn-cli commands.

mod init;
mod run;
mod test;

pub use init::Init;
pub use run::Run;
pub use test::Test;

use clap::Clap;

/// Represents a choice between one of the supported platforms that Polyhorn
/// apps can be built for.
#[derive(Clap)]
pub enum Platform {
    /// Represents the iOS operating system that runs on iPhones, iPads etc.
    IOS,

    /// Represents the Android operating system that runs on most non-Apple
    /// smartphones.
    Android,
}