Read the latest releases and updates from the OCaml ecosystem.
Fix various server crashes when opening non OCaml/Reason files. Files such as dune, cram, etc. would cause the server to crash. (#884, fixes #871)
Ignore unknown tags in merlin configuration to improve forward compatibility with Dune. (#883)
I'd like to announce the release of dune 3.5.0 on opam. This release is packed with fixes and new features, that are described below with a description of what this means for project maintainers.
This lists features of the "dune" executable itself. Upgrading dune will bring in these changes. We consider these changes safe, but it is difficult to define what a breaking change is for a command-line tool (for example, some error messages change). It is important to note that just upgrading the dune executable is not supposed to change how dune interprets existing projects. If just upgrading dune breaks compilation, it is a bug in dune, please report it!
clear-on-rebuild-and-flush-history (#6065, @rgrinberg)(license) (#6114,
fixes #6103, @emillon)(promote (until-clean)) when
--ignore-promoted-rules (or -p) is passed. (#6010, fixes #4401, @emillon)dune ocaml. (#6038, @emillon,
#6169, @shonfeder)This is technically a subset of above section. For M1 mac users, dune 3.5.0 is the first version which will correctly support dune-build-info.
This lists changes if you opt into the new (lang dune 3.5) version in your dune-project file. For this too, these are changes that we consider safe, but they can require changes to your dune files. For example, sandboxing is enabled in more places, which means that you might have to be more precise in expressing your dependencies. Please reach out on the issue tracker if you have trouble fixing your dune file or if something does not seem to be possible anymore.
runtime_deps field in the cinaps stanza to specify runtime
dependencies for running the cinaps preprocessing action (#6175, @rgrinberg)dirs field in the install stanza to install entire
directories (#5097, fixes #5059, @rgrinberg)(include <file>) term to the include_dirs field for adding
directories to the include paths sourced from a file. (#6058, fixes #3993,
@gridbugs)(extra_objects ...) field in (executable ...) and (library ...) stanzas (#6084, fixes #4129, @gridbugs)mode_specific_stubs that allows the
specification of different flags and sources for foreign stubs depending on
the build mode (#5649, @voodoos)Foo__ when building a library Foo (#6126, @rgrinberg)ODOC_SYNTAX and will rerun accordingly (#6010, fixes
#1117, @emillon)These changes, associated with (lang dune 3.5), are specific to coq.
%{coq:...} macro for accessing data about the configuration about Coq.
For instance %{coq:version} (#6049, @Alizter)(stdlib no).
(#6165 #6164, fixes #6163, @ejgallego @Alizter @LasseBlaauwbroek)Findlib).(coq.theory ...) stanza will now ensure that for each declared (plugin ...), the META file for it is built before calling coqdep. This enables
the use of the new Findlib-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)On behalf of the ocamllsp team, I'm pleased to announce version 1.14.0. This release contains a new code action to help you inline definitions thanks to @jfeser. We look forward to your feedback.
Code action for inlining let bindings within a module or expression. (#847)
Tag "unused code" and "deprecated" warnings, allowing clients to better display them. (#848)
Refresh merlin configuration after every dune build in watch mode (#853)
Respect showDocument capabilities. Do not offer commands or code actions
that rely on this request without client support. (#836)
Fix signatureHelp on .mll files: avoid "Document.dune" exceptions
Feedback on this post is welcomed on Discuss!
We are pleased to announce the minor release of opam 2.1.3.
This opam release consists of backported fixes:
opam init and opam init --reinit when the jobs variable has been set in the opamrc or the current config. (#5056)opam var no longer fails if no switch is set (#5025)--switch <sw> fails instead of writing an invalid switch-config file (#5027)opam pin (#5046)and improvements:
opam list --installable queries combined with other filters (#4311)--available, --installable) (#4999)opam list --conflicts-with when combined with other filters (#4999)opam show by as much as 300% when the package to show is given explicitly or is unique (#4997)(#4172)You can also find API changes in the release note.
Opam installation instructions (unchanged):
From binaries: run
bash -c "sh <(curl -fsSL https://opam.ocaml.org/install.sh) --version 2.1.3"
or download manually from the Github "Releases" page to your PATH. In this case, don't forget to run opam init --reinit -ni to enable sandboxing if you had version 2.0.0~rc manually installed or to update you sandbox script.
From source, using opam:
opam update; opam install opam-devel
(then copy the opam binary to your PATH as explained, and don't forget to run opam init --reinit -ni to enable sandboxing if you had version 2.0.0~rc manually installed or to update your sandbox script)
From source, manually: see the instructions in the README.
We hope you enjoy this new minor version, and remain open to bug reports and suggestions.
opam init and opam init --reinit when the jobs variable has
been set in the opamrc or the current config. [#5056 @rjbou]opam list --installable queries combined with other
filters [#4882 @AltGr - fix #4311]--available,
--installable) [#4999 @kit-ty-kate]opam list --conflicts-with when combined with other
filters [#4999 @kit-ty-kate]opam show by as much as 300% when the package to
show is given explicitly or is unique [#4998 @kit-ty-kate - fix #4997 and
partially #4172]opam var no longer fails if no switch is set
[#5027 @rjbou - fix #5025]--switch <sw> fails instead of writing
an invalid switch-config file [#5027 @rjbou]opam pin
[#5047 @rjbou - fix #5046]Oops, we went looking but didn't find the changelog for this release 🙈
.ml, .mli, etc.) (#795)On behalf of the dune team, I’m pleased to announce the release of version 3.4.0.
Bug fixes, a couple new features, better hints and error messages - I won't restate what's in the changelog below. Thanks to everyone involved in this release!
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 the errno_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 be
FOLDERID_LocalAppData if unset. (#5943, fixes #5808, @nojb)
odoc-parser.2.0.0 (#2123, @gpetiot)
odoc-parser{m ...} available in doc-comments{math ...} available in doc-commentsAllow cancellation of workspace symbols requests (#777)
Fix unintentionally interleaved jsonrpc IO that would corrupt the session (#786)
Ignore SIGPIPE . (#788)
Fix a bad interaction between inferred interfaces and promotion code actions in watch mode (#753)
Fix URI parsing (#739 fixes #471 and #459)
bench binary is not distributed anymore to avoid name collisions (#2104, @gpetiot)indicate-multiline-delimiters (#2116, @gpetiot).ocp-indent files (#2103, @gpetiot)max-indent = 2 (#2099, @gpetiot)| under keyword instead of parenthesis (#2102, @gpetiot)Oops, we went looking but didn't find the changelog for this release 🙈
lwt_logsAdditions
Bugs fixed
val x : #c) (@jonludlam, #809)merlin-lib package that exposes merlin's internals and the merlin
package with the frontend. (#1448, #1455, #1457, #1497, @rgrinberg,
@tmattio, @kit-ty-kate)Seq-based API of Yojson 2.0, avoiding the need for the
deprecated Stream module (#1475 by @Leonidas-from-XIV)MERLIN_LOG (#1480 by @ulugbekna)type-enclosing results (#1483, fixes #1477)core_type (#1484)merlin-locate optional, both for
consistency with Emacs convention and for backwards compatibility. (#1476,
@antalsz)Fix preprocessing, ppx, and reason support (#735 fixes #696, #706)
Support include in folding ranges (#730)
Fix cancellation mechanism for all requests (#707)
Allow cancellation of formatting requests (#707)
Add --fallback-read-dot-merlin to the LSP Server (#705). If ocamllsp is
started with this new flag, it will fall back to looking for Merlin
configuration in .merlin files rather than calling dune ocaml-merlin.
(#705)
Support folding more ranges (#692)
Improve parsing of ocamlc errors. We now correctly strip excerpts and parse alerts (#5879, @rgrinberg)
The (libraries) field of the coq.theory stanza has been renamed to
(plugins) and the Coq language version has been bumped to 0.5.
On behalf of the dune team, I’m pleased to announce the release of version 3.3.0. This is the first version that supports the upcoming OCaml 5.0. It also improves safety by sandboxing more rules and enabling more warnings, and there's a bunch of new features on the coq side too. Full changelog follows.
Note that as usual, dune works hard not to break existing packages. So even if it mentions that rules require precise dependencies, for example, this new safety net is only enabled for project that use (lang dune 3.3).
Happy hacking.
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, @rgrinberg)
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
constructor data_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 running coqdoc. Given a
theory named mytheory, the directory targets mytheory.html/ and
mytheory.tex/ or additionally the aliases @doc and @doc-latex will
build the HTML and LaTeX documentation repsectively. (#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).
compact and sparse are now removed (#2075, @gpetiot)align-cases, align-constructors-decl and align-variants-decl are now removed (#2076, @gpetiot)disable-outside-detected-project is now removed (#2077, @gpetiot)$XDG_CONFIG_HOME or $HOME/.config) is only applied when no project is detected, --enable-outside-detected-project is set, and no applicable .ocamlformat file has been found. Global and local configurations are no longer used at the same time. (#2039, @gpetiot)ocaml-version to a fixed version (4.04.0) by default to avoid reproducibility issues and surprising behaviours (#2064, @kit-ty-kate)--numeric=X-Y into --range=X-Y and --numeric (flag). For now --range can only be used with --numeric. (#2073, #2082, @gpetiot)(*= ... *) for verbatim comments (#2028, @gpetiot)--print-config displays a warning when an .ocamlformat file defines redundant options (already defined by a profile) (#2084, @gpetiot)dune-project. The parser could get confused
when opam file generation is used. Now it only considers the first (name X)
in the file. (#445, #446, @emillon)On behalf of the dune team, I'm pleased to announce the availability of version 3.2.0. This release contains few new features, but is packed with bug fixes and usability improvements. In particular, I'd like to point out that we've continued to improve the user experience with the watch mode. I encourage you all to try it out if you haven't already.
Happy Hacking.
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 using per_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
(adds bin, sbin, data, libexec). Use OPAM_SWITCH_PREFIX instead of
calling the opam binaries in dune install. Fix handling of multiple
libdir in ./configure for handling /usr/lib/ocaml/ and
/usr/local/lib/ocaml. In dune install forbid relative directories in
libdir, 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 variable
DUNE_INSTALL_PREFIX (#5589, @vapourismo)
Dune-site.plugin: add support for archive(native|byte, plugin) used in the
wild before findlib documented plugin(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 named META.$pkg). The Llvm 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 process termination. Once the lsp server is stepped, the process will gracefully terminate (#697, fixes #694)
Forward stderr from dune's merlin configuration to the lsp server's stderr (#697)
Fix bug with large buffers being resized incorrectly in Lev
Add folding ranges for more AST types (#680)
Fix build on Cygwin. (#5593, fixes 5577, @nojb)
Fix execution of (system ..) actions on Windows. (#5593, fixes #5523,
@nojb)
Fix Uri handling on Windows
Fix build on MSVC 2015
On behalf of the dune team, I'm pleased to announce version 3.1.0. This release contains some small, but interesting features, and some important quality of life bug fixes. I encourage everyone to upgrade as soon as possible.
Happy Hacking.
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)
On behalf of the ocamllsp team, I’m excited to announce the availability of version 1.11.0. This release is an important milestone for the project because it introduces integration with our favorite build system. When you run dune in watch mode, you will now be able to see build errors in the diagnostics panel of your editor. It’s all rather experimental for now, so your feedback and bug reports are appreciated.
As usual, the full change log is below.
Happy hacking.
Add support for dune in watch mode. The lsp server will now display build errors in the diagnostics and offer promotion code actions.
Re-introduce ocamlformat-rpc (#599, fixes #495)
= syntax in compiler flags (#1409)MerlinTypeOf (#1433 by @ddickstein, fixes
#1221)*merlin-errors* containing the last viewed error
(#1414, @panglesd)merlin-wrapper create a default .merlin file only when there is
no dune-project to let tests use dune ocaml-merlin reader. (#1425)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 before make (#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)
:= when assignment-operator=end-line (#1985, @gpetiot)wrap-comments should only impact non-documentation comments, wrapping invalid docstrings would cause the whole file to not be formatted (#1988, @gpetiot)comment-check, disable, max-iters, ocaml-version, and quiet (#1995, @gpetiot).(x >>= (fun () -> ())) [@a] (#2013, @emillon)--parse-toplevel-phrases.
Toplevel phrases are supported when they are located in doc-comments blocks and cinaps comments.
Whole input files can also be formatted as toplevel phrases with the flag --repl-file.Csexp.t types instead of Sexplib0.Sexp.t..ocamlformat (#2011, @panglesd, @Julow)Catch merlin desturct exceptions (#626)
Fix broken debouncing (#627)
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)
Fix digest computation bug introduced in 3.0.1 (#5451, @rgrinberg)
On behalf of the ocamllsp team, I’m pleased to announce version 1.10.0. The only new feature this release offers is better code folding, but there are some important bug fixes and performance improvements. If you encounter any sluggishness with our server, do not hesitate to report it.
Unless there are serious bugs with this release, this will be the last release for OCaml 4.13.
Happy Hacking.
Fix infer interface code action crash when implementation source does not exist (#597)
Improve error message when the reason plugin for merlin is absent (#608)
Fix chdir races when running ppx (#550)
More accurate completion kinds. New completion kinds for variants and fields. Removed inaccurate completion kinds for constructors and types. (#510)
Fix handling request cancellation (#616)
On behalf of the dune team, I’m delighted to announce the availability of dune 3.0.
The team has been working on this release for over 6 months, and there’s a bunch of new work to report. I’ll only highlight the some of the interesting new developments:
The watch mode has been rewritten from scratch to be faster and more scalable. We also no longer rely on any 3rd party tools such as fswatch. If any of you still have a dune workspace dune is still struggling with, we cannot wait to hear from you.
The watch mode now also starts an RPC server in the background. This RPC protocol is going to be the basis for other tools to interact with dune. Watch out for announcement on the LSP side to see how we’ll be making use of it to improve the editing experience.
The dune cache has been rewritten as well. It is now simpler and more reliable. There are still some components missing, such as distribution of the artifacts over the network. Nevertheless, we welcome you all to experiment with this feature and give us feedback.
We’ve addressed one of our oldest feature requests: high level rules for ctypes projects. This feature is still experimental, so we need feedback from real world projects before declaring it as mature.
Of course, there are many other fixes, enhancements, and only a few breaking changes in this release. We hope you have an easy time upgrading.
Happy Hacking.
Remove uchar and seq 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 of ocamlc -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 the dev 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 the executable field of inline_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 as 2.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 the env stanza. Binaries
defined in x/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 a tests stanza. Previously, dune would crash
when this field was present (#4942, fix #4946, @rgrinberg)
Add the enabled_if field to inline_tests within the library stanza.
This allows us to disable executing the inline tests while still allowing for
compilation (#4939, @rgrinberg)
Generate a dune-project when initializing projects with dune 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 or dune 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 if pkg 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 as utop, top,
and merlin (#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 as dune 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 maintainance 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 options to control how Dune should handle stdout and stderr of actions when then succeed. It is now possible to ask Dune to ignore the stdout of actions when they succeed or to request that the stderr of actions must be empty. This allows 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 chdirs 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 and free_words in trace file. This allows using
Gc.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 link libraries 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 the dune-project file.
(#4864, @kit-ty-kate)
Simplify the way dune discovers the root of the workspace. It now
stops at the first dune-workspace file it encounters, and fails if
it finds neither a dune-workspace nor a dune-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 or hg 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) in dune-project.
Delete old promote-into, promote-until-clean and promote-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)
--skip-lint, --skip-build, --skip-test and
--keep-build-dir to the main command (#419, @NathanReb)Additions
Bugs fixed
val x : #c) (@jonludlam, #809)