1dune-config(5) Dune manual dune-config(5)
2
3
4
6 dune-config - configuring the dune build system
7
9 ~/.config/dune/config
10
12 Unless --no-config or -p is passed, Dune will read a configuration file
13 from the user home directory. This file is used to control various
14 aspects of the behavior of Dune.
15
16 The configuration file is normally ~/.config/dune/config on Unix
17 systems and Local Settings/dune/config in the User home directory on
18 Windows. However, it is possible to specify an alternative
19 configuration file with the --config-file option.
20
21 The first line of the file must be of the form (lang dune X.Y) where
22 X.Y is the version of the dune language used in the file.
23
24 The rest of the file must be written in S-expression syntax and be
25 composed of a list of stanzas. The following sections describe the
26 stanzas available.
27
29 Syntax: (display MODE)
30
31 This stanza controls how Dune reports what it is doing to the user.
32 This parameter can also be set from the command line via --display
33 MODE. The following display modes are available:
34
35 progress
36 This is the default, Dune shows and update a status line as build
37 goals are being completed.
38
39 quiet
40 Only display errors.
41
42 short
43 Print one line per command being executed, with the binary name on
44 the left and the reason it is being executed for on the right.
45
46 verbose
47 Print the full command lines of programs being executed by Dune,
48 with some colors to help differentiate programs.
49
50 Note that when the selected display mode is progress and the output is
51 not a terminal then the quiet mode is selected instead. This rule
52 doesn't apply when running Dune inside Emacs. Dune detects whether it
53 is executed from inside Emacs or not by looking at the environment
54 variable INSIDE_EMACS that is set by Emacs. If you want the same
55 behavior with another editor, you can set this variable. If your editor
56 already sets another variable, please open a ticket on the ocaml/dune
57 github project so that we can add support for it.
58
60 Syntax: (jobs NUMBER)
61
62 Set the maximum number of jobs Dune might run in parallel. This can
63 also be set from the command line via -j NUMBER.
64
65 The default for this value is 4.
66
68 Check bug reports at https://github.com/ocaml/dune/issues
69
70
71
72Dune dune-config(5)