[new release] dune-build-info, dune, dune-configurator, dune-action-plugin, dune-private-libs and dune-glob (2.5.0)

[rgrinberg]

Embed build informations inside executable

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

CHANGES:

• Add a --release option meaning the same as -p but without the
  package filtering. This is useful for custom dune invocation in opam
  files where we don't want -p (Add a --release option dune#3260, @diml)

• Fix a bug introduced in 2.4.0 causing .bc programs to be built
  with -custom by default (Fix #3262 dune#3269, fixes Flag disable_dynamically_linked_foreign_archives seems to default to "true", in switches dune#3262, @diml)

• Allow contexts to be defined with local switches in workspace files (Remove wrong validation for switch names dune#3265,
  fix Dune can't use local OPAM switch in context declaration dune#3264, @rgrinberg)

• Delay expansion errors until the rule is used to build something (Delay expansion errors for rules dune#3261, fix
  dune should not fail detecting rule dependencies when the rule is not needed dune#3252, @rgrinberg, @diml)

• [coq] Support for theory dependencies and compositional builds using
  new field (theories ...) ([coq] Allow dependencies and composition with local Coq libraries. dune#2053, @ejgallego, @rgrinberg)

• From now on, each version of a syntax extension must be explicitely 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. (Extensions versioning dune#3270, fixes Extensions should check for the lowest version of dune they are available in dune#2957, @voodoos)

• [coq] Bump coq lang version to 0.2. New coq features presented this release
  require this version of the coq lang. ([coq] Check version for Coq's (theories ...) field. dune#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. (Prevent installation of disabled executables dune#3195, @voodoos)

• dune upgrade will now try to upgrade projects using versions <2.0 to version
  2.0 of the dune language. (Dune upgrade V1 -> V2 dune#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 (Add support for loading libraries from toplevel dune#2952, @mbernat, @diml)

• Allow per-package version in generated opam files (Per-package version support in generated opam files. dune#3287, @toots)

• [coq] Introduce the coq.extraction stanza. It can be used to extract OCaml
  sources (Introduce a [coq.extraction] stanza dune#3299, fixes Feature request: support for extracted OCaml files in Coq builds dune#2178, @rgrinberg)

• Load ppx rewriters in dune utop and add pps field to toplevel stanza. Ppx
  extensions will now be usable in the toplevel
  ((copy# should add entry to .merlin. dune#3266, fixes jbuilder utop doesn't load ppx_rewriters dune#346, @stephanieyou)

• Add a (subdir ..) stanza to allow evaluating stanzas in sub directories.
  (Add a (chdir ..) stanza dune#3268, @rgrinberg)

• Fix a bug preventing one from running inline tests in multiple modes
  (Fix #3347 dune#3352, @diml)

• Allow the use of the %{profile} variable in the enabled_if field of the
  library stanza. (Allow libraries to be enabled/disabled based on the build profile dune#3344, @mrmr1993)

• Allow the use of %{ocaml_version} variable in enabled_if field of the
  library stanza. (Allow the use of %{ocaml_version} in enabled_if for libraries dune#3339, @voodoos)

• Fix dune build freezing on MacOS when cache is enabled. ([cache] Fix dune freezing on MacOS with cache enabled dune#3249, fixes #Teardown does not work on OSX dune#2973,
  @artempyanykh)

[camelus]

Commit: 7424c3d

A pull request by opam-seasoned @rgrinberg.

☀️ All lint checks passed 7424c3d

• These packages passed lint tests: dune-action-plugin.2.5.0, dune-build-info.2.5.0, dune-configurator.2.5.0, dune-glob.2.5.0, dune-private-libs.2.5.0, dune.2.5.0

---

☀️ Installability check (+6)

• new installable packages (6): dune.2.5.0 dune-action-plugin.2.5.0 dune-build-info.2.5.0 dune-configurator.2.5.0 dune-glob.2.5.0 dune-private-libs.2.5.0

[kit-ty-kate]

The error message that I haven't seen before is this one:

#=== ERROR while compiling opam-installer.2.0.6 ===============================#
# context              2.0.6 | linux/x86_64 | ocaml-base-compiler.4.10.0 | file:///home/opam/opam-repository
# path                 ~/.opam/4.10/.opam-switch/build/opam-installer.2.0.6
# command              /usr/bin/make opam-installer.install
# exit-code            2
# env-file             ~/.opam/log/opam-installer-25-2c0134.env
# output-file          ~/.opam/log/opam-installer-25-2c0134.out
### output ###
# dune build --profile=release  --promote-install-files  --promote-install-files opam-installer.install
# dune: option `--promote-install-files' cannot be repeated
# Usage: dune build [OPTION]... [TARGET]...
# Try `dune build --help' or `dune --help' for more information.
# make: *** [Makefile:110: opam-installer.install] Error 1

The rest of the failures are unrelated.

Could you tell me if this is expected or not?

[rgrinberg]

Could you tell me if this is expected or not?

I think it's expected. The build of the question has the following method for extracting flags to pass to dune:

DUNE_PROMOTE_ARG := $(shell dune build --help=plain 2>/dev/null | sed -ne 's/.*\(--promote-install-files\).*/ \1/p')

I don't think we can guarantee stability for packages that rely on parsing the help pages for extracting flags.

[kit-ty-kate]

Thanks a lot!