[−][src]Module polyhorn_cli::android::tasks
Tasks and context specific for build and running on Android.
Structs
| AndroidContext | Context that gets passed through each task. |
| BuildRuntimeLibrary | This tasks builds the runtime library for the given target and with the given profile. |
| FindAndroidStudio | This task attempts to locate Android Studio and uses the result to locate the Android SDK and Java home. The Android Studio itself isn't used, but it's the easiest way of obtaining a working installation of the SDK, NDK and Java that are all compatible. |
| GenerateSourceTree | This task generates a new source tree based on the template that ships with
|
| Install | This task invokes Gradle to install a debug-build on the user's device or emulator. |
| LinkNativeLibraries | This task copies all products from the |
| Run | This task launches the newly installed Polyhorn-powered app on a user's device or emulator. |
Enums
| AndroidError | Represents an error that is returned by one of the Android-specific tasks. |
| AndroidTask | Represents one of the Android-specific tasks. |