If you're a contributor, please include your CHANGES entry in a file
doc/changes/$PR_NAME.md
. At release time, it will be incoporated into the
changelog properly.
-
allow libraries with the same
(name ..)
in projects as long as they don't conflict during resolution (viaenabled_if
). (#10307, @anmonteiro, @jchavarri) -
dune describe pp
now finds the exact module and the stanza it belongs to, instead of guessing the name of the preprocessed file. (#10321, @anmonteiro) -
Print the result of
dune describe pp
with the respective dialect printer. (#10322, @anmonteiro) -
Add new flag
--context
todune ocaml-merlin
, which allows to select a Dune context when requesting Merlin config. Adddune describe contexts
subcommand. Introduce a fieldgenerate_merlin_rules
for contexts declared in the workspace, that allows to optionally produce Merlin rules for other contexts besides the one selected for Merlin (#10324, @jchavarri) -
melange: add include paths for private library
.cmj
files during JS emission. (#10416, @anmonteiro) -
dune ocaml-merlin
: communicate additional directivesSOURCE_ROOT
,UNIT_NAME
(the actual name with wrapping) andINDEX
with the paths to the index(es). (#10422, @voodoos) -
Add a new alias
@ocaml-index
that uses theocaml-index
binary to generate indexes that can be read by tools such as Merlin to provide project-wide references search. (#10422, @voodoos) -
merlin: add optional
(merlin_reader CMD)
construct to(dialect)
stanza to configure a merlin reader (#8567, @andreypopp)
-
melange: treat private libraries with
(package ..)
as public libraries, fixing an issue whereimport
paths were wrongly emitted. (#10415, @anmonteiro) -
install
.glob
files for Coq theories too (#10602, @ejgallego)
-
Don't try to document non-existent libraries in doc-new target (#10319, fixes #10056, @jonludlam)
-
Make
dune-site
'sload_all
function look forMETA
files so that it doesn't fail on empty directories in the plugin directory (#10458, fixes #10457, @shym) -
Fix incorrect warning for libraries defined inside non-existant directories using
(subdir ..)
and used by executables usingdune-build-info
(#10525, @rgrinberg) -
Don't try to take build lock when running
coq top --no-build
(#10547, fixes #7671, @lzy0505) -
Make sure to truncate dune's lock file after locking and unlocking so that users cannot observe incorrect pid's (#10575, @rgrinberg)
-
mdx: link mdx binary with
byte_complete
. This fixes(libraries)
with foreign archives on Linux. (#10586, fixes #10582, @anmonteiro) -
virtual libraries: fix an issue where linking an executable involving several virtual libries would cause an error. (#10581, fixes #10460, @rgrinberg)
-
Fix interpretation of
exists_if
predicate inMETA
files of installed libraries containing more than one element. (#10564, fixes #10563, @dbuenzli, @nojb) -
Fix TSAN warning in wait4 stubs (#10554, fixes #10553, @emillon)
-
If no directory targets are defined, then do not evaluate
enabled_if
(#10442, @rgrinberg) -
Fix a bug where Coq projects were being rebuilt from scratch each time the dependency graph changed. (#10446, fixes #10149, @alizter)
-
Fix overflow in sendfile stubs (copy of large files could fail or end with truncated files) (#10333, @tonyfettes)
-
Fix crash when a rule with a directory target is disabled with
enabled_if
(#10382, fixes #10310, @gridbugs) -
melange: remove all restrictions around virtual libraries in Melange. They may be used as otherwise in libraries and executables. (#10412, @anmonteiro)
-
spawn: fix compatibility with RHEL7 (#10428, @emillon)
-
Add link flags to to
ocamlmklib
for ctypes stubs (#8784, @frejsoya) -
Remove some unnecessary limitations in the expansions of percent forms in install stanza. For example, the
%{env:..}
form can be used to select files to be installed. (#10160, @rgrinberg) -
Allow artifact expansion percent forms (
%{cma:..}
,%{cmo:..}
, etc.) in more contexts. Previously, they would be randomly forbidden in some fields. (#10169, @rgrinberg) -
Allow
%{inline_tests}
in more contexts (#10191, @rgrinberg) -
Remove limitations on percent forms in the
(enabled_if ..)
field of libraries (#10250, @rgrinberg) -
Support dialects in
dune describe pp
(#10283, @emillon) -
Allow defining executables or melange emit stanzas with the same name in the same folder under different contexts. (#10220, @rgrinberg, @jchavarri)
-
coq: Delay Coq rule setup checks so OCaml-only packages can build in hybrid Coq/OCaml projects when
coqc
is not present. Thanks to @vzaliva for the test case and report (#9845, fixes #9818, @rgrinberg, @ejgallego) -
Fix conditional source selection with
select
onbigarray
in OCaml 5 (#10011, @moyodiallo) -
melange: fix inconsistency in virtual library implementation. Concrete modules within a virtual library can now refer to its virtual modules too (#10051, fixes #7104, @anmonteiro)
-
melange: fix a bug that would cause stale
import
paths to be emitted when moving source files within(include_subdirs ..)
(#10286, fixes #9190, @anmonteiro) -
Dune file formatting: output utf8 if input is correctly encoded (#10113, fixes #9728, @moyodiallo)
-
Fix expanding dependencies and locks specified in the cram stanza. Previously, they would be installed in the context of the cram test, rather than the cram stanza itself (#10165, @rgrinberg)
-
Fix bug with
dune exec --watch
where the working directory would always be set to the project root rather than the directory where the command was run (#10262, @gridbugs) -
Regression fix: sign executables that are promoted into the source tree (#10263, fixes #9272, @emillon)
-
Fix crash when decoding dune-package for libraries with
(include_subdirs qualified)
(#10269, fixes #10264, @emillon)
- Remove the
--react-to-insignificant-changes
option. (#10083, @rgrinberg)
- fix compilation on non-glibc systems due to
signal.h
not being pulled in spawn stubs. (#10256, @emillon)
-
When a directory is changed to a file, correctly remove it in subsequent
dune build
runs. (#9327, fix #6575, @emillon) -
Fix a problem with the doc-new target where transitive dependencies were missed during compile. This leads to missing expansions in the output docs. (#9955, @jonludlam)
-
coq: fix performance regression in coqdep unescaping (#10115, fixes #10088, @ejgallego, thanks to Dan Christensen for the report)
-
coq: memoize coqdep parsing, this will reduce build times for Coq users, in particular for those with many .v files (#10116, @ejgallego, see also #10088)
-
on Windows, use an unicode-aware version of
CreateProcess
to avoid crashes when paths contains non-ascii characters. (#10212, fixes #10180, @emillon)
-
Introduce a
(dynamic_include ..)
stanza. This is like(include foo)
but allowsfoo
to be the target of a rule. Currently, there are some limitations on the stanzas that can be generated. For example, public executables, libraries are currently forbidden. (#9913, @rgrinberg) -
Introduce
$ dune promotion list
to print the list of available promotions. (#9705, @moyodiallo) -
If Sherlodoc is installed, add a search bar in generated HTML docs (#9772, @EmileTrotignon)
-
Add
only_sources
field tocopy_files
stanza (#9827, fixes #9709, @jchavarri) -
The
(foreign_library)
stanza now supports the(enabled_if)
field. (#9914, @nojb)
-
Fix
$ dune install -p
incorrectly recognizing packages that are supposed to be filtered (#9879, fixes #4814, @rgrinberg) -
subst: correctly handle opam files in opam/ subdirectory (#9895, fixes #9862, @emillon)
-
Odoc private rules are not set up if a library is not available due to
enabled_if
(#9897, @rgrinberg and @jchavarri)
-
When dune language 3.14 is enabled, resolve the binary in
(run %{bin:..} ..)
from where the binary is built. (#9708, @rgrinberg) -
boot: remove single-command bootstrap. This was an alternative bootstrap strategy that was used in certain conditions. Removal makes the bootstrap a bit slower on Linux when only a single core is available, but bootstrap is now reproducible in all cases. (#9735, fixes #9507, @emillon)
-
Fix performance regression for incremental builds (#9769, fixes #9738, @rgrinberg)
-
Fix
dune ocaml top-module
to correctly handle absolute paths. (#8249, fixes #7370, @Alizter) -
subst: ignore broken symlinks when looking at source files (#9810, fixes #9593, @emillon)
-
subst: do not fail on 32-bit systems when large files are encountered. Just log a warning in this case. (#9811, fixes #9538, @emillon)
-
boot: sort directory entries in readdir. This makes the dune binary reproducible in terms of filesystem order. (#9861, fixes #9794, @emillon)
-
Add command
dune cache clear
to completely delete all traces of the Dune cache. (#8975, @nojb) -
Allow to disable Coq 0.8 deprecation warning (#9439, @ejgallego)
-
Allow
OCAMLFIND_TOOLCHAIN
to be set per context in the workspace file through theenv
stanza. (#9449, @rgrinberg) -
Menhir: generate
.conflicts
file by default. Add new field to the(menhir)
stanza to control the generation of this file:(explain <blang expression>)
. Introduce(menhir (flags ...) (explain ...))
field in the(env)
stanza, delete(menhir_flags)
field. All changes are guarded under a new version of the Menhir extension, 3.0. (#9512, @nojb) -
Directory targets can now be cached. (#9535, @rleshchinskiy)
-
It is now possible to use special forms such as
(:include)
and variables%{read-lines:}
in(modules)
and similar fields. Note that the dependencies introduced in this way (ie the files being read) must live in a different directory than the stanza making use of them. (#9578, @nojb) -
Remove warning 30 from default set for projects where dune lang is at least 3.13 (#9568, @gasche)
-
Add
coqdoc_flags
field tocoq
field ofenv
stanza allowing the setting of workspace-wide defaults forcoqdoc_flags
. (#9280, fixes #9139, @Alizter) -
ctypes: fix an error where
(ctypes)
with no(function_description)
would cause an error trying refer to a nonexistent_stubs.a
dependency (#9302, fix #9300, @emillon)
- Check that package names in
(depends)
and related fields indune-project
are well-formed. (#9472, fixes #9270, @ElectreAAS)
-
Do not ignore
(formatting ..)
settings in context or workspace files (#8447, @rgrinberg) -
Fixed a bug where Dune was incorrectly parsing the output of coqdep when it was escaped, as is the case on Windows. (#9231, fixes #9218, @Alizter)
-
Copying mode for sandboxes will now follow symbolic links (#9282, @rgrinberg)
-
Forbid the empty
(binaries ..)
field in theenv
stanza in the workspace file unless language version is at least 3.2. (#9309, @rgrinberg) -
[coq] Fix bug in computation of flags when composed with boot theories. (#9347, fixes #7909, @ejgallego)
-
Fixed a bug where the
(select)
field of the(libraries)
field of the(test)
stanza wasn't working properly. (#9387, fixes #9365, @Alizter) -
Fix handling of the
PATH
argument todune init proj NAME PATH
. An intermediate directory calledNAME
is no longer created ifPATH
is supplied, sodune init proj my_project .
will now initialize a project in the current working directory. (#9447, fixes #9209, @shonfeder) -
Experimental doc rules: Correctly handle the case when a package depends upon its own sublibraries (#9461, fixes #9456, @jonludlam)
-
Resolve various public binaries to their build location, rather than to where they're copied in the
_build/install
directory (#9496, fixes #7908, @rgrinberg). -
Correctly ignore warning flags in vendored projects (#9515, @rgrinberg)
-
Use watch exclusions in watch mode on MacOS (#9643, fixes #9517, @PoorlyDefinedBehaviour)
-
Fix merlin configuration for
(include_subdirs qualified)
modules (#9659, fixes #8297, @rgrinberg) -
Fix handling of
enabled_if
in binary install stanzas. Previously, we'd ignore the result ofenabled_if
when evaluating%{bin:..}
(#9707, @rgrinberg)
-
Fix version check in
runtest_alias
forcram
stanza (#9454, @emillon) -
Fix stack overflow when a
(run)
action can not be parsed. (#9530, fixes #9529, @gridbugs)
- Revert unintended inclusion of #9250 and #9280 (@emillon)
-
Introduce
$ dune ocaml doc
to open and browse documentation. (#7262, fixes #6831, @EmileTrotignon) -
dune cache trim
now accepts binary byte units:KiB
,MiB
, etc. (#8618, @Alizter) -
No longer force colors for OCaml 4.03 and 4.04 (#8778, @rgrinberg)
-
Introduce new experimental odoc rules (#8803, @jonjudlam)
-
Introduce the
runtest_alias
field to thecram
stanza. This allows removing defaultruntest
alias from tests. (@rgrinberg, #8887) -
Do not ignore libraries named
bigarray
when they are defined in conjunction with OCaml 5.0 (#8902, fixes #8901, @rgrinberg) -
Dependencies in the copying sandbox are now writeable (#8920, @rgrinberg)
-
Absent packages shouldn't prevent all rules from being loaded (#8948, fixes #8630, @rgrinberg)
-
Correctly determine the stanza of menhir modules when
(include_subdirs qualified)
is enabled (@rgrinberg, #8949, fixes #7610) -
Display cache location in Dune log (#8974, @nojb)
-
Re-run actions whenever
(expand_aliases_in_sandbox)
changes (#8990, @rgrinberg) -
Rules that only use internal dune actions (
write-file
,echo
, etc.) can now be sandboxed. (#9041, fixes #8854, @rgrinberg) -
Do not re-run rules when their location changes (#9052, @rgrinberg)
-
Correctly ignore
bigarray
on recent version of OCaml (#9076, @rgrinberg) -
Add
test_
prefix to default test name indune init project
(#9257, fixes #9131, @9sako6) -
[coq rules] Be more tolerant when coqc --print-version / --config don't work properly, and fallback to a reasonable default. This fixes problems when building Coq projects with
(stdlib no)
and likely other cases. (#8966, fix #8958, @Alizter, reported by Lasse Blaauwbroek) -
Dune will now run at a lower framerate of 15 fps rather than 60 when
INSIDE_EMACS
. (#8812, @Alizter) -
dune-build-info: when
version=""
is found in aMETA
file, we now returnNone
as a version string (#9177, @emillon) -
Dune can now be built and installed on Haiku (#8795, fix #8551, @Alizter)
-
Mark installed directories in
dune-package
files. This fixes(package)
dependencies against packages that contain such directories. (#8953, fixes #8915, @emillon)
-
Fix
dune rpc
commands on Windows (#8806, fixes #8799, @nojb) -
Fix
inline_tests
when the partition list is empty (#8849, fixes #8848, @hhugo)
-
enabled_if
now supportsarch_sixtyfour
variable (#8023, fixes #7997, @Alizter) -
Use
posix_spawn
instead offork
on MacOS. This gives us a performance boost and allows us to re-enable thread. (#8090, @rgrinberg) -
Experimental: Added a
$ dune monitor
command that can connect to a runningdune build
in watch mode and display the errors and progress. (#8152, @Alizter) -
The
progress
RPC procedure now has an extra field for theIn_progress
constructor for the number of failed jobs. (#8212, @Alizter) -
Add a
--preview
flag todune fmt
which causes it to print out the changes it would make without applying them (#8289, @gridbugs) -
Introduce
(source_trees ..)
to the install stanza to allow installing entire source trees. (#8349, @rgrinberg) -
Add
--stop-on-first-error
option todune build
which will terminate the build when the first error is encountered. (#8400, @pmwhite and @Alizter) -
Dune now displays the number of errors when waiting for changes in watch mode. (#8408, fixes #6889, @Alizter)
-
Add
with_prefix
keyword for changing the prefix of the destination of installed files matched by globs. (#8416, @gridbugs) -
Added experimental
--display tui
option for Dune that opens an interactive Terminal User Interface (TUI) when Dune is running. Press '?' to open up a help screen when running for more information. (#8429, @Alizter and @rgrinberg) -
Add a
warnings
field todune-project
files as a unified mechanism to enable or disable dune warnings (@rgrinberg, 8448) -
dune exec
: support syntax like%{bin:program}
. This can appear anywhere in the command line, so things likedune exec time %{bin:program}
now work. (#6035, #8474, fixes #2691, @emillon, @Leonidas-from-XIV) -
Make copy sandbox support directory targets. (#8705, fixes #7724, @emillon)
-
Add a new alias
@doc-json
to build odoc documentation in JSON format. This output can be consumed by external tools. (#8178, @emillon) -
Modules that were declared in
(modules_without_implementation)
,(private_modules)
or(virtual_modules)
but not declared in(modules)
will raise an error. (#7674, @Alizter) -
No longer emit linkopts(javascript) in META files (#8168, @hhugo)
-
Deprecate install destination paths beginning with ".." to prevent packages escaping their designated installation directories. (#8350, @gridbugs)
-
RPC message styles are now serialised meaning that RPC diagnostics keep their Ansi styling. (#8516, fixes #6921, @Alizter)
-
Truncate output from actions that produce too much output (@tov, #8351)
-
Allow libraries to shadow OCaml builtin libraries. Previously, builtin libraries would always take precedence. (@rgrinberg, #8558)
-
Remove warning against
.dune
files generated by pre dune 2.0 (#8611, @rgrinberg) -
dune utop
no longer linksutop
in "custom" mode, which should make this command considerably faster. (#8631, fixes #6894, @nojb) -
Ensure that package names in
dune-project
are valid opam package names. (#8331, @emillon) -
init: check that module names are valid (#8644, fixes #8252, @emillon)
-
dune init: parse
--public
as a public name (#8603, fixes #7108, @emillon) -
Stop signing source files with substitutions. Sign only binaries instead (#8361, fixes #8360, @anmonteiro)
-
Remove versions 0.1 and 0.2 of the experimental ctypes extension. (#8293, @emillon)
-
Add
dune show rules
as alias of thedune rules
command. (#8000, @Alizter) -
Fix
%{deps}
to expand properly in(cat ...)
when containing 2 or more items. (#8196, @Alizter) -
Add
dune show installed-libraries
as an alias of thedune installed-libraries
command. (#8135, @Alizter) -
Fix the
severity
of error messages sent over RPC which was missing. (#8193, @Alizter) -
Add
dune build --dump-gc-stats FILE
argument to dump garbage collection stats to a named file. (#8072, @Alizter) -
Fix bug with ppx and Reason syntax due to missing dependency in sandboxed action (#7932, fixes #7930, @Alizter)
-
Add
dune describe package-entries
to print all package entries (#7480, @moyodiallo) -
Improve
dune describe external-lib-deps
by adding the internal dependencies for more information. (#7478, @moyodiallo) -
Re-enable background file digests on Windows. The files are now open in a way that prevents race condition around deletion. (#8262, fixes #8268, @emillon)
- Fix flushing when using
sendfile
fallback (#8288, fixes #8284, @alan-j-hu)
-
Disable background digests on Windows. This prevents an issue where unremovable files would make dune crash when the shared cache is enabled. (#8243, fixes #8228, @emillon)
-
Fix permission errors when
sendfile
is not available (#8234, fixes #8210, @emillon)
-
Disable background operations and threaded console on MacOS and other Unixes where we rely on fork. (#8100, #8121, fixes #8083, @rgrinberg, @emillon)
-
Initialize async IO thread lazily. (#8122, @emillon)
-
Validate file extension for
$ dune ocaml top-module
. (#8005, fixes #8004, @3Rafal) -
Include the time it takes to read/write state files when
--trace-file
is enabled (#7960, @rgrinberg) -
Add
dune show
command group which is an alias ofdune describe
. (#7946, @Alizter) -
Include source tree scans in the traces produced by
--trace-file
(#7937, @rgrinberg) -
Cinaps: The promotion rules for cinaps would only offer one file at a time no matter how many promotions were available. Now we offer all the promotions at once (#7901, @rgrinberg)
-
Do not re-run OCaml syntax files on every iteration of the watch mode. This is too memory consuming. (#7894, fix #6900, @rgrinberg)
-
Add
--all
option todune rpc status
to show all Dune RPC servers running. (#8011, fix #7902, @Alizter) -
Remove some compatibility code for old version of dune that generated
.merlin
files. Now dune will never remove.merlin
files automatically (#7562) -
Add
dune show env
command and makedune printenv
an alias of it. (#7985, @Alizter) -
Add additional metadata to the traces provided by
--trace-file
whenever--trace-extended
is passed (#7778, @rleshchinskiy) -
Extensions used in
(dialect)
can contain periods (e.g.,cppo.ml
). (#7782, fixes #7777, @nojb) -
Allow
(include_subdirs qualified)
to be used when libraries define a(modules ...)
field (#7797, fixes #7597, @anmonteiro) -
$ dune describe
is now a command group, so arguments to subcommands must be passed after subcommand itself. (#7919, @Alizter) -
The
interface
andimplementation
fields of a(dialect)
are now optional (#7757, @gpetiot) -
Add commands
dune show targets
anddune show aliases
that display all the available targets and aliases in a given directory respectively. (#7770, grants #265, @Alizter) -
Allow multiple globs in library's
(stdlib (internal_modules ..))
(@anmonteiro, #7878) -
Attach melange rules to the default alias (#7926, @haochenx)
-
In opam constraints, reject
(and)
and(or)
with no arguments at parse time (#7730, @emillon) -
Compute digests and manage sandboxes in background threads (#7947, @rgrinberg)
-
Add
(build_if)
to the(test)
stanza. When it evaluates to false, the executable is not built. (#7899, fixes #6938, @emillon) -
Add necessary parentheses in generated opam constraints (#7682, fixes #3431, @Lucccyo)
-
Fix deadlock on Windows (#8044, @nojb)
-
When using
sendfile
to copy files on Linux, fall back to the portable version if it fails at runtime for some reason (NFS, etc). (#8049, fixes #8041, @emillon)
-
Switch back to threaded console for all systems; fix unresponsive console on Windows (#7906, @nojb)
-
Respect
-p
/--only-packages
formelange.emit
artifacts (#7849, @anmonteiro) -
Fix scanning of Coq installed files (@ejgallego, reported by @palmskog, #7895 , fixes #7893)
-
Fix RPC buffer corruption issues due to multi threading. This issue was only reproducible with large RPC payloads (#7418)
-
Fix printing errors from excerpts whenever character offsets span multiple lines (#7950, fixes #7905, @rgrinberg)
-
Fix a crash when using a version of Coq < 8.13 due to the native compiler config variable being missing. We now explicitly default to
(mode vo)
for these older versions of Coq. (#7847, fixes #7846, @Alizter) -
Duplicate installed Coq theories are now allowed with the first appearing in COQPATH being preferred. This is inline with Coq's loadpath semantics. This fixes an issue with install layouts based on COQPATH such as those found in nixpkgs. (#7790, @Alizter)
-
Revert #7415 and #7450 (Resolve
ppx_runtime_libraries
in the target context when cross compiling) (#7887, fixes #7875, @emillon)
-
Fix string quoting in the json file written by
--trace-file
(#7773, @rleshchinskiy) -
Read
pkg-config
arguments from thePKG_CONFIG_ARGN
environment variable (#1492, #7734, @anmonteiro) -
Correctly set
MANPATH
indune exec
. Previously, we would use thebin/
directory of the context. (#7655, @rgrinberg) -
Allow overriding the
ocaml
binary with findlib configuration (#7648, @rgrinberg) -
merlin: ignore instrumentation settings for preprocessing. (#7606, fixes #7465, @Alizter)
-
When a rule's action is interrupted, delete any leftover directory targets. This is consistent with how we treat file targets. (#7564, @rgrinberg)
-
Fix plugin loading with findlib. The functionality was broken in 3.7.0. (#7556, @anmonteiro)
-
Introduce a
public_headers
field on libraries. This field is likeinstall_c_headers
, but it allows to choose the extension and choose the paths for the installed headers. (#7512, @rgrinberg) -
Load the host context
findlib.conf
when cross-compiling (#7428, fixes #1701, @rgrinberg, @anmonteiro) -
Add a
coqdoc_flags
field to thecoq.theory
stanza allowing the user to pass extra arguments tocoqdoc
. (#7676, fixes #7954 @Alizter) -
Resolve
ppx_runtime_libraries
in the target context when cross compiling (#7450, fixes #2794, @anmonteiro) -
Use
$PKG_CONFIG
, when set, to find thepkg-config
binary (#7469, fixes #2572, @anmonteiro) -
Modules that were declared in
(modules_without_implementation)
,(private_modules)
or(virtual_modules)
but not declared in(modules)
will cause Dune to emit a warning which will become an error in 3.11. (#7608, fixes #7026, @Alizter) -
Preliminary support for Coq compiled intefaces (
.vos
files) enabled via(mode vos)
incoq.theory
stanzas. This can be used in combination withdune coq top
to obtain fast re-building of dependencies (with no checking of proofs) prior to stepping into a file. (#7406, @rlepigre) -
Fix dune crashing on MacOS in watch mode whenever
$PATH
contains$PWD
(#7441, fixes #6907, @rgrinberg) -
Fix
dune install
when cross compiling (#7410, fixes #6191, @anmonteiro, @rizo) -
Find
pps
dependencies in the host context when cross-compiling, (#7415, fixes #4156, @anmonteiro) -
Dune in watch mode no longer builds concurrent rules in serial (#7395 @rgrinberg, @jchavarri)
-
Dune can now detect Coq theories from outside the workspace. This allows for composition with installed theories (not necessarily installed with Dune). (#7047, @Alizter, @ejgallego)
-
dune coq top
now correctly respects the project root when called from a subdirectory. However, absolute filenames passed todune coq top
are no longer supported (due to being buggy) (#7357, fixes #7344, @rlepigre and @Alizter) -
Added a
--no-build
option todune coq top
for avoiding rebuilds (#7380, fixes #7355, @Alizter) -
RPC: Ignore SIGPIPE when clients suddenly disconnect (#7299, #7319, fixes #6879, @rgrinberg)
-
Always clean up the UI on exit. (#7271, fixes #7142 @rgrinberg)
-
Bootstrap: remove reliance on shell. Previously, we'd use the shell to get the number of processors. (#7274, @rgrinberg)
-
Bootstrap: correctly detect the number of processors by allowing
nproc
to be looked up in$PATH
(#7272, @Alizter) -
Speed up file copying on macos by using
clonefile
when available (@rgrinberg, #7210) -
Adds support for loading plugins in toplevels (#6082, fixes #6081, @ivg, @richardlford)
-
Support commands that output 8-bit and 24-bit colors in the terminal (#7188, @Alizter)
-
Speed up rule generation for libraries and executables with many modules (#7187, @jchavarri)
-
Add
--watch-exclusions
to Dune build options (#7216, @jonahbeckford) -
Do not re-render UI on every frame if the UI doesn't change (#7186, fix #7184, @rgrinberg)
-
Make coq_db creation in scope lazy (@ejgallego, #7133)
-
Non-user proccesses such as version control or config checking are now run silently. (#6994, fixes #4066, @Alizter)
-
Add the
--display-separate-messages
flag to separate the error messages produced by commands with a blank line. (#6823, fixes #6158, @esope) -
Accept the Ordered Set Language for the
modes
field inlibrary
stanzas (#6611, @anmonteiro). -
dune install now respects --display quiet mode (#7116, fixes #4573, fixes #7106, @Alizter)
-
Stub shared libraries (dllXXX_stubs.so) in Dune-installed libraries could not be used as dependencies of libraries in the workspace (eg when compiling to bytecode and/or Javascript). This is now fixed. (#7151, @nojb)
-
Allow the main module of a library with
(stdlib ...)
to depend on other libraries (#7154, @anmonteiro). -
Bytecode executables built for JSOO are linked with
-noautolink
and no longer depend on the shared stubs of their dependent libraries (#7156, @nojb) -
Added a new user action
(concurrent )
which is like(progn )
but runs the actions concurrently. (#6933, @Alizter) -
Allow
(stdlib ...)
to be used with(wrapped false)
in library stanzas (#7139, @anmonteiro). -
Allow parallel execution of inline tests partitions (#7012, @hhugo)
-
Support
(link_flags ...)
in(cinaps ...)
stanza. (#7423, fixes #7416, @nojb) -
Allow
(package ...)
in any position within(rule ...)
stanza (#7445, @Leonidas-from-XIV) -
Always include
opam
files in the generated.install
file. Previously, it would not be included whenever(generate_opam_files true)
was set and the.install
file wasn't yet generated. (#7547, @rgrinberg) -
Fix regression where Merlin was unable to handle filenames with uppercase letters under Windows. (#7577, @nojb)
-
On nix+macos, pass
-f
to the codesign hook to avoid errors when the binary is already signed (#7183, fixes #6265, @greedy) -
Fix bug where RPC clients built with dune-rpc-lwt would crash when closing their connection to the server (#7581, @gridbugs)
-
Introduce mdx stanza 0.4 requiring mdx >= 2.3.0 which updates the default list of files to include
*.mld
files (#7582, @Leonidas-from-XIV) -
Fix RPC server on Windows (used for OCaml-LSP). (#7666, @nojb)
-
Coq language versions less 0.8 are deprecated, and will be removed in an upcoming Dune version. All users are required to migrate to
(coq lang 0.8)
which provides the right semantics for theories that have been globally installed, such as those coming from opam (@ejgallego, @Alizter) -
Bump minimum version of the dune language for the melange syntax extension from 3.7 to 3.8 (#7665, @jchavarri)
-
Fix segfault on MacOS when dune was being shutdown while in watch mode. (#7312, fixes #6151, @gridbugs, @emillon)
-
Fix preludes not being recorded as dependencies in the
(mdx)
stanza (#7109, fixes #7077, @emillon). -
Pass correct flags when compiling
stdlib.ml
. (#7241, @emillon) -
Handle "Too many links" errors when using Dune cache on Windows. The fix in 3.7.0 for this same issue was not effective due to a typo. (#7472, @nojb)
-
In
(executable)
,(public_name -)
is now equivalent to no(public_name)
. This is consistent with how(executables)
handles this field. (#7576 , fixes #5852, @emillon) -
Change directory of odoc assets to
odoc.support
(was_odoc_support
) so that it works with Github Pages out of the box. (#7588, fixes #7364, @emillon)
-
Allow running
$ dune exec
in watch mode (with the-w
flag). In watch mode,$ dune exec
the executed binary whenever it is recompiled. (#6966, @gridbugs) -
coqdep
is now called once per theory, instead of one time per Coq file. This should significantly speed up some builds, ascoqdep
startup time is often heavy (#7048, @Alizter, @ejgallego) -
Add
map_workspace_root
dune-project stanza to allow disabling of mapping of workspace root to/workspace_root
. (#6988, fixes #6929, @richardlford) -
Fix handling of support files generated by odoc. (#6913, @jonludlam)
-
Fix parsing of OCaml errors that contain code excerpts with
...
in them. (#7008, @rgrinberg) -
Pre-emptively clear screen in watch mode (#6987, fixes #6884, @rgrinberg)
-
Fix cross compilation configuration when a context with targets is itself a host of another context (#6958, fixes #6843, @rgrinberg)
-
Fix parsing of the
<=
operator in blang expressions ofdune
files. Previously, the operator would be interpreted as<
. (#6928, @tatchi) -
Fix
--trace-file
output. Dune now emits a single complete event for every executed process. Unterminated async events are no longer written. (#6892, @rgrinberg) -
Fix preprocessing with
staged_pps
(#6748, fixes #6644, @rgrinberg) -
Use colored output with MDX when Dune colors are enabled. (#6462, @MisterDA)
-
Make
dune describe workspace
return consistent dependencies for executables and for libraries. By default, compile-time dependencies towards PPX-rewriters are from now not taken into account (but runtime dependencies always are). Compile-time dependencies towards PPX-rewriters can be taken into account by providing the--with-pps
flag. (#6727, fixes #6486, @esope) -
Print missing newline after
$ dune exec
. (#6821, fixes #6700, @rgrinberg, @Alizter) -
Fix binary corruption when installing or promoting in parallel (#6669, fixes #6668, @edwintorok)
-
Use colored output with GCC and Clang when compiling C stubs. The flag
-fdiagnostics-color=always
is added to the:standard
set of flags. (#4083, @MisterDA) -
Fix the parsing of decimal and hexadecimal escape literals in
dune
,dune-package
, and other dune s-expression based files (#6710, @shym) -
Report an error if
dune init ...
would create a "dune" file in a location which already contains a "dune" directory (#6705, @gridbugs) -
Fix the parsing of alerts. They will now show up in diagnostics correctly. (#6678, @rginberg)
-
Fix the compilation of modules generated at link time when
implicit_transitive_deps
is enabled (#6642, @rgrinberg) -
Allow
$ dune utop
to load libraries defined in data only directories defined using(subdir ..)
(#6631, @rgrinberg) -
Format dune files when they are named
dune-file
. This occurs when we enable the alternative file names project option. (#6566, @rgrinberg) -
Move
$ dune ocaml-merlin -dump-config=$dir
to$ dune ocaml merlin dump-config $dir
. (#6547, @rgrinberg) -
Allow compilation rules to be impacted by
(env ..)
stanzas that modify the environment or set binaries. (#6527, @rgrinberg) -
Coq native mode is now automatically detected by Dune starting with Coq lang 0.7.
(mode native)
has been deprecated in favour of detection from the configuration of Coq. (#6409, @Alizter) -
Print "Leaving Directory" whenever "Entering Directory" is printed. (#6419, fixes #138, @cpitclaudel, @rgrinberg)
-
Allow
$ dune ocaml dump-dot-merlin
to run in watch mode. Also this command shouldn't print "Entering Directory" mesages. (#6497, @rgrinberg) -
dune clean
should no longer fail under Windows due to the inability to remove the.lock
file. Also, bring the implementation of the global lock under Windows closer to that of Unix. (#6523, @nojb) -
Remove "Entering Directory" messages for
$ dune install
. (#6513, @rgrinberg) -
Stop passing
-q
flag indune coq top
, which allows for.coqrc
to be loaded. (#6848, fixes #6847, @Alizter) -
Fix missing dependencies when detecting the kind of C compiler we're using (#6610, fixes #6415, @emillon)
-
Allow
(include_subdirs qualified)
for OCaml projects. (#6594, fixes #1084, @rgrinberg) -
Accurately determine merlin configuration for all sources selected with
copy#
andcopy_files#
. The old heuristic of looking for a module in parent directories is removed (#6594, @rgrinberg) -
Fix inline tests with js_of_ocaml and whole program compilation mode enabled (#6645, @hhugo)
-
Fix js_of_ocaml separate compilation rules when
--enable=effects
,--enable=use-js-string
or--toplevel
is used. (#6714, #6828, #6920, @hhugo) -
Fix js_of_ocaml separate compilation in presence of linkall (#6832, #6916, @hhugo)
-
Remove spurious build dir created when running
dune init proj ...
(#6707, fixes #5429, @gridbugs) -
Allow
--sandbox
to affectocamldep
invocations. Previously, they were wrongly marked as incompatible (#6749, @rgrinberg) -
Validate the command line arguments for
$ dune ocaml top-module
. This command requires one positional argument (#6796, fixes #6793, @rgrinberg) -
Add a
dune cache size
command for displaying the size of the cache (#6638, @Alizter) -
Fix dependency cycle when installing files to the bin section with
glob_files
(#6764, fixes #6708, @gridbugs) -
Handle "Too many links" errors when using Dune cache on Windows (#6993, @nojb)
-
Allow the
cinaps
stanza to set a custom alias. By default, if the alias is not set then the cinaps actions will be attached to both@cinaps
and@runtest
(#6991, @rgrinberg) -
Add
(using ctypes 0.3)
. When used, paths in(ctypes)
are interpreted relative to where the stanza is defined. (#6883, fixes #5325, @emillon) -
Auto-detect
dune-workspace
files asdune
files in Emacs (#7061, @ilankri) -
Add native support for polling mode on Windows (#7010, @yams-yams, @nojb)
-
Add
(bin_annot <bool>)
to(env ...)
to specify whether to generate*.cmt*
files. (#7102, @nojb)
-
Fix configurator when using the MSVC compiler (#6538, fixes #6537, @nojb)
-
Fix running the RPC server on windows (#6721 fixes #6720, @rgrinberg)
-
Fix status line enabled when ANSI colors are forced. (#6503, @MisterDA)
-
Fix build with MSVC compiler (#6517, @nojb)
-
Do not shadow library interface modules (#6549, fixes #6545, @rgrinberg)
-
Forbid multiple instances of dune running concurrently in the same workspace. (#6360, fixes #236, @rgrinberg)
-
Allow promoting into source directories specified by
subdir
(#6404, fixes #3502, @rgrinberg) -
Make dune describe workspace return the correct root path (#6380, fixes #6379, @esope)
-
Introduce a
$ dune ocaml top-module
subcommand to load modules directly without sealing them behind the signature. (#5940, @rgrinberg) -
[ctypes] do not mangle user written names in the ctypes field (#6374, fixes #5561, @rgrinberg)
-
Support
CLICOLOR
andCLICOLOR_FORCE
to enable/disable/force ANSI colors. (#6340, fixes #6323, @MisterDA). -
Forbid private libraries with
(package ..)
set from depending on private libraries that don't belong to a package (#6385, fixes #6153, @rgrinberg) -
Allow
Byte_complete
binaries to be installable (#4873, @AltGr, @rgrinberg) -
Revive
$ dune external-lib-deps
under$ dune describe external-lib-deps
. (#6045, @moyodiallo) -
Fix running inline tests in bytecode mode (#5622, fixes #5515, @dariusf)
-
[ctypes] always re-run
pkg-config
because we aren't tracking its external dependencies (#6052, @rgrinberg) -
[ctypes] remove dependency on configurator in the generated rules (#6052, @rgrinberg)
-
Build progress status now shows number of failed jobs (#6242, @Alizter)
-
Allow absolute build directories to find public executables. For example, those specified with
(deps %{bin:...})
(#6326, @anmonteiro) -
Create a fake socket file
_build/.rpc/dune
on windows to allow rpc clients to connect using the build directory. (#6329, @rgrinberg) -
Prevent crash if absolute paths are used in the install stanza and in recursive globs. These cases now result in a user error. (#6331, @gridbugs)
-
Add
(glob_files <glob>)
and(glob_files_rec <glob>)
terms to thefiles
field of theinstall
stanza (#6250, closes #6018, @gridbugs) -
Allow
:standard
in the(modules)
field of thecoq.pp
stanza (#6229, fixes #2414, @Alizter) -
Fix passing of flags to dune coq top (#6369, fixes #6366, @Alizter)
-
Extend the promotion CLI to a
dune promotion
group:dune promote
is moved todune promotion apply
(the former still works) and the newdune promotion diff
command can be used to just display the promotion without applying it. (#6160, fixes #5368, @emillon)
-
macOS: Handle unknown fsevents without crashing (#6217, @rgrinberg)
-
Enable file watching on MacOS SDK < 10.13. (#6218, @rgrinberg)
-
Sandbox running cinaps actions starting from cinaps 1.1 (#6176, @rgrinberg)
-
Add a
runtime_deps
field in thecinaps
stanza to specify runtime dependencies for running the cinaps preprocessing action (#6175, @rgrinberg) -
Shadow alias module
Foo__
when building a libraryFoo
(#6126, @rgrinberg) -
Extend dune describe to include the root path of the workspace and the relative path to the build directory. (#6136, @reubenrowe)
-
Allow dune describe workspace to accept directories as arguments. The provided directories restrict the worskpace description to those directories. (#6107, fixes #3893, @esope)
-
Add a terminal persistence mode that attempts to clear the terminal history. It is enabled by setting terminal persistence to
clear-on-rebuild-and-flush-history
(#6065, @rgrinberg) -
Disallow generating targets in sub directories in inferred rules. The check to forbid this was accidentally done only for manually specified targets (#6031, @rgrinberg)
-
Do not ignore rules marked
(promote (until-clean))
when--ignore-promoted-rules
(or-p
) is passed. (#6010, fixes #4401, @emillon) -
Dune no longer considers .aux files as targets during Coq compilation. This means that .aux files are no longer cached. (#6024, fixes #6004, @alizter)
-
Cinaps actions are now sandboxed by default (#6062, @rgrinberg)
-
Allow rules producing directory targets to be not sandboxed (#6056, @rgrinberg)
-
Introduce a
dirs
field in theinstall
stanza to install entire directories (#5097, fixes #5059, @rgrinberg) -
Menhir rules are now sandboxed by default (#6076, @rgrinberg)
-
Allow rules producing directory targets to create symlinks (#6077, fixes #5945, @rgrinberg)
-
Inline tests are now sandboxed by default (#6079, @rgrinberg)
-
Fix build-info version when used with flambda (#6089, fixes #6075, @jberdine)
-
Add an
(include <file>)
term to theinclude_dirs
field for adding directories to the include paths sourced from a file. (#6058, fixes #3993, @gridbugs) -
Support
(extra_objects ...)
field in(executable ...)
and(library ...)
stanzas (#6084, fixes #4129, @gridbugs) -
Fix compilation of Dune under esy on Windows (#6109, fixes #6098, @nojb)
-
Improve error message when parsing several licenses in
(license)
(#6114, fixes #6103, @emillon) -
odoc rules now about
ODOC_SYNTAX
and will rerun accordingly (#6010, fixes #1117, @emillon) -
dune install: copy files in an atomic way (#6150, @emillon)
-
Add
%{coq:...}
macro for accessing data about the configuration about Coq. For instance%{coq:version}
(#6049, @Alizter) -
update vendored copy of cmdliner to 1.1.1. This improves the built-in documentation for command groups such as
dune ocaml
. (#6038, @emillon, #6169, @shonfeder) -
The test suite for Coq now requires Coq >= 8.16 due to changes in the plugin loading mechanism upstream (which now uses
Findlib
). -
Starting with Coq build language 0.6, theories can be built without importing Coq's standard library by including
(stdlib no)
. (#6165 #6164, fixes #6163, @ejgallego @Alizter @LasseBlaauwbroek) -
on macOS, sign executables produced by artifact substitution (#6137, #6231, fixes #5650, fixes #6226, @emillon)
-
Added an (aliases ...) field to the (rules ...) stanza which allows the specification of multiple aliases per rule (#6194, @Alizter)
-
The
(coq.theory ...)
stanza will now ensure that for each declared(plugin ...)
, theMETA
file for it is built before callingcoqdep
. This enables the use of the newFindlib
-based loading method in Coq 8.16; however as of Coq 8.16.0, Coq itself has some bugs preventing this to work yet. (#6167 , workarounds #5767, @ejgallego) -
Allow include statement in install stanza (#6139, fixes #256, @gridbugs)
-
Handle CSI n K code in ANSI escape codes from commands. (#6214, fixes #5528, @emillon)
-
Add a new experimental feature
mode_specific_stubs
that allows the specification of different flags and sources for foreign stubs depending on the build mode (#5649, @voodoos)
- Fix build on cygwin/i686-w64-mingw32 (#6008, @kit-ty-kate)
-
Do not ignore
C-c
when running$ dune subst
(#5892, @rgrinberg) -
Make
dune describe
correctly handle overlapping implementations for virtual libraries (#5971, fixes #5747, @esope) -
Building the
@check
alias should make sure the libraries and executables don't have dependency cycles (#5892, @rgrinberg) -
[ctypes] Add support for the
errno
parameter using theerrno_policy
field in the ctypes settings. (#5827, @droyo) -
Fix
dune coq top
when it is invoked on files from a subdirectory of the directory containing the associated stanza (#5784, fixes #5552, @ejgallego, @rlepigre, @Alizter) -
Fix hint when an invalid module name is found. (#5922, fixes #5273, @emillon)
-
The
(cat)
action now supports several files. (#5928, fixes #5795, @emillon) -
Dune no longer uses shimmed
META
files for OCaml 5.x, solely using the ones installed by the compiler. (#5916, @dra27) -
Fix handling of the
(deps)
field in(test)
stanzas when there is an.expected
file. (#5952, #5951, fixes #5950, @emillon) -
Ignore insignificant filesystem events. This stops RPC in watch mode from flashing errors on insignificant file system events such as changes in the
.git/
directory. (#5953, @rgrinberg) -
Fix parsing more error messages emitted by the OCaml compiler. In particular, messages where the excerpt line number started with a blank character were skipped. (#5981, @rgrinberg)
-
env stanza: warn if some rules are ignored because they appear after a wildcard rule. (#5898, fixes #5886, @emillon)
-
On Windows, XDG_CACHE_HOME is taken to be the
FOLDERID_InternetCache
if unset, and XDG_CONFIG_HOME and XDG_DATA_HOME are both taken to beFOLDERID_LocalAppData
if unset. (#5943, fixes #5808, @nojb)
-
Improve parsing of ocamlc errors. We now correctly strip excerpts and parse alerts (#5879, @rgrinberg)
-
The
(libraries)
field of thecoq.theory
stanza has been renamed to(plugins)
and the Coq language version has been bumped to 0.5.
-
Sandbox preprocessing, lint, and dialect rules by default. All these rules now require precise dependency specifications (#5807, @rgrinberg)
-
Allow list expansion in the
pps
specification for preprocessing (#5820, @Firobe) -
Add warnings 67-69 to dune's default set of warnings. These are warnings of the form "unused X.." (#5844, @rgrinbreg)
-
Introduce project "composition" for coq theories. Coq theories in separate projects can now refer to each other when in the same workspace (#5784, @Alizter, @rgrinberg)
-
Fix hint message for
data_only_dirs
that wrongly mentions the unknown constructordata_only
(#5803, @lambdaxdotx) -
Fix creating sandbox directory trees by getting rid of buggy memoization (@5794, @rgrinberg, @snowleopard)
-
Handle directory dependencies in sandboxed rules. Previously, the parents of these directory dependencies weren't created. (#5754, @rgrinberg)
-
Set the exit code to 130 when dune is terminated with a signal (#5769, fixes #5757)
-
Support new locations of unix, str, dynlink in OCaml >= 5.0 (#5582, @dra27)
-
The
coq.theory
stanza now produces rules for runningcoqdoc
. Given a theory namedmytheory
, the directory targetsmytheory.html/
andmytheory.tex/
or additionally the aliases@doc
and@doc-latex
will build the HTML and LaTeX documentation respectively. (#5695, fixes #3760, @Alizter) -
Coq theories marked as
(boot)
cannot depend on other theories (#5867, @ejgallego) -
Ignore
bigarray
in(libraries)
with OCaml >= 5.0. (#5526, fixes #5494, @moyodiallo) -
Start with :standard when building the ctypes generated foreign stubs so that we include important compiler flags, such as -fPIC (#5816, fixes #5809).
-
Fixed
dune describe workspace --with-deps
so that it correctly handles Reason files, as well as files any other dialect. (#5701, @esope) -
Disable alerts when compiling code in vendored directories (#5683, @NathanReb)
-
Fixed
dune describe --with-deps
, that crashed when some preprocessing was required in a dune file usingper_module
. (#5682, fixes #5680, @esope) -
Add
$ dune describe pp
to print the preprocssed ast of sources. (#5615, fixes #4470, @cannorin) -
Report dune file evaluation errors concurrently. In the same way we report build errors. (#5655, @rgrinberg)
-
Watch mode now default to clearing the terminal on rebuild (#5636, fixes, #5216, @rgrinberg)
-
The output of jobs that finished but were cancelled is now omitted. (#5631, fixes #5482, @rgrinberg)
-
Allows to configure all the default destination directories with
./configure
(addsbin
,sbin
,data
,libexec
). UseOPAM_SWITCH_PREFIX
instead of calling theopam
binaries indune install
. Fix handling of multiplelibdir
in./configure
for handling/usr/lib/ocaml/
and/usr/local/lib/ocaml
. Indune install
forbid relative directories inlibdir
,docdir
and others specific directory setting because their handling was inconsistent (#5516, fixes #3978 and #5455, @bobot) -
--terminal-persistence=clear-on-rebuild
will no longer destroy scrollback on some terminals (#5646, @rgrinberg) -
Add a fmt command as a shortcut of
dune build @fmt --auto-promote
(#5574, @tmattio) -
Watch mode now tracks copied external files, external directories for dependencies, dune files in OCaml syntax, files used by
include
stanzas, dune-project, opam files, libraries builtin with compiler, and foreign sources (#5627, #5645, #5652, #5656, #5672, #5691, #5722, fixes #5331, @rgrinberg) -
Improve metrics for cram tests. Include test names in the event and add a category for cram tests (#5626, @rgrinberg)
-
Allow specifying multiple licenses in project file (#5579, fixes #5574, @liyishuai)
-
Match
glob_files
only against files in external directories (#5614, fixes #5540, @rgrinberg) -
Add pid's to chrome trace output (#5617, @rgrinberg)
-
Fix race when creating local cache directory (#5613, fixes #5461, @rgrinberg)
-
Add
not
to boolean expressions (#5610, fix #5503, @rgrinberg) -
Fix relative dependencies outside the workspace (#4035, fixes #5572, @bobot)
-
Allow to specify
--prefix
via the environment variableDUNE_INSTALL_PREFIX
(#5589, @vapourismo) -
Dune-site.plugin: add support for
archive(native|byte, plugin)
used in the wild before findlib documentedplugin(native|byte)
in 2015 (#5518, @bobot) -
Fix a bug where Dune would not correctly interpret
META
files in alternative layout (ie when the META file is namedMETA.$pkg
). TheLlvm
bindings were affected by this issue. (#5619, fixes #5616, @nojb) -
Support
(binaries)
in(env)
in dune-workspace files (#5560, fix #5555, @emillon) -
(mdx) stanza: add support for (locks). (#5628, fixes #5489, @emillon)
-
(mdx) stanza: support including files in different directories using relative paths, and provide better error messages when paths are invalid (#5703, #5704, fixes #5596, @emillon)
-
Fix ctypes rules for external lib names which aren't valid ocaml names (#5667, fixes #5511, @Khady)
-
Fix build on Cygwin. (#5593, fixes 5577, @nojb)
-
Fix execution of
(system ..)
actions on Windows. (#5593, fixes #5523, @nojb)
-
Add
sourcehut
as an option for defining project sources in dune-project files. For example,(source (sourcehut user/repo))
. (#5564, @rgrinberg) -
Add
dune coq top
command for running a Coq toplevel (#5457, @rlepigre) -
Fix dune exec dumping database in wrong directory (#5544, @bobot)
-
Always output absolute paths for locations in RPC reported diagnostics (#5539, @rgrinberg)
-
Add
(deps <deps>)
in ctype field (#5346, @bobot) -
Add
(include <file>)
constructor to dependency specifications. This can be used to introduce dynamic dependencies (#5442, @anmonteiro) -
Ensure that
dune describe
computes a transitively closed set of libraries (#5395, @esope) -
Add direct dependencies to $ dune describe output (#5412, @esope)
-
Show auto-detected concurrency on Windows too (#5502, @MisterDA)
-
Fix operations that remove folders with absolute path. This happens when using esy (#5507, @EduardoRFS)
-
Dune will not fail if some directories are non-empty when uninstalling. (#5543, fixes #5542, @nojb)
-
coqdep
now depends only on the filesystem layout of the .v files, and not on their contents (#5547, helps with #5100, @ejgallego) -
The mdx stanza 0.2 can now be used with
(implicit_transitive_deps false)
(#5558, fixes #5499, @emillon) -
Fix missing parenthesis in printing of corresponding terminal command for
(with-outputs-to )
(#5551, fixes #5546, @Alizter)
-
Do not enable warnings 63-70 by default (#5476, fixes #5464, @rgrinberg)
-
Allow %{read-lines} to introduce dynamic dependencies like %{read}. (#5440, @anmonteiro)
-
Look up
gmake
beforemake
(#5474, fixes #5470, @rgrinberg) -
Handle empty output from
getconf
(#5473 fixes #5471, @mndrix) -
Depend on any provided
foreign_archives
for ctypes stub generation (#5475, @mbacarella)
- Fix digest computation bug introduced in 3.0.1 (#5451, @rgrinberg)
-
Fix compilation on MacOS SDK < 10.13. The native watch mode is disabled in such instances (#5431 fix #5430, @rgrinberg)
-
Do no add workspace_root to
BUILD_PATH_PREFIX_MAP
for projects before 3.0 (5448, @rgrinberg) -
Fix performance regression in incremental builds (#5439, @snowleopard)
-
Remove
uchar
andseq
dummy ocamlfind libraries from dune's builtin library database (#5260, @kit-ty-kate) -
Add a
DUNE_DIFF_COMMAND
environment variable to match--diff-command
command-line parameter (@raphael-proust, fix #5369, #5375) -
Add support for odoc-link rules (#5045, @jonludlam, @lubegasimon)
-
Dune will no longer generate documentation for hidden modules (#5045, @jonludlam, @lubegasimon)
-
Parse the
native_pack_linker
field ofocamlc -config
(#5281, @TheLortex) -
Fix plugins with dot in the name (#5182, @bobot, review @rgrinberg)
-
Don't generate the dune-site build part when not needed (#4861, @bobot, review @kit-ty-kate)
-
Fix installation of implementations of virtual libraries (#5150, fix #3636, @rgrinberg)
-
Run tests in all modes defined. Previously, jsoo was excluded. (@hhugo, #5049, fix #4951)
-
Allow to configure the alias to run the jsoo tests (@hhugo, #5049, #4999)
-
Set jsoo compilation flags in the
env
stanza (@hhugo, #5049, #1613) -
Allow to configure jsoo separate compilation in the
env
stanza. Previously, it was hard coded to always be enabled in thedev
profile. (@hhugo, #5049, fix #970) -
Fix build-info version in jsoo executables (@hhugo, #5049, fix #4444)
-
Pass
-no-check-prims
when building bytecode for jsoo (@hhugo, #5049, #4027) -
Fix jsoo builds when dynamically linked foreign archives are disabled (@hhugo, #5049)
-
Disallow empty packages starting from 3.0. Empty packages may be re-enabled by adding the
(allow_empty)
to the package stanza in the dune-project file. (#4867, fix #2882, @kit-ty-kate, @rgrinberg) -
Add
link_flags
field to theexecutable
field ofinline_tests
(#5088, fix #1530, @jvillard) -
In watch mode, use fsevents instead of fswatch on OSX (#4937, #4990, fixes #4896 @rgrinberg)
-
Remove
inotifywait
watch mode backend on Linux. We now use the inotify API exclusively (#4941, @rgrinberg) -
Report cycles between virtual libraries and their implementation (#5050, fixes #2896, @rgrinberg)
-
Warn when lang versions have an ignored suffix.
(lang dune 2.3.4)
or(lang dune 2.3suffix)
were silently parsed as2.3
and we know suggest to remove the prefix. (#5040, @emillon) -
Allow users to specify dynamic dependencies in rules. For example
(deps %{read:foo.gen})
(#4662, fixes #4089, @jeremiedimino) -
Sandbox infer rules for menhir. Fixes possible "inconsistent assumptions" errors (#5015, @rgrinberg)
-
Experimental support for ctypes stubs (#3905, fixes #135, @mbacarella)
-
Fix interpretation of
binaries
defined in theenv stanza
. Binaries defined inx/dune
wouldn't be visible in `x/*/**/dune. (#4975, fixes #4976, @Leonidas-from-XIV, @rgrinberg) -
Do not list private libraries in package listings (#4945, fixes #4799, @rgrinberg)
-
Allow spaces in cram test paths (#4980, fixes #4162, @rgrinberg)
-
Improve error handling of misbehaving cram scripts. (#4981, fix #4230, @rgrinberg)
-
Fix
foreign_stubs
inside atests
stanza. Previously, dune would crash when this field was present (#4942, fix #4946, @rgrinberg) -
Add the
enabled_if
field toinline_tests
within thelibrary
stanza. This allows us to disable executing the inline tests while still allowing for compilation (#4939, @rgrinberg) -
Generate a
dune-project
when initializing projects withdune init proj ...
(#4881, closes #4367, @shonfeder) -
Allow spaces in the directory argument of the
subdir
stanza (#4943, fixes #4907, @rgrinberg) -
Add a
%{toolchain}
expansion variable (#4899, fixes #3949, @rgrinberg) -
Include dependencies of executables when creating toplevels (either
dune top
ordune utop
) (#4882, fixes #4872, @Gopiancode) -
Fixes
opam
META file requires entry for private libs (#4841, fixes #4839, @toots) -
Fixes
dune exec
not adding .exe on Windows (#4371, fixes #3322, @MisterDA) -
Allow multiple cinaps stanzas in the same directory (#4460, @rgrinberg)
-
Fix
$ dune subst
in empty git repositories (#4441, fixes #3619, @rgrinberg) -
Improve interpretation of ansi escape sequence when spawning processes (#4408, fixes #2665, @rgrinberg)
-
Allow
(package pkg)
in dependencies even ifpkg
is an installed package (#4170, @bobot) -
Allow
%{version:pkg}
to work for external packages (#4104, @kit-ty-kate) -
Add
(glob_files_rec <dir>/<glob>)
for globbing files recursively (#4176, @jeremiedimino) -
Automatically generate empty
.mli
files for executables and tests (#3768, fixes #3745, @CraigFe) -
Add
ocaml
command subgroup for OCaml related commands such asutop
,top
, andmerlin
(#3936, @rgrinberg). -
Detect unknown variables more eagerly (#4184, @jeremiedimino)
-
Improve location of variables and macros in error messages (#4205, @jeremiedimino)
-
Auto-detect
dune-project
files asdune
files in Emacs (#4222, @shonfeder) -
Dune no longer automatically create or edit
dune-project
files (#4239, fixes #4108, @jeremiedimino) -
Warn if
dune-project
is not found (fatal in release mode) (#5343, @emillon) -
Cleanup temporary files after running
$ dune exec
. (#4260, fixes #4243, @rgrinberg) -
Add a new subcommand
dune ocaml dump-dot-merlin
that prints a mix of all the merlin configuration of a directory (defaulting to the current directory) in the Merlin configuration syntax. (#4250, @voodoos) -
Enable cram tests by default (#4262, @rgrinberg)
-
Drop support for opam 1.x (#4280, @jeremiedimino)
-
Stop calling
ocamlfind
to determine the library search path or library installation directory. This makes the behavior of Dune simpler and more reproducible (#4281, @jeremiedimino) -
Remove the
external-lib-deps
command. This command was only approximative and the cost of maintenance was getting too high. We removed it to make room for new more important features (#4298, @jeremiedimino) -
It is now possible to define action dependencies through a chain of aliases. (#4303, @aalekseyev)
-
If an .ml file is not used by an executable, Dune no longer report parsing error in this file (#4330, @jeremiedimino)
-
Add support for sandboxing using hard links (#4360, Andrey Mokhov)
-
Fix dune crash when
subdir
is an absolute path (#4366, @anmonteiro) -
Changed the implementation of actions attached to aliases, as in
(rule (alias runtest) (action (run ./test)))
. A visible result for users is that such actions are now memoized for longer. For instance:$ echo '(rule (alias runtest) (action (echo "X=%{env:X=0}\n")))` > dune $ X=1 dune runtest X=1 $ X=2 dune runtest X=2 $ X=1 dune runtest
Previously, Dune would have re-executed the action again at the last line. Now it remembers the result of the first execution.
-
Fix a bug where dune would always re-run all actions that produce symlinks, even if their dependencies did not change. (#4405, @aalekseyev)
-
Fix a bug that was causing Dune to re-hash generated files more often than necessary (#4419, @jeremiedimino)
-
Fields allowed in the config file are now also allowed in the workspace file (#4426, @jeremiedimino)
-
Add CLI flags
--action-<outputs>-on-success ...
(where<outputs>
isstdout
orstderr
) to control how Dune should handlestdout
andstderr
of actions when they succeed. It is now possible to ask Dune to ignore thestdout
of actions when they succeed or to request that thestderr
of actions must be empty. It is also possible to set these options in theconfig
and/ordune-workspace
files with(action_<outputs>_on_success ...)
. This feature allows you to reduce the noise of large builds (#4422, #4515, @jeremiedimino) -
The
@all
alias no longer depends directly on copies of files from the source directory (#4461, @nojb) -
Allow dune-file as an alternative file name for dune files (needs to be enabled in the dune-project file) (#4428, @nojb)
-
Drop support for upgrading jbuilder projects (#4473, @jeremiedimino)
-
Extend the environment variable
BUILD_PATH_PREFIX_MAP
to rewrite the root of the build dir (or sandbox) to/workspace_root
(#4466, @jeremiedimino) -
Simplify the implementation of build cache. We stop using the cache daemon to access the cache and instead write to and read from it directly. The new cache implementation is based on Jenga's cache library, which was thoroughly tested on large-scale builds. Using Jenga's cache library will also make it easier for us to port Jenga's cloud cache to Dune. (#4443, #4465, Andrey Mokhov)
-
More informative error message when Dune can't read a target that's supposed to be produced by the action. Old message is still produced on ENOENT, but other errors deserve a more detailed report. (#4501, @aalekseyev)
-
Fixed a bug where a sandboxed action would fail if it declares no dependencies in its initial working directory or any directory it
chdir
s into. (#4509, @aalekseyev) -
Fix a crash when clearing temporary directories (#4489, #4529, Andrey Mokhov)
-
Dune now memoizes all errors when running in the file-watching mode. This speeds up incremental rebuilds but may be inconvenient in rare cases, e.g. if a build action fails due to a spurious error, such as running out of memory. Right now, the only way to force such actions to be rebuilt is to restart Dune, which clears all memoized errors. In future, we would like to provide a way to rerun all actions failed due to errors without restarting the build, e.g. via a Dune RPC call. (#4522, Andrey Mokhov)
-
Remove
dune compute
. It was broken and unused (#4540, @jeremiedimino) -
No longer generate an approximate merlin files when computing the ocaml flags fails, for instance because they include the contents of a file that failed to build. This was a niche feature and it was getting in the way of making Dune's core better. (#4607, @jeremiedimino)
-
Make Dune display the progress indicator in all output modes except quiet (#4618, @aalekseyev)
-
Report accurate process timing information in trace mode (enabled with
--trace-file
) (#4517, @rgrinberg) -
Do not log
live_words
andfree_words
in trace file. This allows usingGc.quick_stat
which does not scan the heap. (#4643, @emillon) -
Don't let command run by Dune observe the environment variable
INSIDE_EMACS
in order to improve reproducibility (#4680, @jeremiedimino) -
Fix
root_module
when used in public libraries (#4685, fixes #4684, @rgrinberg, @CraigFe) -
Fix
root_module
when used with preprocessing (#4683, fixes #4682, @rgrinberg, @CraigFe) -
Display Coq profile flags in
dune printenv
(#4767, @ejgallego) -
Introduce mdx stanza 0.2, requiring mdx >= 1.9.0, with a new generic
deps
field and the possibility to statically linklibraries
in the test executable. (#3956, #5391, fixes #3955) -
Improve lookup of optional or disabled binaries. Previously, we'd treat every executable with missing libraries as optional. Now, we treat make sure to look at the library's optional or enabled_if status (#4786).
-
Always use 7 char hash prefix in build info version (#4857, @jberdine, fixes #4855)
-
Allow to explicitly disable/enable the use of
dune subst
by adding a new(subst <disable|enable>)
stanza to thedune-project
file. (#4864, @kit-ty-kate) -
Simplify the way
dune
discovers the root of the workspace. It now stops at the firstdune-workspace
file it encounters, and fails if it finds neither adune-workspace
nor adune-project
file (#4921, fixes #4459, @jeremiedimino) -
Dune no longer reads installed META files for libraries distributed with the compiler, instead using its own internal database. (#4946, @nojb)
-
Add support for
(empty_module_interface_if_absent)
in executable and library stanzas. (#4955, @nojb) -
Add support for
%{bin-available:...}
(#4995, @jeremiedimino) -
Make sure running
git
orhg
in a sandboxed action, such as a cram test cannot escape the sandbox and pick up some random git or mercurial repository on the file system (#4996, @jeremiedimino) -
Allow
%{read:...}
in more places such as(enabled_if ...)
(#4994, @jeremiedimino) -
Run each action in its own process group so that we don't leave stray processes behind when killing actions (#4998, @jeremiedimino)
-
Add an option
expand_aliases_in_sandbox
(#5003, @jeremiedimino) -
Allow to cancel the initial scan via Control+C (#4460, fixes #4364 @jeremiedimino)
-
Add experimental support for directory targets (#3316, #5025, Andrey Mokhov), enabled via
(using directory-targets 0.1)
indune-project
. -
Delete old
promote-into
,promote-until-clean
andpromote-until-clean-into
syntax (#5091, Andrey Mokhov). -
Add link_flags in the env stanza (#5215)
-
Bootstrap: ignore errors when trying to remove generated files. (#5407, @damiendoligez)
-
Do not generate META information for
bigarray
library in OCaml >= 5.0 (#5421, @nojb) -
Support new locations of unix, str, dynlink in OCaml >= 5.0 (#5582, @dra27)
- Disable warning for deprecated Toploop functions used in dune files written in OCaml syntax. Restores 4.02 compatibility. (#5381, @nojb)
-
Fix missing -linkall flag when linking library dune-sites.plugin ( #4348, @kakadu, @bobot, reported by @kakadu)
-
No longer reference deprecated Toploop functions when using dune files in OCaml syntax. (#4834, fixes #4830, @nojb)
-
Use the stag format API to be compatible with OCaml 5.0 (#5351, @emillon).
-
Fix post-processing of dune-package (fix #4389, @strub)
-
Don't use
subst --root
in Opam files (#4806, @MisterDA) -
Fix compilation on Haiku (#4885, @Sylvain78)
-
Allow depending on
ocamldoc
library whenocamlfind
is not installed. (#4811, fixes #4809, @nojb) -
Fix
(enabled_if ...)
for installed libraries (#4824, fixes #4821, @dra27) -
Create more future-proof opam files using
--promote-install-files=false
(#4860, @bobot)
-
Add
(enabled_if ...)
to(mdx ...)
(#4434, @emillon) -
Add support for instrumentation dependencies (#4210, fixes #3983, @nojb)
-
Add the possibility to use
locks
with the cram tests stanza (#4397, @voodoos) -
Allow to set up merlin in a variant of the default context (#4145, @TheLortex, @voodoos)
-
Add
(package ...)
to(mdx ...)
(#4691, fixes #3756, @emillon) -
Handle renaming of
coq.kernel
library tocoq-core.kernel
in Coq 8.14 (#4713, @proux01) -
Fix generation of merlin configuration when using
(include_subdirs unqualified)
on Windows (#4745, @nojb) -
Fix bug for the install of Coq native files when using
(include_subdirs qualified)
(#4753, @ejgallego) -
Allow users to specify install target directories for
doc
andetc
sections. We add new options--docdir
and--etcdir
to both Dune's configure anddune install
command. (#4744, fixes #4723, @ejgallego, thanks to @JasonGross for reporting this issue) -
Fix issue where Dune would ignore
(env ... (coq (flags ...)))
declarations appearing indune
files (#4749, fixes #4566, @ejgallego @rgrinberg) -
Disable some warnings on Coq 8.14 and
(lang coq (>= 0.3))
due to the rework of the Coq "native" compilation system (#4760, @ejgallego) -
Fix a bug where instrumentation flags would be added even if the instrumentation was disabled (@nojb, #4770)
-
Fix #4682: option
-p
takes now precedence on environment variableDUNE_PROFILE
(#4730, #4774, @bobot, reported by @dra27 #4632) -
Fix installation with opam of package with dune sites. The
.install
file is now produced by a localdune install
during the build phase (#4730, #4645, @bobot, reported by @kit-ty-kate #4198) -
Fix multiple issues in the sites feature (#4730, #4645 @bobot, reported by @Lelio-Brun #4219, by @Kakadu #4325, by @toots #4415)
-
Fixed absence of executable bit for installed
.cmxs
(#4149, fixes #4148, @bobot) -
Fix a race in Dune cache. It was particularly easy to hit this race when using the cache on Windows (#4406, fixes #4167, @snowleopard)
- Fix crash when META file for
compiler-libs.toplevel
is present (@jeremiedimino, #4249)
-
Make
patdiff
show refined diffs (#4257, fixes #4254, @hakuch) -
Fixed a bug that could result in needless recompilation under Windows due to case differences in the result of
Sys.getcwd
(observed underemacs
). (#3966, @nojb). -
Restore compatibility with Coq < 8.10 for coq-lang < 0.3 , document that
(using coq 0.3)
does require Coq 8.10 at least (#4224, fixes #4142, @ejgallego) -
Add a META rule for
compiler-libs.native-toplevel
(#4175, @altgr) -
No longer call
chmod
on symbolic links (fixes #4195, @dannywillems) -
Have
dune
communicate the location of the standard library directory tomerlin
(#4211, fixes #4188, @nojb) -
Workaround incorrect exception raised by
Unix.utimes
(OCaml PR#8857) inPath.touch
on Windows. This fixes dune cache in direct mode on Windows. (#4223, @dra27) -
dune ocaml-merlin
is now able to provide configuration for source files in the_build
directory. (#4274, @voodoos) -
Automatically delete left-over Merlin files when rebuilding for the first time a project previously built with Dune
<= 2.7
. (#4261, @voodoos, @aalekseyev) -
Fix
ppx.exe
being compiled for the wrong target when cross-compiling (#3751, fixes #3698, @toots) -
dune top
correctly escapes the generated toplevel directives, and make it easier fordune top
to locate C stubs associated to concerned libraries. (#4242, fixes #4231, @nojb) -
Do not pass include directories containing native objects when compiling bytecode (#4200, @nojb)
-
Fixed wrong workspace discovery from
dune ocaml-merlin
(#4127, fixes #4125, @voodoos) -
Fixed memory blow up introduced in 2.8.0 (#4144, fixes #4134, @jeremiedimino)
-
Configurator: always link the C libraries in the build command (#4088, @MisterDA).
- Fixed
dune --version
printingn/a
rather than the version
-
dune rules
accepts aliases and other non-path rules (#4063, @mrmr1993) -
Action
(diff reference test_result)
now acceptreference
to be absent and in that case consider that the reference is empty. Then runningdune promote
will create the reference file. (#3795, @bobot) -
Ignore special files (BLK, CHR, FIFO, SOCKET), (#3570, fixes #3124, #3546, @ejgallego)
-
Experimental: Simplify loading of additional files (data or code) at runtime in programs by introducing specific installation sites. In particular it allow to define plugins to be installed in these sites. (#3104, #3794, fixes #1185, @bobot)
-
Move all temporary files created by dune to run actions to a single directory and make sure that actions executed by dune also use this directory by setting
TMPDIR
(orTEMP
on Windows). (#3691, fixes #3422, @rgrinberg) -
Fix bootstrap script with custom configuration. (#3757, fixes #3774, @marsam)
-
Add the
executable
field toinline_tests
to customize the compilation flags of the test runner executable (#3747, fixes #3679, @lubegasimon) -
Add
(enabled_if ...)
to(copy_files ...)
(#3765, @nojb) -
Make sure Dune cleans up the status line before exiting (#3767, fixes #3737, @alan-j-hu)
-
Add
{gitlab,bitbucket}
as options for defining project sources withsource
stanza(source (<host> user/repo))
in thedune-project
file. (#3813, @rgrinberg) -
Fix generation of
META
anddune-package
files when some targets (byte, native, dynlink) are disabled. Previously, dune would generate all archives for regardless of settings. (#3829, #4041, @rgrinberg) -
Do not run ocamldep to for single module executables & libraries. The dependency graph for such artifacts is trivial (#3847, @rgrinberg)
-
Fix cram tests inside vendored directories not being interpreted correctly. (#3860, fixes #3843, @rgrinberg)
-
Add
package
field to private libraries. This allows such libraries to be installed and to be usable by other public libraries in the same project (#3655, fixes #1017, @rgrinberg) -
Fix the
%{make}
variable on Windows by only checking for agmake
binary on UNIX-like systems as a unrelatedgmake
binary might exist on Windows. (#3853, @kit-ty-kate) -
Fix
$ dune install
modifying the build directory. This made the build directory unusable when$ sudo dune install
modified permissions. (fix #3857, @rgrinberg) -
Fix handling of aliases given on the command line (using the
@
and@@
syntax) so as to correctly handle relative paths. (#3874, fixes #3850, @nojb) -
Allow link time code generation to be used in preprocessing executable. This makes it possible to use the build info module inside the preprocessor. (#3848, fix #3848, @rgrinberg)
-
Correctly call
git ls-tree
so unicode files are not quoted, this fixes problems withdune subst
in the presence of unicode files. Fixes #3219 (#3879, @ejgallego) -
dune subst
now accepts common command-line arguments such as--debug-backtraces
(#3878, @ejgallego) -
dune describe
now also includes information about executables in addition to that of libraries. (#3892, #3895, @nojb) -
instrumentation backends can now receive arguments via
(instrumentation (backend <name> <args>))
. (#3906, #3932, @nojb) -
Tweak auto-formatting of
dune
files to improve readability. (#3928, @nojb) -
Add a switch argument to opam when context is not default. (#3951, @tmattio)
-
Avoid pager when running
$ git diff
(#3912, @AltGr) -
Add
(root_module ..)
field to libraries & executables. This makes it possible to use library dependencies shadowed by local modules (#3825, @rgrinberg) -
Allow
(formatting ...)
field in(env ...)
stanza to set per-directory formatting specification. (#3942, @nojb) -
[coq] In
coq.theory
,:standard
for theflags
field now uses the flags set inenv
profile flags (#3931 , @ejgallego @rgrinberg) -
[coq] Add
-q
flag to:standard
coqc
flags , fixes #3924, (#3931 , @ejgallego) -
Add support for Coq's native compute compilation mode (@ejgallego, #3210)
-
Add a
SUFFIX
directive in.merlin
files for each dialect with no preprocessing, to let merlin know of additional file extensions (#3977, @vouillon) -
Stop promoting
.merlin
files. Write per-stanza Merlin configurations in binary form. Add a new subcommanddune ocaml-merlin
that Merlin can use to query the configuration files. Theallow_approximate_merlin
option is now useless and deprecated. Dune now conflicts withmerlin < 3.4.0
andocaml-lsp-server < 1.3.0
(#3554, @voodoos) -
Configurator: fix a bug introduced in 2.6.0 where the configurator V1 API doesn't work at all when used outside of dune. (#4046, @aalekseyev)
-
Fix
libexec
andlibexec-private
variables. In cross-compilation settings, they now point to the file in the host context. (#4058, fixes #4057, @TheLortex) -
When running
$ dune subst
, use project metadata as a fallback when package metadata is missing. We also generate a warning when(name ..)
is missing indune-project
files to avoid failures in production builds. -
Remove support for passing
-nodynlink
for executables. It was bypassed in most cases and not correct in other cases in particular on arm32. (#4085, fixes #4069, fixes #2527, @emillon) -
Generate archive rules compatible with 4.12. Dune no longer attempts to generate an archive file if it's unnecessary (#3973, fixes #3766, @rgrinberg)
-
Fix generated Merlin configurations when multiple preprocessors are defined for different modules in the same folder. (#4092, fixes #2596, #1212 and #3409, @voodoos)
-
Add the option
use_standard_c_and_cxx_flags
todune-project
that 1. disables the unconditional use of theocamlc_cflags
andocamlc_cppflags
fromocamlc -config
in C compiler calls, these flags will be present in the:standard
set instead; and 2. enables the detection of the C compiler family and populates the:standard
set of flags with common default values when building CXX stubs. (#3875, #3802, fix #3718 and #3528, @voodoos)
-
configurator: More flexible probing of
#define
. We allow duplicate values in the object file, as long as they are the same after parsing. (#3739, fixes #3736, @rgrinberg) -
Record instrumentation backends in dune-package files. This makes it possible to use instrumentation backends defined in installed libraries (eg via OPAM). (#3735, @nojb)
-
Add missing
.aux
&.glob
targets to coq rules (#3721, fixes #3437, @rgrinberg) -
Fix
dune-package
installation when META templates are present (#3743, fixes #3746, @rgrinberg) -
Resolve symlinks before running
$ git diff
(#3750, fixes #3740, @rgrinberg) -
Cram tests: when checking that all test directories contain a
run.t
file, skip empty directories. These can be left around by git. (#3753, @emillon)
-
Write intermediate files in a
.mdx
folder for eachmdx
stanza to prevent the corresponding actions to be executed as part of the@all
alias (#3659, @NathanReb) -
Read Coq flags from
env
(#3547 , fixes #3486, @gares) -
Add instrumentation framework to toggle instrumentation by
bisect_ppx
,landmarks
, etc, via dune-workspace and/or the command-line. (#3404, #3526 @stephanieyou, @nojb) -
Formatting of dune files is now done in the executing dune process instead of in a separate process. (#3536, @nojb)
-
Add a
--debug-artifact-substitution
flag to help debug problem with version not being captured bydune-build-info
(#3589, @jeremiedimino) -
Allow the use of the
context_name
variable in theenabled_if
fields of executable(s) and install stanzas. (#3568, fixes #3566, @voodoos) -
Fix compatibility with OCaml 4.12.0 when compiling empty archives; no .a file is generated. (#3576, @dra27)
-
$ dune utop
no longer tries to load optional libraries that are unavailable (#3612, fixes #3188, @anuragsoni) -
Fix dune-build-info on 4.10.0+flambda (#3599, @emillon, @jeremiedimino).
-
Allow multiple libraries with
inline_tests
to be defined in the same directory (#3621, @rgrinberg) -
Run exit hooks in jsoo separate compilation mode (#3626, fixes #3622, @rgrinberg)
-
Add (alias ...), (mode ...) fields to (copy_fields ...) stanza (#3631, @nojb)
-
(copy_files ...) now supports copying files from outside the workspace using absolute file names (#3639, @nojb)
-
Dune does not use
ocamlc
as an intermediary to call C compiler anymore. Configuration flagsocamlc_cflags
andocamlc_cppflags
are always prepended to the compiler arguments. (#3565, fixes #3346, @voodoos) -
Revert the build optimization in #2268. This optimization slows down building individual executables when they're part of an
executables
stanza group (#3644, @rgrinberg) -
Use
{dev}
rather than{pinned}
in the generated.opam
file. (#3647, @kit-ty-kate) -
Insert correct extension name when editing
dune-project
files. Previously, dune would just insert the stanza name. (#3649, fixes #3624, @rgrinberg) -
Fix crash when evaluating an
mdx
stanza that depends on unavailable packages. (#3650, @CraigFe) -
Fix typo in
cache-check-probablity
field in dune config files. This field now requires 2.7 as it wasn't usable before this version. (#3652, @edwintorok) -
Add
"odoc" {with-doc}
to the dependencies in the generated.opam
files. (#3667, @kit-ty-kate) -
Do not allow user actions to capture dune's stdin (#3677, fixes #3672, @rgrinberg)
-
(subdir ...)
stanzas can now appear in dune files used via(include ...)
. (#3676, @nojb) -
Add actions
pipe-{stdout,stderr,outputs}
for output redirections (#3392, fixes #428, @NathanReb)
- Fix compatibility with OCaml 4.12 (#3585, fixes #3583, @ejgallego)
-
Fix crash when caching is enabled (@rgrinberg, #3581, fixes #3580)
-
Do not use
-output-complete-exe
until 4.10.1 as it is broken in 4.10.0 (@jeremiedimino, #3187) -
Fix crash when an unknown pform is found (such as
%{unknown}
) (#3560, @emillon) -
Improve error message when invalid package names (such as the empty string) are passed to
dune build -p
. (#3561, @emillon) -
Fix a stack overflow when displaying large outputs (including diffs) (#3537, fixes #2767, #3490, @emillon)
-
Pass
-g
when compiling ppx preprocessors (#3671, @rgrinberg)
-
Fix a bug where valid lib names in
dune init exec --libs=lib1,lib2
results in an error. (#3444, fix #3443, @bikallem) -
Add and
enabled_ if
field to theinstall
stanza. Enforce the same variable restrictions forenabled_if
fields in theexecutable
andinstall
stanzas than in thelibrary
stanza. When using dune lang < 2.6, the usage of forbidden variables in executables stanzas with only trigger a warning to maintain compatibility. (#3408 and #3496, fixes #3354, @voodoos) -
Insert a constraint one the version of dune when the user explicitly specify the dependency on dune in the
dune-project
file (#3434 , fixes #3427, @diml) -
Generate correct META files for sub-libraries (of the form
lib.foo
) that contain .js runtime files. (#3445, @hhugo) -
Add a
(no-infer ...)
action that prevents inference of targets and dependencies in actions. (#3456, fixes #2006, @roddyyaga) -
Correctly infer targets for the
diff?
action. (#3457, fixes #2990, @greedy) -
Fix
$ dune print-rules
crashing (#3459, fixes #3440, @rgrinberg) -
Simplify js_of_ocaml rules using js_of_ocaml.3.6 (#3375, @hhugo)
-
Add a new
ocaml-merlin
subcommand that can be used by Merlin to get configuration directly from dune instead of using.merlin
files. (#3395, @voodoos) -
Remove experimental variants feature and make default implementations part of the language (#3491, fixes #3483, @rgrinberg)
-
[coq] Fix install .v files for Coq theories (#3384, @lthms)
-
[coq] Fix install path for theory names with level greater than 1 (#3358, @ejgallego)
-
Fix a bug introduced in 2.0.0 where the [locks] field in rules with no targets had no effect. (@aalekseyev, report by @craigfe)
-
Add a
--release
option meaning the same as-p
but without the package filtering. This is useful for customdune
invocation in opam files where we don't want-p
(#3260, @diml) -
Fix a bug introduced in 2.4.0 causing
.bc
programs to be built with-custom
by default (#3269, fixes #3262, @diml) -
Allow contexts to be defined with local switches in workspace files (#3265, fix #3264, @rgrinberg)
-
Delay expansion errors until the rule is used to build something (#3261, fix #3252, @rgrinberg, @diml)
-
[coq] Support for theory dependencies and compositional builds using new field
(theories ...)
(#2053, @ejgallego, @rgrinberg) -
From now on, each version of a syntax extension must be explicitly tied to a minimum version of the dune language. Inconsistent versions in a
dune-project
will trigger a warning for version <=2.4 and an error for versions >2.4 of the dune language. (#3270, fixes #2957, @voodoos) -
[coq] Bump coq lang version to 0.2. New coq features presented this release require this version of the coq lang. (#3283, @ejgallego)
-
Prevent installation of public executables disabled using the
enabled_if
field. Installation will now simply skip such executables instead of raising an error. (#3195, @voodoos) -
dune upgrade
will now try to upgrade projects using versions <2.0 to version 2.0 of the dune language. (#3174, @voodoos) -
Add a
top
command to integrate dune with any toplevel, not just utop. It is meant to be used with the new#use_output
directive of OCaml 4.11 (#2952, @mbernat, @diml) -
Allow per-package
version
in generatedopam
files (#3287, @toots) -
[coq] Introduce the
coq.extraction
stanza. It can be used to extract OCaml sources (#3299, fixes #2178, @rgrinberg) -
Load ppx rewriters in dune utop and add pps field to toplevel stanza. Ppx extensions will now be usable in the toplevel (#3266, fixes #346, @stephanieyou)
-
Add a
(subdir ..)
stanza to allow evaluating stanzas in sub directories. (#3268, @rgrinberg) -
Fix a bug preventing one from running inline tests in multiple modes (#3352, @diml)
-
Allow the use of the
%{profile}
variable in theenabled_if
field of the library stanza. (#3344, @mrmr1993) -
Allow the use of
%{ocaml_version}
variable inenabled_if
field of the library stanza. (#3339, @voodoos) -
Fix dune build freezing on MacOS when cache is enabled. (#3249, fixes ##2973, @artempyanykh)
-
Add
mdx
extension and stanza version 0.1 (#3094, @NathanReb) -
Allow to make Odoc warnings fatal. This is configured from the
(env ...)
stanza. (#3029, @Julow) -
Fix separate compilation of JS when findlib is not installed. (#3177, @nojb)
-
Add a
dune describe
command to obtain the topology of a dune workspace, for projects such as ROTOR. (#3128, @diml) -
Add
plugin
linking mode for executables and the(embed_in_plugin_libraries ...)
field. (#3141, @nojb) -
Add an
%{ext_plugin}
variable (#3141, @nojb) -
Dune will no longer build shared objects for stubs if
supports_shared_libraries
is false (#3225, fixes #3222, @rgrinberg) -
Fix a memory leak in the file-watching mode (
dune build -w
) (#3220, @snowleopard and @aalekseyev) -
Starting from
(lang dune 2.4)
, dune systematically puts all files under_build
in read-only mode instead of only doing it when the shared cache is enabled (#3092, @mefyl)
-
Fix versioning of artifact variables (eg %{cmxa:...}), which were introduced in 2.0, not 1.11. (#3149, @nojb)
-
Fix a bug introduced in 2.3.0 where dune insists on using
fswatch
on linux (even wheninotifywait
is available). (#3162, @aalekseyev) -
Fix a bug causing all executables to be considered as optional (#3163, @diml)
-
Improve validation and error handling of arguments to
dune init
(#3103, fixes #3046, @shonfeder) -
dune init exec NAME
now uses theNAME
argument for private modules (#3103, fixes #3088, @shonfeder) -
Avoid linear walk to detect children, this should greatly improve performance when a target has a large number of dependencies (#2959, @ejgallego, @aalekseyev, @Armael)
-
[coq] Add
(boot)
option to(coq.theories)
to enable bootstrap of Coq's stdlib (#3096, @ejgallego) -
[coq] Deprecate
public_name
field in favour ofpackage
(#2087, @ejgallego) -
Better error reporting for "data only" and "vendored" dirs. Using these with anything else than a strict subdirectory or
*
will raise an error. The previous behavior was to just do nothing (#3056, fixes #3019, @voodoos) -
Fix bootstrap on bytecode only switches on windows or where
-j1
is set. (#3112, @xclerc, @rgrinberg) -
Allow
enabled_if
fields inexecutable(s)
stanzas (#3137, fixes #1690 @voodoos) -
Do not fail if
ocamldep
,ocamlmklib
, orocaml
are absent. Wait for them to be used to fail (#3138, @rgrinberg) -
Introduce a
strict_package_deps
mode that verifies that dependencies between packages in the workspace are specified correctly. (@rgrinberg, #3117) -
Make sure the
@all
alias is defined when nodune
file is present in a directory (#2946, fix #2927, @diml)
-
dune test
is now a command alias fordune runtest
. This is to make the CLI less idiosyncratic (#3006, @shonfeder) -
Allow to set menhir flags in the
env
stanza using themenhir_flags
field. (#2960, fix #2924, @bschommer) -
By default, do not show the full command line of commands executed by
dune
whendune
is executed insidedune
. This is to make integration tests more reproducible (#3042, @diml) -
dune subst
now works even without opam files (#2955, fixes #2910, @fangyi-zhou and @diml) -
Hint when trying to execute an executable defined in the current directory without using the
./
prefix (#3041, fixes #1094, @voodoos). -
Extend the list of modifiers that can be nested under
with-accepted-exit-codes
withchdir
,setenv
,ignore-<outputs>
,with-stdin-from
andwith-<outputs>-to
(#3027, fixes #3014, @voodoos) -
It is now an error to have a preprocessing dependency on a ppx rewriter library that is not marked as
(kind ppx_rewriter)
(#3039, @snowleopard). -
Fix permissions of files promoted to the source tree when using the shared cache. In particular, make them writable by the user (#3043, fixes #3026, @diml)
-
Only detect internal OCaml tools with
.opt
extensions. Previously, this detection applied to other binaries as well (@kit-ty-kate, @rgrinberg, #3051). -
Give the user a proper error message when they try to promote into a source directory that doesn't exist. (#3073, fix #3069, @rgrinberg)
-
Correctly build vendored packages in
-p
mode. These packages were incorrectly filtered out before. (#3075, @diml) -
Do not install vendored packages (#3074, @diml)
-
make
now prints a message explaining the main targets available (#3085, fix #3078, @diml) -
Add a
byte_complete
executable mode to build programs as self-contained bytecode programs (#3076, fixes #1519, @diml)
- Fix building the OCaml compiler with Dune (#3038, fixes #2974, @diml)
- Fix a bug in the
Fiber.finalize
function of the concurrency monad of Dune, causing a race condition at the user level (#3009, fix #2958, @diml)
-
Guess foreign archives & native archives for libraries defined using the
META
format. (#2994, @rgrinberg, @anmonteiro) -
Fix generation of
.merlin
files when depending on local libraries with more than one source directory. (#2983, @rgrinberg)
-
Attach cinaps stanza actions to both
@runtest
and@cinaps
aliases (#2831, @NathanReb) -
Add variables
%{lib-private...}
and%{libexec-private...}
for finding build paths of files in public and private libraries within the same project. (#2901, @snowleopard) -
Add
--mandir
option to$ dune install
. This option allows to override the installation directory for man pages. (#2915, fixes #2670, @rgrinberg) -
Fix
dune --version
. The bootstrap didn't compute the version correctly. (#2929, fixes #2911, @diml) -
Do not open the log file in
dune clean
. (#2965, fixes #2964 and #2921, @diml) -
Support passing two arguments to
=
,<>
, ... operators in package dependencies so that we can have things such as(<> :os win32)
(#2965, @diml)
- Delay errors raised by invalid
dune-package
files. The error is now raised only if the invalid package is treated as a library and used to build something. (#2972, @rgrinberg)
-
Remove existing destination files in
install
before installing the new ones. (#2885, fixes #2883, @bschommer) -
The
action
field in thealias
stanza is not available startinglang dune 2.0
. Thealias
field in therule
stanza is a replacement. (#2846, fixes 2681, @rgrinberg) -
Introduce
alias
andpackage
fields to therule
stanza. This is the preferred way of attaching rules to aliases. (#2744, @rgrinberg) -
Add field
(optional)
for executable stanzas (#2463, fixes #2433, @bobot) -
Infer targets for rule stanzas expressed in long form (#2494, fixes #2469, @NathanReb)
-
Indicate the progress of the initial file tree loading (#2459, fixes #2374, @bobot)
-
Build
.cm[ox]
files for executables more eagerly. This speeds up builds at the cost of building unnecessary artifacts in some cases. Some of these extra artifacts can fail to built, so this is a breaking change. (#2268, @rgrinberg) -
Do not put the
<package>.install
files in the source tree unless-p
or--promote-install-files
is passed on the command line (#2329, @diml) -
Compilation units of user defined executables are now mangled by default. This is done to prevent the accidental collision with library dependencies of the executable. (#2364, fixes #2292, @rgrinberg)
-
Enable
(explicit_js_mode)
by default. (#1941, @nojb) -
Add an option to clear the console in-between builds with
--terminal-persistence=clear-on-rebuild
-
Stop symlinking object files to main directory for stanzas defined
jbuild
files (#2440, @rgrinberg) -
Library names are now validated in a strict fashion. Previously, invalid names would be allowed for unwrapped libraries (#2442, @rgrinberg)
-
mli only modules must now be explicitly declared. This was previously a warning and is now an error. (#2442, @rgrinberg)
-
Modules filtered out from the module list via the Ordered Set Language must now be actual modules. (#2442, @rgrinberg)
-
Actions which introduce targets where new targets are forbidden (e.g. preprocessing) are now an error instead of a warning. (#2442, @rgrinberg)
-
No longer install a
jbuilder
binary. (#2441, @diml) -
Stub names are no longer allowed relative paths. This was previously a warning and is now an error (#2443, @rgrinberg).
-
Define (paths ...) fields in (context ...) definitions in order to set or extend any PATH-like variable in the context environment. (#2426, @nojb)
-
The
diff
action will always normalize newlines before diffing. Previously, it would not do this normalization for rules defined in jbuild files. (#2457, @rgrinberg) -
Modules may no longer belong to more than one stanza. This was previously allowed only in stanzas defined in
jbuild
files. (#2458, @rgrinberg) -
Remove support for
jbuild-ignore
files. They have been replaced by the thedirs
stanza indune
files. (#2456, @rgrinberg) -
Add a new config option
sandboxing_preference
, the cli argument--sandbox
, and the dep specsandbox
in dune language. These let the user control the level of sandboxing done by dune per rule and globally. The rule specification takes precedence. The global configuration merely specifies the default. (#2213, @aalekseyev, @diml) -
Remove support for old style subsystems. Dune will now emit a warning to reinstall the library with the old style subsystem. (#2480, @rgrinberg)
-
Add action (with-stdin-from ) to redirect input from when performing . (#2487, @nojb)
-
Change the automatically generated odoc index to only list public modules. This only affects unwrapped libraries (#2479, @rgrinberg)
-
Set up formatting rules by default. They can be configured through a new
(formatting)
stanza indune-project
(#2347, fixes #2315, @emillon) -
Change default target from
@install
to@all
. (#2449, fixes #1220, @rgrinberg) -
Include building stubs in
@check
rules. (@rgrinberg, #2530) -
Get rid of ad-hoc rules for guessing the version. Dune now only relies on the version written in the
dune-project
file and no longer readVERSION
or similar files (#2541, @diml) -
In
(diff? x y)
action, requirex
to exist and register a dependency on that file. (#2486, @aalekseyev) -
On Windows, an .exe suffix is no longer added implicitly to binary names that already end in .exe. Second, when resolving binary names, .opt variants are no longer chosen automatically. (#2543, @nojb)
-
Make
(diff? x y)
move the correction file (y
) away from the build directory to promotion staging area. This makes corrections work with sandboxing and in general reduces build directory pollution. (#2486, @aalekseyev, fixes #2482) -
c_flags
,c_names
andcxx_names
are now supported inexecutable
andexecutables
stanzas. (#2562, @nojb) Note: this feature has been subsequently extended into a separateforeign_stubs
field. The fieldsc(xx)_names
andc(xx)_flags
are now deleted. (#2659, RFC #2650, @snowleopard) -
Remove git integration from
$ dune upgrade
(#2565, @rgrinberg) -
Add a
--disable-promotion
to disable all modification to the source directory. There's also a correspondingDUNE_DISABLE_PROMOTION
environment variable. (#2588, fix #2568, @rgrinberg) -
Add a
forbidden_libraries
field to prevent some library from being linked in an executable. This help detecting who accidentally pulls inunix
for instance (#2570, @diml) -
Fix incorrect error message when a variable is expanded in static context:
%{lib:lib:..}
when the library does not exist. (#2597, fix #1541, @rgrinberg) -
Add
--sections
option to$ dune install
to install subsections of .install files. This is useful for installing only the binaries in a workspace for example. (#2609, fixes #2554, @rgrinberg) -
Drop support for
jbuild
andjbuild-ignore
files (#2607, @diml) -
Add a
dune-action-plugin
library for describing dependencies directly in the executable source. Programs that use this feature can be run by a new action (dynamic-run ...). (#2635, @staronj, @aalekseyev) -
Stop installing the
ocaml-syntax-shims
binary. In order to usefuture_syntax
, one now need to depend on theocaml-syntax-shims
package (#2654, @diml) -
Add support for dependencies that are re-exported. Such dependencies are marked with
re_export
and will automatically be provided to users of a library (#2605, @rgrinberg) -
Add a
deprecated_library_name
stanza to redirect old names after a library has been renamed (#2528, @diml) -
Error out when a
preprocessor_deps
field is present but notpreprocess
field is. It is a warning with Dune 1.x projects (#2660, @Julow) -
Dune will use
-output-complete-exe
instead of-custom
when compiling self-contained bytecode executables whenever this options is available (OCaml version >= 4.10) (#2692, @nojb) -
Add action
(with-accepted-exit-codes <pred> <action>)
to specify the set of successful exit codes of<action>
.<pred>
is specified using the predicate language. (#2699, @nojb) -
Do not setup rules for disabled libraries (#2491, fixes #2272, @bobot)
-
Configurator: filter out empty flags from
pkg-config
(#2716, @AltGr) -
no_keep_locs
is a no-op for projects that uselang dune
older than 2.0. In projects where the language is at least2.0
, the field is now forbidden. (#2752, fixes #2747, @rgrinberg) -
Extend support for foreign sources and archives via the
(foreign_library ...)
stanza as well as the(foreign_stubs ...)
and(foreign_archives ...)
fields. (#2659, RFC #2650, @snowleopard) -
Add (deprecated_package_names) field to (package) declaration in dune-project. The names declared here can be used in the (old_public_name) field of (deprecated_library_name) stanza. These names are interpreted as library names (not prefixed by a package name) and appropriate redirections are setup in their META files. This feature is meant to migrate old libraries which do not follow Dune's convention of prefixing libraries with the package name. (#2696, @nojb)
-
The fields
license
,authors
,maintainers
,source
,bug_reports
,homepage
, anddocumentation
ofdune-project
can now be overridden on a per-package basis. (#2774, @nojb) -
Change the default
modes
field of executables to(mode exe)
. If one wants to build a bytecode program, it now needs to be explicitly requested via(modes byte exe)
. (#2851, @diml) -
Allow
ccomp_type
as a variable for evaluatingenabled_if
. (#2855, @dra27, @rgrinberg) -
Stricter validation of file names in
select
. The file names of conditional sources must match the prefix and the extension of the resultant filename. (#2867, @rgrinberg) -
Add flag
disable_dynamically_linked_foreign_archives
to the workspace file. If the flag is set totrue
then: (i) when installing libraries, we do not install dynamic foreign archivesdll*.so
; (ii) when building executables in thebyte
mode, we statically link in foreign archives into the runtime system; (iii) we do not generate anydll*.so
rules. (#2864, @snowleopard) -
Reimplement the bootstrap procedure. The new procedure is faster and should no longer stack overflow (#2854, @dra27, @diml)
-
Allow
.opam.template
files to be generated using rules (#2866, @rgrinberg) -
Delete the deprecated
self_build_stubs_archive
field, replaced byforeign_archives
.
-
Allow to mark directories as
data_only_dirs
without including them asdirs
(#2619, fix #2584, @rgrinberg) -
Fix reading
.install
files generated with an external--build-dir
. (#2638, fix #2629, @rgrinberg)
- Fix a ppx hash collision in watch mode (#2546, fixes #2520, @diml)