Commits on Apr 18, 2023

1. [new release] dune (15 packages) (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.
     (ocaml/dune#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. (ocaml/dune#7512, @rgrinberg)
   
   - Load the host context `findlib.conf` when cross-compiling (ocaml/dune#7428, fixes
     ocaml/dune#1701, @rgrinberg, @anmonteiro)
   
   - Resolve `ppx_runtime_libraries` in the target context when cross compiling
     (ocaml/dune#7450, fixes ocaml/dune#2794, @anmonteiro)
   
   - Use `$PKG_CONFIG`, when set, to find the `pkg-config` binary  (ocaml/dune#7469, fixes
     ocaml/dune#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. (ocaml/dune#7406, @rlepigre)
   
   - Fix dune crashing on MacOS in watch mode whenever `$PATH` contains `$PWD`
     (ocaml/dune#7441, fixes ocaml/dune#6907, @rgrinberg)
   
   - Fix `dune install` when cross compiling (ocaml/dune#7410, fixes ocaml/dune#6191, @anmonteiro,
     @rizo)
   
   - Find `pps` dependencies in the host context when cross-compiling,  (ocaml/dune#7410,
     fixes ocaml/dune#4156, @anmonteiro)
   
   - Dune in watch mode no longer builds concurrent rules in serial (ocaml/dune#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) (ocaml/dune#7357, fixes ocaml/dune#7344, @rlepigre and
     @Alizter)
   
   - Added a `--no-build` option to `dune coq top` for avoiding rebuilds (ocaml/dune#7380,
     fixes ocaml/dune#7355, @Alizter)
   
   - RPC: Ignore SIGPIPE when clients suddenly disconnect (ocaml/dune#7299, ocaml/dune#7319, fixes
     ocaml/dune#6879, @rgrinberg)
   
   - Always clean up the UI on exit. (ocaml/dune#7271, fixes ocaml/dune#7142 @rgrinberg)
   
   - Bootstrap: remove reliance on shell. Previously, we'd use the shell to get
     the number of processors. (ocaml/dune#7274, @rgrinberg)
   
   - Bootstrap: correctly detect the number of processors by allowing `nproc` to be
     looked up in `$PATH` (ocaml/dune#7272, @Alizter)
   
   - Speed up file copying on macos by using `clonefile` when available
     (@rgrinberg, ocaml/dune#7210)
   
   - Adds support for loading plugins in toplevels (ocaml/dune#6082, fixes ocaml/dune#6081,
     @ivg, @richardlford)
   
   - Support commands that output 8-bit and 24-bit colors in the terminal (ocaml/dune#7188,
     @Alizter)
   
   - Speed up rule generation for libraries and executables with many modules
     (ocaml/dune#7187, @jchavarri)
   
   - Add `--watch-exclusions` to Dune build options (ocaml/dune#7216, @jonahbeckford)
   
   - Do not re-render UI on every frame if the UI doesn't change (ocaml/dune#7186, fix
     ocaml/dune#7184, @rgrinberg)
   
   - Make coq_db creation in scope lazy (@ejgallego, ocaml/dune#7133)
   
   - Non-user proccesses such as version control or config checking are now run
     silently. (ocaml/dune#6994, fixes ocaml/dune#4066, @Alizter)
   
   - Add the `--display-separate-messages` flag to separate the error messages
     produced by commands with a blank line. (ocaml/dune#6823, fixes ocaml/dune#6158, @esope)
   
   - Accept the Ordered Set Language for the `modes` field in `library` stanzas
     (ocaml/dune#6611, @anmonteiro).
   
   - dune install now respects --display quiet mode (ocaml/dune#7116, fixes ocaml/dune#4573, fixes
     ocaml/dune#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. (ocaml/dune#7151, @nojb)
   
   - Allow the main module of a library with `(stdlib ...)` to depend on other
     libraries (ocaml/dune#7154, @anmonteiro).
   
   - Bytecode executables built for JSOO are linked with `-noautolink` and no
     longer depend on the shared stubs of their dependent libraries (ocaml/dune#7156, @nojb)
   
   - Added a new user action `(concurrent )` which is like `(progn )` but runs the
     actions concurrently. (ocaml/dune#6933, @Alizter)
   
   - Allow `(stdlib ...)` to be used with `(wrapped false)` in library stanzas
     (ocaml/dune#7139, @anmonteiro).
   
   - Allow parallel execution of inline tests partitions (ocaml/dune#7012, @hhugo)
   
   - Support `(link_flags ...)` in `(cinaps ...)` stanza. (ocaml/dune#7423, fixes ocaml/dune#7416,
     @nojb)
   
   - Allow `(package ...)` in any position within `(rule ...)` stanza (ocaml/dune#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. (ocaml/dune#7547, @rgrinberg)

   

   emillon committed Apr 18, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 8f04d31
   • Browse repository at this point

   Copy the full SHA

   8f04d31 View commit details

   Browse the repository at this point in the history