diff --git a/bootstrap.sh b/bootstrap.sh index 03ff688fb..2ab09013c 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -31,4 +31,4 @@ make libs SCHEME=${SCHEME} PREFIX=${PREFIX} make install SCHEME=${SCHEME} PREFIX=${PREFIX} make clean IDRIS2_BOOT=${PREFIX}/bin/idris2sh make all IDRIS2_BOOT=${PREFIX}/bin/idris2sh SCHEME=${SCHEME} IDRIS2_PATH=${IDRIS2_BOOT_PATH} -make test INTERACTIVE='' LD_LIBRARY_PATH-${PREFIX}/lib IDRIS2_BOOT=${PREFIX}/bin/idris2sh SCHEME=${SCHEME} IDRIS2_PATH=${IDRIS2_BOOT_PATH} IDRIS2_LIBS=${PREFIX}/idris2-0.2.0/lib IDRIS2_DATA=${PREFIX}/idris2-0.2.0/support +make test INTERACTIVE='' IDRIS2_BOOT=${PREFIX}/bin/idris2sh SCHEME=${SCHEME} IDRIS2_PATH=${IDRIS2_BOOT_PATH} IDRIS2_LIBS=${PREFIX}/idris2-0.2.0/lib IDRIS2_DATA=${PREFIX}/idris2-0.2.0/support