[−][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. |