From 94dd12867def48709fdea6e96092e366bb4c6e0e Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Mon, 13 Feb 2023 22:41:19 +0100 Subject: [PATCH] [changes] [coq] Tweaks to #7048 changelog Signed-off-by: Emilio Jesus Gallego Arias --- CHANGES.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index b1289c5c7057..615bb77f2338 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,7 +1,9 @@ Unreleased ---------- -- coqdep is now called once per theory (#7048, @Alizter) +- `coqdep` is now called once per theory, instead of one time per Coq + file. This should significantly speed up some builds, as `coqdep` + startup time is often heavy (#7048, @Alizter, @ejgallego) - Add map_workspace_root dune-project stanza to allow disabling of mapping of workspace root to /workspace_root. (#6988, fixes #6929,