A composable build system for OCaml.
CHANGES:
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 on bigarray 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)
--react-to-insignificant-changes option. (#10083, @rgrinberg)CHANGES:
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)
CHANGES:
Introduce a (dynamic_include ..) stanza. This is like (include foo) but
allows foo 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 to copy_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)
CHANGES:
Introduce a (dynamic_include ..) stanza. This is like (include foo) but
allows foo 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 to copy_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)
CHANGES:
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)
CHANGES:
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 the env 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 to coq field of env stanza allowing the setting
of workspace-wide defaults for coqdoc_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)
(depends) and related fields in dune-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 the env stanza in the workspace
file unless language version is at least 3.2.
[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 to dune init proj NAME PATH. An
intermediate directory called NAME is no longer created if PATH is
supplied, so dune 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 of enabled_if when evaluating %{bin:..} (#9707,
@rgrinberg)
CHANGES:
Do not ignore (formatting ..) settings in context or workspace files
(#8447, @rgrinberg)
Add command dune cache clear to completely delete all traces of the Dune
cache. (#8975, @nojb)
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 the env stanza in the workspace
file unless language version is at least 3.2.
[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)
Allow to disable Coq 0.8 deprecation warning (#9439, @ejgallego)
Fix handling of the PATH argument to dune init proj NAME PATH. An
intermediate directory called NAME is no longer created if PATH is
supplied, so dune init proj my_project . will now initialize a project in
the current working directory. (#9447, fixes #9209, @shonfeder)
Allow OCAMLFIND_TOOLCHAIN to be set per context in the workspace file
through the env stanza. (#9449, @rgrinberg)
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).
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)
Correctly ignore warning flags in vendored projects (#9515, @rgrinberg)
Directory targets can now be caches. (#9535, @rleshchinskiy)
Remove warning 30 from default set for projects where dune lang is at least 3.13 (#9568, @gasche)
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)
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 of enabled_if when evaluating %{bin:..} (#9707,
@rgrinberg)
Add coqdoc_flags field to coq field of env stanza allowing the setting
of workspace-wide defaults for coqdoc_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)
CHANGES:
Fix version check in runtest_alias for cram stanza (#9454, @emillon)
Fix stack overflow when a (run) action can not be parsed. (#9530, fixes
#9529, @gridbugs)