dynamic-run¶
- (dynamic-run <prog> <args>)
Execute a program that was linked against the
dune-action-pluginlibrary.<prog>is resolved in the same way as in run.Example:
(dynamic-run ./plugin.exe)
Execute a program that was linked against the dune-action-plugin library.
<prog> is resolved in the same way as in run.
Example:
(dynamic-run ./plugin.exe)