$ ucm run.compiled myProgram.ucrun.compiledis a command line option to the UCM which runs a binary executable unison program. It is used in tandem with thecompilecommand.
$ ucm run.compiled myProgram.ucrun.compiledis a command line option to the UCM which runs a binary executable unison program. It is used in tandem with thecompilecommand.