From e41a9d326be57a341e6b42a5cf3c5182e45edfa5 Mon Sep 17 00:00:00 2001
From: Mathew Polzin <matt.polzin@gmail.com>
Date: Wed, 11 Sep 2024 10:32:14 -0500
Subject: [PATCH] support testing on windows

---
 tests/idris2/pkg/pkg020/run | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/tests/idris2/pkg/pkg020/run b/tests/idris2/pkg/pkg020/run
index 769e61c2e5..2ffb91acfe 100755
--- a/tests/idris2/pkg/pkg020/run
+++ b/tests/idris2/pkg/pkg020/run
@@ -1,9 +1,15 @@
 . ../../../testutils.sh
 
+windows_tweaks() {
+  cat | sed 's#C:.msys64##' | sed 's#\\#/#g'
+}
+
 # pretend Idris2 is installed at root for reproducible
 # installdirs:
-IDRIS2_PREFIX=/ idris2 --dump-installdir test.ipkg
+IDRIS2_PREFIX=/ idris2 --dump-installdir test.ipkg \
+  | windows_tweaks
 
 # by contrast, the location containing all installed packages:
-IDRIS2_PREFIX=/ idris2 --libdir
+IDRIS2_PREFIX=/ idris2 --libdir \
+  | windows_tweaks