| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 1 | #!/usr/bin/env dotslash |
| 2 | |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 3 | // The NativeActivity glue and the ABI's headers, from jolt-native's v0.1.3 |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 4 | // release. |
| 5 | // |
| 6 | // jolt_main.c is what libvidya's android_main dlopens: it boots Chez over the |
| 7 | // Jolt image this repo builds and registers every Vidya symbol by hand, since |
| 8 | // the loader will not answer for a symbol living in a different shared object. |
| 9 | // The headers beside it are what it includes. Both are jolt-native's; only the |
| 10 | // boot image is frq's. |
| 11 | // |
| 12 | // Source, not a binary, and pinned for the same reason the library is: an APK |
| 13 | // should not need a second checkout to build. |
| 14 | { |
| 15 | "name": "android-glue", |
| 16 | "platforms": { |
| 17 | "linux-x86_64": { |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 18 | "size": 10652, |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 19 | "hash": "sha256", |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 20 | "digest": "83313eda124f2a0cfff6827cf4473600c1f71db2f208d654b97068a85af38da5", |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 21 | "format": "tar.gz", |
| 22 | "path": "jolt-native-android-glue/android/jolt_main.c", |
| 23 | "providers": [ |
| 24 | { |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 25 | "url": "https://gitlab.com/nandithebull/jolt-native/-/releases/v0.1.3/downloads/jolt-native-android-glue-v0.1.3.tar.gz" |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 26 | } |
| 27 | ] |
| 28 | }, |
| 29 | "linux-aarch64": { |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 30 | "size": 10652, |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 31 | "hash": "sha256", |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 32 | "digest": "83313eda124f2a0cfff6827cf4473600c1f71db2f208d654b97068a85af38da5", |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 33 | "format": "tar.gz", |
| 34 | "path": "jolt-native-android-glue/android/jolt_main.c", |
| 35 | "providers": [ |
| 36 | { |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 37 | "url": "https://gitlab.com/nandithebull/jolt-native/-/releases/v0.1.3/downloads/jolt-native-android-glue-v0.1.3.tar.gz" |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 38 | } |
| 39 | ] |
| 40 | }, |
| 41 | "macos-x86_64": { |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 42 | "size": 10652, |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 43 | "hash": "sha256", |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 44 | "digest": "83313eda124f2a0cfff6827cf4473600c1f71db2f208d654b97068a85af38da5", |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 45 | "format": "tar.gz", |
| 46 | "path": "jolt-native-android-glue/android/jolt_main.c", |
| 47 | "providers": [ |
| 48 | { |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 49 | "url": "https://gitlab.com/nandithebull/jolt-native/-/releases/v0.1.3/downloads/jolt-native-android-glue-v0.1.3.tar.gz" |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 50 | } |
| 51 | ] |
| 52 | }, |
| 53 | "macos-aarch64": { |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 54 | "size": 10652, |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 55 | "hash": "sha256", |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 56 | "digest": "83313eda124f2a0cfff6827cf4473600c1f71db2f208d654b97068a85af38da5", |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 57 | "format": "tar.gz", |
| 58 | "path": "jolt-native-android-glue/android/jolt_main.c", |
| 59 | "providers": [ |
| 60 | { |
| Pin the media plane, now that there is a release to pin 03d5a6b nandi 18d ago | 61 | "url": "https://gitlab.com/nandithebull/jolt-native/-/releases/v0.1.3/downloads/jolt-native-android-glue-v0.1.3.tar.gz" |
| Build the APK with buck2, from pins rather than from a second checkout a71ef8f nandi 18d ago | 62 | } |
| 63 | ] |
| 64 | } |
| 65 | } |
| 66 | } |