fix existing package discovery in tests

idris-lang · Dec 16, 2024 · e8bee99 · e8bee99
1 parent e227910
commit e8bee99
Show file tree

Hide file tree

Showing 4 changed files with 40 additions and 0 deletions.
diff --git a/tests/idris2/pkg/pkg006/run b/tests/idris2/pkg/pkg006/run
@@ -1,7 +1,17 @@
 . ../../../testutils.sh
 
+TTC_VERSION="$(idris2 --ttc-version)"
+
+for folder in ./depends/*; do
+  mkdir -p "${folder}/${TTC_VERSION}"
+done
+
 idris2 --build test1.ipkg
 idris2 --build test2.ipkg
 idris2 --build test3.ipkg
 idris2 --build test4.ipkg
 idris2 --build test5.ipkg
+
+for folder in ./depends/*; do
+  rmdir "${folder}/${TTC_VERSION}"
+done
diff --git a/tests/idris2/pkg/pkg013/run b/tests/idris2/pkg/pkg013/run
@@ -1,3 +1,13 @@
 . ../../../testutils.sh
 
+TTC_VERSION="$(idris2 --ttc-version)"
+
+for folder in ./depends/*; do
+  mkdir -p "${folder}/${TTC_VERSION}"
+done
+
 idris2 --build test.ipkg --log package.depends:10 | filter_test_dir
+
+for folder in ./depends/*; do
+  rmdir "${folder}/${TTC_VERSION}"
+done
diff --git a/tests/idris2/pkg/pkg014/run b/tests/idris2/pkg/pkg014/run
@@ -1,3 +1,13 @@
 . ../../../testutils.sh
 
+TTC_VERSION="$(idris2 --ttc-version)"
+
+for folder in ./depends/*; do
+  mkdir -p "${folder}/${TTC_VERSION}"
+done
+
 idris2 --build test.ipkg --log package.depends:10 | filter_test_dir
+
+for folder in ./depends/*; do
+  rmdir "${folder}/${TTC_VERSION}"
+done
diff --git a/tests/idris2/pkg/pkg015/run b/tests/idris2/pkg/pkg015/run
@@ -1,3 +1,13 @@
 . ../../../testutils.sh
 
+TTC_VERSION="$(idris2 --ttc-version)"
+
+for folder in ./depends/*; do
+  mkdir -p "${folder}/${TTC_VERSION}"
+done
+
 idris2 --build test.ipkg --log package.depends:10
+
+for folder in ./depends/*; do
+  rmdir "${folder}/${TTC_VERSION}"
+done