dynamic-run¶
- (dynamic-run <prog> <args>)
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)
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)