directories.sh

#!/bin/bash

# Change the directories below. After doing so, delete the next two lines.
echo "Set directories before using!"
exit

SPIKE_HOME_DIR=/home/hawkinsw/code/riscv-testing/spike
SPIKE_INSTALL_DIR=/home/hawkinsw/code/riscv-support-install/spike

TOOLCHAIN_HOME_DIR=/home/hawkinsw/code/riscv-testing/toolchain
TOOLCHAIN_INSTALL_DIR=/home/hawkinsw/code/riscv-support-install/toolchain

PK_HOME_DIR=/home/hawkinsw/code/riscv-testing/pk
PK_INSTALL_DIR=/home/hawkinsw/code/riscv-support-install/pk

BINUTILS_HOME_DIR=/home/hawkinsw/code/riscv-testing/binutils
BINUTILS_INSTALL_DIR=/home/hawkinsw/code/riscv-support-install/binutils