. ../../../testutils.sh

# pretend Idris2 is installed at root for reproducible
# installdirs:
IDRIS2_PREFIX=/ idris2 --dump-installdir test.ipkg \
  | windows_path_tweaks

# by contrast, the location containing all installed packages:
IDRIS2_PREFIX=/ idris2 --libdir \
  | windows_path_tweaks
