[new release] xdg, stdune, ordering, ocamlc-loc, fiber, dyn, dune, dune-site, dune-rpc, dune-rpc-lwt, dune-private-libs, dune-glob, dune-configurator, dune-build-info, dune-action-plugin and chrome-trace (3.3.0)

[emillon]

XDG Base Directory Specification

• Project page: https://github.com/ocaml/dune
• Documentation: https://dune.readthedocs.io/

CHANGES:

• Sandbox preprocessing, lint, and dialect rules by default. All these rules
  now require precise dependency specifications (add sandboxing to ocamldep, lint, dialect, pp dune#5807, @rgrinberg)

• Allow list expansion in the pps specification for preprocessing (Allow list expansion in preprocessor arguments dune#5820,
  @Firobe)

• Add warnings 67-69 to dune's default set of warnings. These are warnings of
  the form "unused X.." (fix: tweak flags for 3.3 dune#5844, @rgrinbreg)

• Introduce project "composition" for coq theories. Coq theories in separate
  projects can now refer to each other when in the same workspace (feature(coq): support for interproject composition of theories dune#5784,
  @Alitzer, @rgrinberg)

• Fix hint message for data_only_dirs that wrongly mentions the unknown
  constructor data_only (Fix hint message for 'data_only_dirs' dune#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. (fix(engine): directory targets sanity check dune#5754, @rgrinberg)

• Set the exit code to 130 when dune is terminated with a signal (fix: set exit code on signal dune#5769, fixes
  Dune should return exit code 130 on Ctrl-C dune#5757)

• Support new locations of unix, str, dynlink in OCaml >= 5.0 ([2.9.x] Support new locations of unix, str and dynlink dune#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. (initial coqdoc support dune#5695, fixes Coqdoc support dune#3760,
  @Alizter)

• Coq theories marked as (boot) cannot depend on other theories
  ([coq_lib] Enforce that boot libraries depend on no theories dune#5867, @ejgallego)

• Ignore bigarray in (libraries) with OCaml >= 5.0. (Fix bigarray config (#5494) dune#5526, fixes Successfully sun-setting the bigarray package dune#5494,
  @moyodiallo)

• Start with :standard when building the ctypes generated foreign stubs so that
  we include important compiler flags, such as -fPIC ([ctypes] try to build ctypes foreign stubs the same way as regular foreign stubs (closes #5809) dune#5816, fixes ctypes stanza does not compile cstubs .o files with -fPIC dune#5809).

[kit-ty-kate]

Thanks!