[new release] dune (15 packages) (3.8.0~alpha3) #23795
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
CHANGES: - merlin: ignore instrumentation settings for preprocessing. (ocaml/dune#7606, fixes ocaml/dune#7465, @Alizter) - Add a `coqdoc_flags` field to the `coq.theory` stanza allowing the user to pass extra arguments to `coqdoc`. (ocaml/dune#7676, fixes ocaml/dune#7954 @Alizter) - 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)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fast, portable, and opinionated build system
CHANGES:
merlin: ignore instrumentation settings for preprocessing. (fix: drop instrumentation from Merlin.make dune#7606, fixes
VSCode instrumentation dune#7465, @Alizter)
Add a
coqdoc_flagsfield to thecoq.theorystanza allowing the user topass extra arguments to
coqdoc. (feature(coq): add coqdoc_flags field to coq.theory dune#7676, fixes [3.8] backport #7895 dune#7954 @Alizter)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 theoriesthat 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 (melange: set min version to 3.8 dune#7665, @jchavarri)