traige

idris-lang · May 19, 2024 · ef5370b · ef5370b
1 parent a6924f0
commit ef5370b
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/bootstrap-stage2.sh b/bootstrap-stage2.sh
@@ -7,9 +7,9 @@ IDRIS2_CG="${IDRIS2_CG-"chez"}"
 # IDRIS2_BOOT_PREFIX must be the "clean" build root, without cygpath -m
 # Otherwise, we get 'git: Bad address'
 echo "[bootstrap] bootstrapping in: $IDRIS2_BOOT_PREFIX"
-export LD_LIBRARY_PATH="${LD_LIBRARY_PATH:-"${IDRIS2_BOOT_PREFIX}/lib"}"
-export DYLD_LIBRARY_PATH="${DYLD_LIBRARY_PATH:-"${IDRIS2_BOOT_PREFIX}/lib"}"
-export IDRIS2_DATA="${IDRIS2_DATA:-"${IDRIS2_BOOT_PREFIX}/support"}"
+export LD_LIBRARY_PATH="${LD_LIBRARY_PATH:-"${IDRIS2_BOOT_PREFIX}/idris2-0.7.0/lib"}"
+export DYLD_LIBRARY_PATH="${DYLD_LIBRARY_PATH:-"${IDRIS2_BOOT_PREFIX}/idris2-0.7.0/lib"}"
+export IDRIS2_DATA="${IDRIS2_DATA:-"${IDRIS2_BOOT_PREFIX}/idris2-0.7.0/support"}"
 
 $MAKE bootstrap-libs IDRIS2_CG="$IDRIS2_CG" \
     PREFIX="$IDRIS2_BOOT_PREFIX" SCHEME="$SCHEME"
@@ -19,6 +19,8 @@ $MAKE bootstrap-install IDRIS2_CG="$IDRIS2_CG" \
 # Now rebuild everything properly
 echo '[bootstrap] cleaning and rebuilding...'
 $MAKE clean-libs IDRIS2_BOOT="$IDRIS2_BOOT_PREFIX/bin/idris2"
+echo "triage -- $(ls ${IDRIS2_BOOT_PREFIX})"
+echo "triage -- $(ls ${IDRIS2_BOOT_PREFIX}/idris2-*/lib)"
 $MAKE all IDRIS2_BOOT="$IDRIS2_BOOT_PREFIX/bin/idris2" IDRIS2_CG="$IDRIS2_CG" \
     SCHEME="$SCHEME"
 echo '[bootstrap] stage 2 complete'