At current, provisioning the manifest Generator (and also Client) executables happens by uncommenting a few select lines of code. Two places in apps/ManifestGenerator/ManifestGenerator.sml and one in apps/ManifestCompiler/Client.sml: Search for "(* START: UNCOMENT FOR PROVISIONING ...".
The effect of these hard-codings is to generate JSON file configurations for things like (TermPlc) and (EvidencePlc) lists that are used as subsequent input to the Generator. Also a single Term for the client app.
This functionality should likely be moved to a dedicated command line interface to the Generator (to be run once in a "provisioning mode").
At current, provisioning the manifest Generator (and also Client) executables happens by uncommenting a few select lines of code. Two places in apps/ManifestGenerator/ManifestGenerator.sml and one in apps/ManifestCompiler/Client.sml: Search for "(* START: UNCOMENT FOR PROVISIONING ...".
The effect of these hard-codings is to generate JSON file configurations for things like (TermPlc) and (EvidencePlc) lists that are used as subsequent input to the Generator. Also a single Term for the client app.
This functionality should likely be moved to a dedicated command line interface to the Generator (to be run once in a "provisioning mode").