[−][src]Module polyhorn_cli::android
Tasks and types for Android-specific operations.
Modules
commands | Android-specific implementations of Polyhorn CLI commands. |
tasks | Tasks and context specific for building and running on Android. |
Structs
Spec | This spec contains Android-specific settings. |
Target | Represents a Android ABI target that is used to build for an Android device with a specific CPU and instruction set. |