2.8.3
CHANGES:
-
Make
patdiff
show refined diffs (#4257, fixes #4254, @hakuch) -
Fixed a bug that could result in needless recompilation under Windows due to
case differences in the result ofSys.getcwd
(observed underemacs
).
(#3966, @nojb). -
Restore compatibility with Coq < 8.10 for coq-lang < 0.3 , document
that(using coq 0.3)
does require Coq 8.10 at least (#4224, fixes
#4142, @ejgallego) -
Add a META rule for 'compiler-libs.native-toplevel' (#4175, @AltGr)
-
No longer call
chmod
on symbolic links (fixes #4195, @dannywillems) -
Dune no longer automatically create or edit
dune-project
files
(#4239, fixes #4108, @jeremiedimino) -
Have
dune
communicate the location of the standard library directory to
merlin
(#4211, fixes #4188, @nojb) -
Workaround incorrect exception raised by Unix.utimes (OCaml PR#8857) in
Path.touch on Windows (#4223, @dra27) -
dune ocaml-merlin
is now able to provide configuration for source files in
the_build
directory. (#4274, @voodoos) -
Automatically delete left-over Merlin files when rebuilding for the first time
a project previously built with Dune<= 2.7
. (#4261, @voodoos, @aalekseyev) -
Fix
ppx.exe
being compiled for the wrong target when cross-compiling
(#3751, fixes #3698, @toots) -
dune top
correctly escapes the generated toplevel directives, and make it
easier fordune top
to locate C stubs associated to concerned libraries.
(#4242, fixes #4231, @nojb) -
Do not pass include directories containing native objects when compiling
bytecode (#4200, @nojb)