Commits on May 3, 2023

1. [new release] dune (15 packages) (3.8.0~alpha2) …

   CHANGES:
   
   - Correctly set `MANPATH` in `dune exec`. Previously, we would use the `bin/`
     directory of the context. (ocaml/dune#7655, @rgrinberg)
   
   - Allow overriding the `ocaml` binary with findlib configuration (ocaml/dune#7648,
     @rgrinberg)
   
   - Modules that were declared in `(modules_without_implementation)`,
     `(private_modules)` or `(virtual_modules)` but not declared in `(modules)`
     will cause Dune to emit a warning which will become an error in 3.9. (ocaml/dune#7608,
     fixes ocaml/dune#7026, @Alizter)
   
   - Dune can now detect Coq theories from outside the workspace. This allows for
     composition with installed theories (not necessarily installed with Dune).
     (ocaml/dune#7047, @Alizter, @ejgallego)
   
   - Fix regression where Merlin was unable to handle filenames with uppercase
     letters under Windows. (ocaml/dune#7577, @nojb)
   
   - On nix+macos, pass `-f` to the codesign hook to avoid errors when the binary
     is already signed (ocaml/dune#7183, fixes ocaml/dune#6265, @greedy)
   
   - Fix bug where RPC clients built with dune-rpc-lwt would crash when closing
     their connection to the server (ocaml/dune#7581, @gridbugs)
   
   - Introduce mdx stanza 0.4 requiring mdx >= 2.3.0 which updates the default
     list of files to include `*.mld` files (ocaml/dune#7582, @Leonidas-from-XIV)
   
   - Fix RPC server on Windows (used for OCaml-LSP). (ocaml/dune#7666, @nojb)
   
   - In `(executable)`, `(public_name -)` is now equivalent to no `(public_name)`.
     This is consistent with how `(executables)` handles this field.
     (ocaml/dune#7576 , fixes ocaml/dune#5852, @emillon)
   
   - Change directory of odoc assets to `odoc.support` (was `_odoc_support`) so
     that it works with Github Pages out of the box. (ocaml/dune#7588, fixes ocaml/dune#7364,
     @emillon)

   

   emillon committed May 3, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 4d05b56
   • Browse repository at this point

   Copy the full SHA

   4d05b56 View commit details

   Browse the repository at this point in the history