setup.sh

#!/bin/bash

ARCHC_PREFIX=$1

if [ ! -d "$ARCHC_PREFIX" ]; then
    echo -ne "usage:\n"
    echo -ne "\t$0  /path/where/archc/was/installed/\n\n"
    exit 1
fi

if [ ! -f "$ARCHC_PREFIX/etc/env.sh" ]; then
    echo -ne "ERROR: Potential issues:\n"
    echo -ne "\t- ArchC not found in $ARCHC_PREFIX\n"
    echo -ne "\t- ArchC not installed properly\n"
    echo -ne "\t- You are using a old version of ArchC\n"
    exit 1
fi

echo -ne "--------------------------------------------------------------------------------------------\n"
if [ ! -f "$PWD/processors/mips/mips.ac" ]; then
    echo -ne "SETUP: Initiating the submodules...\n"
    git submodule update --init --recursive
fi

echo -ne "SETUP: Copying the Environment file from ArchC to MPSoCBench... \n"
cp $ARCHC_PREFIX/etc/env.sh .
echo -ne "SETUP: SUCCESSFUL!\n"

echo -ne "--------------------------------------------------------------------------------------------\n"
echo -ne "The new file called 'env.sh' will set the environment variables to MPSoCBench work properly.\n" 
echo -ne "So, whenever you are in a new terminal (bash), run:\n\n"
echo -ne "\tsource env.sh\n\n"
echo -ne "Or put the following command in your ~/.bashrc:\n\n" 
echo -ne "\t source $PWD/env.sh\n\n"