reset_install_requirements.sh

#!/bin/zsh
# MacOS only. modify using http://basilisk.fr/src/INSTALL 
# ensures that we are always using the latest version of basilisk

rm -rf basilisk
rm -rf .project_config

darcs clone http://basilisk.fr/basilisk
cd basilisk/src

if [[ "$OSTYPE" == "darwin"* ]]; then
    echo "Using MacOS"
    ln -s config.osx config
else
    echo "Using Linux"
    ln -s config.gcc config
fi
make

echo "export BASILISK=$PWD" >> ../../.project_config
echo "export PATH=\$PATH:\$BASILISK" >> ../../.project_config

source ../../.project_config