support testing on windows

idris-lang · Sep 11, 2024 · e41a9d3 · e41a9d3
1 parent 1787664
commit e41a9d3
Showing 1 changed file with 8 additions and 2 deletions.
diff --git 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