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.
3.3.0 (17-06-2022)
-
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
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/
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).