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

TTC_VERSION="$(idris2 --ttc-version)"

# the mock dependencies must have a compatible TTC folder
for folder in ./depends/*; do
  mkdir -p "${folder}/${TTC_VERSION}"
done

TEST_FOLDER_PREFIX="$(cd ../../../.. && pwd | windows_path_tweaks | sed "s#/d#D:#g")"

fix_path() {
  windows_path_tweaks | sed "s#$TEST_FOLDER_PREFIX#[...]#g"
}

idris2 --build test.ipkg --log package.depends:10 2>&1 | fix_path

for folder in ./depends/*; do
  rmdir "${folder}/${TTC_VERSION}"
done
