[ test ] Set IDRIS2_PREFIX to a local dir when testing

.gitignore

@@ -18,6 +18,7 @@ idris2docs_venv
 /ipkg/build
 
 /tests/**/build
+/tests/**/prefix
 /tests/**/output*
 /tests/**/*.so
 /tests/**/*.dylib

tests/idris2/pkg/pkg010/run

@@ -1,6 +1,5 @@
 . ../../../testutils.sh
 
-export IDRIS2_PACKAGE_PATH=$IDRIS2_PREFIX/$NAME_VERSION
 export IDRIS2_PREFIX=$test_dir/currently/nonexistent/dir/
 
 export IDRIS2_INC_CGS=

tests/idris2/pkg/pkg016/run

@@ -6,7 +6,3 @@ idris2 --install baz.ipkg > /dev/null
 idris2 --build test.ipkg
 
 build/exec/test
-
-rm -r "${IDRIS2_PREFIX}"/idris2-*/foo-0
-rm -r "${IDRIS2_PREFIX}"/idris2-*/bar-0
-rm -r "${IDRIS2_PREFIX}"/idris2-*/baz-0

tests/testutils.sh

@@ -9,6 +9,7 @@ idris2="$1"
 # Delete build files between runs to prevent unexpected differences.
 # As this is at the top-level, this is run when this script is imported.
 rm -rf build
+rm -rf prefix
 
 idris2() {
     $idris2 --no-banner --console-width 0 --no-color "$@"
@@ -36,6 +37,26 @@ else
     test_dir="$(pwd)"
 fi
 
+# Set variables for hygiene testing
+if [ -n "$IDRIS2_PREFIX" -a -z "$PREFIX_CHANGED" ]; then
+  OLD_PREFIX="$IDRIS2_PREFIX"
+  NEW_PREFIX="$test_dir/prefix"
+
+  OLD_PP="$OLD_PREFIX/$NAME_VERSION"
+  NEW_PP="$NEW_PREFIX/$NAME_VERSION"
+
+  # Set where to look to installed stuff
+  export IDRIS2_PACKAGE_PATH="$OLD_PP:$NEW_PP"
+  export IDRIS2_LIBS="$OLD_PP/libs:$NEW_PP/libs"
+  export IDRIS2_DATA="$OLD_PP/support:$NEW_PP/support"
+
+  # Set where to install stuff
+  export IDRIS2_PREFIX="$NEW_PREFIX"
+
+  # Save from re-sourcing this file several times
+  export PREFIX_CHANGED=1
+fi
+
 # Remove test directory from output
 # Useful for consistency of output between machines
 # Usage: run SomeTest.idr | filter_test_dir