You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
CHANGES:
- Fix string quoting in the json file written by `--trace-file` (ocaml/dune#7773,
@rleshchinskiy)
- Read `pkg-config` arguments from the `PKG_CONFIG_ARGN` environment variable
(ocaml/dune#1492, ocaml/dune#7734, @anmonteiro)
- 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)
- merlin: ignore instrumentation settings for preprocessing. (ocaml/dune#7606, fixesocaml/dune#7465, @Alizter)
- When a rule's action is interrupted, delete any leftover directory targets.
This is consistent with how we treat file targets. (ocaml/dune#7564, @rgrinberg)
- 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, fixesocaml/dune#1701, @rgrinberg, @anmonteiro)
- Add a `coqdoc_flags` field to the `coq.theory` stanza allowing the user to
pass extra arguments to `coqdoc`. (ocaml/dune#7676, fixesocaml/dune#7954@Alizter)
- Resolve `ppx_runtime_libraries` in the target context when cross compiling
(ocaml/dune#7450, fixesocaml/dune#2794, @anmonteiro)
- Use `$PKG_CONFIG`, when set, to find the `pkg-config` binary (ocaml/dune#7469, fixesocaml/dune#2572, @anmonteiro)
- 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,
fixesocaml/dune#7026, @Alizter)
- 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, fixesocaml/dune#6907, @rgrinberg)
- Fix `dune install` when cross compiling (ocaml/dune#7410, fixesocaml/dune#6191, @anmonteiro,
@rizo)
- Find `pps` dependencies in the host context when cross-compiling, (ocaml/dune#7410,
fixesocaml/dune#4156, @anmonteiro)
- Dune in watch mode no longer builds concurrent rules in serial (ocaml/dune#7395@rgrinberg, @jchavarri)
- 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)
- `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, fixesocaml/dune#7344, @rlepigre and
@Alizter)
- Added a `--no-build` option to `dune coq top` for avoiding rebuilds (ocaml/dune#7380,
fixesocaml/dune#7355, @Alizter)
- RPC: Ignore SIGPIPE when clients suddenly disconnect (ocaml/dune#7299, ocaml/dune#7319, fixesocaml/dune#6879, @rgrinberg)
- Always clean up the UI on exit. (ocaml/dune#7271, fixesocaml/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, fixesocaml/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, fixocaml/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, fixesocaml/dune#4066, @Alizter)
- Add the `--display-separate-messages` flag to separate the error messages
produced by commands with a blank line. (ocaml/dune#6823, fixesocaml/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, fixesocaml/dune#4573, fixesocaml/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, fixesocaml/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)
- 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, fixesocaml/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)
- Coq language versions less 0.8 are deprecated, and will be removed
in an upcoming Dune version. All users are required to migrate to
`(coq lang 0.8)` which provides the right semantics for theories
that have been globally installed, such as those coming from opam
(@ejgallego, @Alizter)
- Bump minimum version of the dune language for the melange syntax extension
from 3.7 to 3.8 (ocaml/dune#7665, @jchavarri)
0 commit comments