GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages
dune-config(5) Dune manual dune-config(5)

dune-config - configuring the dune build system

~/.config/dune/config

Unless --no-config or -p is passed, Dune will read a configuration file from the user home directory. This file is used to control various aspects of the behavior of Dune.

The configuration file is normally ~/.config/dune/config on Unix systems and Local Settings/dune/config in the User home directory on Windows. However, it is possible to specify an alternative configuration file with the --config-file option.

The first line of the file must be of the form (lang dune X.Y) where X.Y is the version of the dune language used in the file.

The rest of the file must be written in S-expression syntax and be composed of a list of stanzas. The following sections describe the stanzas available.

Syntax: (display MODE)

This stanza controls how Dune reports what it is doing to the user. This parameter can also be set from the command line via --display MODE. The following display modes are available:

progress
This is the default, Dune shows and update a status line as build goals are being completed.
quiet
Only display errors.
short
Print one line per command being executed, with the binary name on the left and the reason it is being executed for on the right.
verbose
Print the full command lines of programs being executed by Dune, with some colors to help differentiate programs.

Note that when the selected display mode is progress and the output is not a terminal then the quiet mode is selected instead. This rule doesn't apply when running Dune inside Emacs. Dune detects whether it is executed from inside Emacs or not by looking at the environment variable INSIDE_EMACS that is set by Emacs. If you want the same behavior with another editor, you can set this variable. If your editor already sets another variable, please open a ticket on the ocaml/dune github project so that we can add support for it.

Syntax: (jobs NUMBER)

Set the maximum number of jobs Dune might run in parallel. This can also be set from the command line via -j NUMBER.

The default for this value is 4.

Check bug reports at https://github.com/ocaml/dune/issues
Dune

Search for    or go to Top of page |  Section 5 |  Main Index

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with ManDoc.