From f8affb8cfb25e873a4bd2752cff15cc1a080b2f6 Mon Sep 17 00:00:00 2001 From: jonahbeckford <71855677+jonahbeckford@users.noreply.github.com> Date: Fri, 7 Jul 2023 08:34:13 -0700 Subject: [PATCH] Fix unavailable expunge on Windows (#447) Fix unavailable expunge on Windows Without this commit, get: ``` File "src/top/dune", line 33, characters 0-131: 33 | (rule 34 | (targets utop-expunged.bc) 35 | (action 36 | (run %{ocaml_where}/expunge %{dep:utop.bc} %{targets} 37 | %{read-lines:modules.txt}))) Error: File unavailable: Z:/source/dkml/build/pkg/bump/.ci/o/PR/lib/ocaml/expunge ``` Co-authored-by: Etienne Millon --- CHANGES.md | 5 +++++ src/top/dune | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/CHANGES.md b/CHANGES.md index 101ef2d..82530cd 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,8 @@ +2.13.1 (Pending) +---------------- + +* Fix unavailable expunge on Windows (#447, @jonahbeckford) + 2.13.0 (2023-07-03) ------------------- diff --git a/src/top/dune b/src/top/dune index f94d184..6549316 100644 --- a/src/top/dune +++ b/src/top/dune @@ -33,7 +33,7 @@ (rule (targets utop-expunged.bc) (action - (run %{ocaml_where}/expunge %{dep:utop.bc} %{targets} + (run %{ocaml_where}/expunge%{ext_exe} %{dep:utop.bc} %{targets} %{read-lines:modules.txt}))) (install