DUNE-INIT(1) | Dune Manual | DUNE-INIT(1) |
dune-init - Command group for initializing Dune components.
dune init proj NAME [PATH] [OPTION]...
dune init exec NAME [PATH] [OPTION]...
dune init lib NAME [PATH] [OPTION]...
dune init test NAME [PATH] [OPTION]...
dune init COMPONENT NAME [PATH] [OPTION]... initializes a new dune configuration for a component of the kind specified by the subcommand COMPONENT, named NAME, with fields determined by the supplied OPTIONs.
Run a subcommand with --help for for details on it's supported arguments
If the optional PATH is provided, it must be a path to a directory, and the component will be created there. Otherwise, it is created in a child of the current working directory, called NAME. To initialize a component in the current working directory, use `.` as the PATH.
Any prefix of a COMMAND's name can be supplied in place of full name (as illustrated in the synopsis).
For more details, see https://dune.readthedocs.io/en/stable/usage.html#initializing-components
dune init exits with:
dune init proj myproj --libs bos --ppx ppx_inline_test --inline-tests
dune init exe myexe
dune init lib mylib src --libs core,cmdliner --ppx ppx_let,ppx_inline_test --inline-tests
dune init test mytest test --libs mylib
dune(1)
Dune 3.14.0 |