coqworkmgr • help

Note: help and version output are generated by a naïve script which tries a few variants of <command> --help, <command> -h etc. to find the command's help and version info. Sometimes it gets lucky, sometimes it doesn't; if the output below looks wrong, it probably is.

coqworkmgr --help (return code: 0)

Prints on stdout an env variable assignement to be picked up by coq instances in order to limit the maximum number of concurrent workers. The default value is 2. Usage: -j max number of concurrent jobs -d do not detach (debug) -help Display this list of options --help Display this list of options

coqworkmgr • help

coqworkmgr • help

coqworkmgr --help (return code: 0)

Installed via

Path