Step by step to bundle the certificate along with the apps

• At this stage, since we only have the translation from JVM classes to DEX, we need to get the classes from a half compiled Android app
• Build non-optimized version of the app
• Get the classes from the intermediates directory
• Feed the classes into the OCaml program to get the certificate
• Rename the certificate into “Certificate.cert”
• Insert the certificate into “assets/” directory
• Compile the apps

Home > Translation Proof