Idris2/bootstrap.sh

#!/bin/sh

if [ -z "$SCHEME" ]
then
    echo "SCHEME not set. Invoke with SCHEME=[name of chez executable]"
    exit 1
fi

# Compile the bootstrap scheme
cd bootstrap
${SCHEME} --script compile.ss

# Put the result in the usual place where the target goes
mkdir -p ../build/exec
mkdir -p ../build/exec/idris2_app
install idris2-boot ../build/exec/idris2
install idris2_app/* ../build/exec/idris2_app

cd ..

# Install with the bootstrap directory as the PREFIX
DIR="`realpath $0`"
PREFIX="`dirname $DIR`"/bootstrap

# Now rebuild everything properly
echo ${PREFIX}

IDRIS2_BOOT_PATH="${PREFIX}/idris2-0.2.0/prelude:${PREFIX}/idris2-0.2.0/base:${PREFIX}/idris2-0.2.0/contrib:${PREFIX}/idris2-0.2.0/network"
NEWPREFIX="`dirname $DIR`"
IDRIS2_NEW_PATH="${NEWPREFIX}/libs/prelude/build/ttc:${NEWPREFIX}/libs/base/build/ttc:${NEWPREFIX}/libs/network/build/ttc"

make libs SCHEME=${SCHEME} PREFIX=${PREFIX}
make install SCHEME=${SCHEME} PREFIX=${PREFIX}
make clean IDRIS2_BOOT=${PREFIX}/bin/idris2
make all IDRIS2_BOOT=${PREFIX}/bin/idris2 SCHEME=${SCHEME} IDRIS2_PATH=${IDRIS2_BOOT_PATH}

echo "Testing using libraries in ${IDRIS2_NEW_PATH}"
make test INTERACTIVE='' IDRIS2_PATH=${IDRIS2_NEW_PATH} SCHEME=${SCHEME} IDRIS2_LIBS=${PREFIX}/idris2-0.2.0/lib:${PREFIX}/idris2-0.2.0/network/lib IDRIS2_DATA=${PREFIX}/idris2-0.2.0/support
Add bootstrapping instructions Added a known good scheme output which can be used to start the bootstrapping process. 2020-05-18 16:43:12 +03:00			`#!/bin/sh`

Better bootstrapping process 2020-05-19 23:05:52 +03:00			`if [ -z "$SCHEME" ]`
			`then`
			`echo "SCHEME not set. Invoke with SCHEME=[name of chez executable]"`
			`exit 1`
			`fi`

			`# Compile the bootstrap scheme`
Add bootstrapping instructions Added a known good scheme output which can be used to start the bootstrapping process. 2020-05-18 16:43:12 +03:00			`cd bootstrap`
Finish bootstrap scripts I got this working on my Mac, which doesn't have Idris 2 of any form installed. So it might work... good luck! 2020-05-18 23:10:37 +03:00			`${SCHEME} --script compile.ss`
Another attempt at making the bootstrap step work 2020-05-18 18:02:30 +03:00
Better bootstrapping process 2020-05-19 23:05:52 +03:00			`# Put the result in the usual place where the target goes`
Another attempt at making the bootstrap step work 2020-05-18 18:02:30 +03:00			`mkdir -p ../build/exec`
Update bootstrapping scripts for new exec name (Also, hopefully, this will poke travis to build the repo in its new location!) 2020-05-20 16:00:15 +03:00			`mkdir -p ../build/exec/idris2_app`
			`install idris2-boot ../build/exec/idris2`
Fix bootstrap script (again) I'm doing this in too much of a hurry... but it definitely works for me locally now! 2020-05-20 16:33:34 +03:00			`install idris2_app/* ../build/exec/idris2_app`
Better bootstrapping process 2020-05-19 23:05:52 +03:00
Fix up bootstrap scripts They weren't quite right; I've now successfully built from the script on a machine with only Chez available. 2020-05-19 23:39:36 +03:00			`cd ..`

Better bootstrapping process 2020-05-19 23:05:52 +03:00			`# Install with the bootstrap directory as the PREFIX`
			DIR="`realpath $0`"
Fix up bootstrap scripts They weren't quite right; I've now successfully built from the script on a machine with only Chez available. 2020-05-19 23:39:36 +03:00			PREFIX="`dirname $DIR`"/bootstrap
Better bootstrapping process 2020-05-19 23:05:52 +03:00
Fix up bootstrap scripts They weren't quite right; I've now successfully built from the script on a machine with only Chez available. 2020-05-19 23:39:36 +03:00			`# Now rebuild everything properly`
			`echo ${PREFIX}`

			`IDRIS2_BOOT_PATH="${PREFIX}/idris2-0.2.0/prelude:${PREFIX}/idris2-0.2.0/base:${PREFIX}/idris2-0.2.0/contrib:${PREFIX}/idris2-0.2.0/network"`
Point bootstrap tests at the right place We also need to separate building the runtests binary from running the tests, because runtests refers to the boostrap libraries, and the tests refer to the newly built libraries. This worked locally, using inconsistent TTC versions for the bootstrap version and new version, but let's see what it does on a clean machine 2020-05-21 18:48:26 +03:00			NEWPREFIX="`dirname $DIR`"
			`IDRIS2_NEW_PATH="${NEWPREFIX}/libs/prelude/build/ttc:${NEWPREFIX}/libs/base/build/ttc:${NEWPREFIX}/libs/network/build/ttc"`
Better bootstrapping process 2020-05-19 23:05:52 +03:00
			`make libs SCHEME=${SCHEME} PREFIX=${PREFIX}`
			`make install SCHEME=${SCHEME} PREFIX=${PREFIX}`
Update bootstrapping scripts for new exec name (Also, hopefully, this will poke travis to build the repo in its new location!) 2020-05-20 16:00:15 +03:00			`make clean IDRIS2_BOOT=${PREFIX}/bin/idris2`
			`make all IDRIS2_BOOT=${PREFIX}/bin/idris2 SCHEME=${SCHEME} IDRIS2_PATH=${IDRIS2_BOOT_PATH}`
Point bootstrap tests at the right place We also need to separate building the runtests binary from running the tests, because runtests refers to the boostrap libraries, and the tests refer to the newly built libraries. This worked locally, using inconsistent TTC versions for the bootstrap version and new version, but let's see what it does on a clean machine 2020-05-21 18:48:26 +03:00
			`echo "Testing using libraries in ${IDRIS2_NEW_PATH}"`
Add network to library search paths I don't know why this works for me locally but not on travis, although it is harder for me to be sure this machine is completely clean! So the easiest way to find out if this fixes the problem is probably just to try it... 2020-05-21 19:47:46 +03:00			`make test INTERACTIVE='' IDRIS2_PATH=${IDRIS2_NEW_PATH} SCHEME=${SCHEME} IDRIS2_LIBS=${PREFIX}/idris2-0.2.0/lib:${PREFIX}/idris2-0.2.0/network/lib IDRIS2_DATA=${PREFIX}/idris2-0.2.0/support`