3.8.0~alpha1

CHANGES:

• When a rule's action is interrupted, delete any leftover directory targets.
  This is consistent with how we treat file targets. (@rgrinberg, 7564)

• Fix plugin loading with findlib. The functionality was broken in 3.7.0.
  (#7556, @anmonteiro)

• Introduce a public_headers field on libraries. This field is like
  install_c_headers, but it allows to choose the extension and choose the
  paths for the installed headers. (#7512, @rgrinberg)

• Load the host context findlib.conf when cross-compiling (#7428, fixes
  #1701, @rgrinberg, @anmonteiro)

• Resolve ppx_runtime_libraries in the target context when cross compiling
  (#7450, fixes #2794, @anmonteiro)

• Use $PKG_CONFIG, when set, to find the pkg-config binary (#7469, fixes
  #2572, @anmonteiro)

• Preliminary support for Coq compiled intefaces (.vos files) enabled via
  (mode vos) in coq.theory stanzas. This can be used in combination with
  dune coq top to obtain fast re-building of dependencies (with no checking
  of proofs) prior to stepping into a file. (#7406, @rlepigre)

• Fix dune crashing on MacOS in watch mode whenever $PATH contains $PWD
  (#7441, fixes #6907, @rgrinberg)

• Fix dune install when cross compiling (#7410, fixes #6191, @anmonteiro,
  @rizo)

• Find pps dependencies in the host context when cross-compiling, (#7410,
  fixes #4156, @anmonteiro)

• Dune in watch mode no longer builds concurrent rules in serial (#7395
  @rgrinberg, @jchavarri)

• dune coq top now correctly respects the project root when called from a
  subdirectory. However, absolute filenames passed to dune coq top are no
  longer supported (due to being buggy) (#7357, fixes #7344, @rlepigre and
  @Alizter)

• Added a --no-build option to dune coq top for avoiding rebuilds (#7380,
  fixes #7355, @Alizter)

• RPC: Ignore SIGPIPE when clients suddenly disconnect (#7299, #7319, fixes
  #6879, @rgrinberg)

• Always clean up the UI on exit. (#7271, fixes #7142 @rgrinberg)

• Bootstrap: remove reliance on shell. Previously, we'd use the shell to get
  the number of processors. (#7274, @rgrinberg)

• Bootstrap: correctly detect the number of processors by allowing nproc to be
  looked up in $PATH (#7272, @Alizter)

• Speed up file copying on macos by using clonefile when available
  (@rgrinberg, #7210)

• Adds support for loading plugins in toplevels (#6082, fixes #6081,
  @ivg, @richardlford)

• Support commands that output 8-bit and 24-bit colors in the terminal (#7188,
  @Alizter)

• Speed up rule generation for libraries and executables with many modules
  (#7187, @jchavarri)

• Add --watch-exclusions to Dune build options (#7216, @jonahbeckford)

• Do not re-render UI on every frame if the UI doesn't change (#7186, fix
  #7184, @rgrinberg)

• Make coq_db creation in scope lazy (@ejgallego, #7133)

• Non-user proccesses such as version control or config checking are now run
  silently. (#6994, fixes #4066, @Alizter)

• Add the --display-separate-messages flag to separate the error messages
  produced by commands with a blank line. (#6823, fixes #6158, @esope)

• Accept the Ordered Set Language for the modes field in library stanzas
  (#6611, @anmonteiro).

• dune install now respects --display quiet mode (#7116, fixes #4573, fixes
  #7106, @Alizter)

• Stub shared libraries (dllXXX_stubs.so) in Dune-installed libraries could not
  be used as dependencies of libraries in the workspace (eg when compiling to
  bytecode and/or Javascript). This is now fixed. (#7151, @nojb)

• Allow the main module of a library with (stdlib ...) to depend on other
  libraries (#7154, @anmonteiro).

• Bytecode executables built for JSOO are linked with -noautolink and no
  longer depend on the shared stubs of their dependent libraries (#7156, @nojb)

• Added a new user action (concurrent ) which is like (progn ) but runs the
  actions concurrently. (#6933, @Alizter)

• Allow (stdlib ...) to be used with (wrapped false) in library stanzas
  (#7139, @anmonteiro).

• Allow parallel execution of inline tests partitions (#7012, @hhugo)

• Support (link_flags ...) in (cinaps ...) stanza. (#7423, fixes #7416,
  @nojb)

• Allow (package ...) in any position within (rule ...) stanza (#7445,
  @Leonidas-from-XIV)

• Always include opam files in the generated .install file. Previously, it
  would not be included whenever (generate_opam_files true) was set and the
  .install file wasn't yet generated. (#7547, @rgrinberg)