platform='unknown'

unamestr=$(uname)

distribution='unknown'

release='unknown'

if [[ "${HAL_DOCKER:-0}" == "1" ]]; then

platform='docker'

distribution=$(lsb_release -is)

release=$(lsb_release -rs)

elif [[ "$unamestr" == 'Linux' ]]; then

platform='linux'

distribution=$(lsb_release -is)

release=$(lsb_release -rs)

elif [[ "$unamestr" == 'Darwin' ]]; then

platform='macOS'

major=${release%%.*}

if [[ "$platform" == 'macOS' ]]; then

echo "Executing brew bundle"

brew bundle

pip3 install -r requirements.txt

BREW_PREFIX=$(brew --prefix)

if [ -n "$($SHELL -c 'echo $ZSH_VERSION')" ]; then

grep -Fxq "export PATH=\"$BREW_PREFIX/opt/qt/bin:\$PATH\"" ~/.zshrc

if ! [[ $? -eq 0 ]]; then

echo "export PATH=\"$BREW_PREFIX/opt/qt/bin:\$PATH\"" >> ~/.zshrc

fi

grep -Fxq "export PATH=\"$BREW_PREFIX/opt/llvm/bin:\$PATH\"" ~/.zshrc

if ! [[ $? -eq 0 ]]; then

echo "export PATH=\"$BREW_PREFIX/opt/llvm/bin:\$PATH\"" >> ~/.zshrc

fi

grep -Fxq "export PATH=\"$BREW_PREFIX/opt/flex/bin:\$PATH\"" ~/.zshrc

if ! [[ $? -eq 0 ]]; then

echo "export PATH=\"$BREW_PREFIX/opt/flex/bin:\$PATH\"" >> ~/.zshrc

fi

grep -Fxq "export PATH=\"$BREW_PREFIX/opt/bison/bin:\$PATH\"" ~/.zshrc

if ! [[ $? -eq 0 ]]; then

echo "export PATH=\"$BREW_PREFIX/opt/bison/bin:\$PATH\"" >> ~/.zshrc

fi

source ~/.zshrc

elif [ -n "$($SHELL -c 'echo $BASH_VERSION')" ]; then

grep -Fxq "export PATH=\"$BREW_PREFIX/opt/qt/bin:\$PATH\"" ~/.bash_profile

if ! [[ $? -eq 0 ]]; then

echo "export PATH=\"$BREW_PREFIX/opt/qt/bin:\$PATH\"" >> ~/.bash_profile

fi

grep -Fxq "export PATH=\"$BREW_PREFIX/opt/llvm/bin:\$PATH\"" ~/.bash_profile

if ! [[ $? -eq 0 ]]; then

echo "export PATH=\"$BREW_PREFIX/opt/llvm/bin:\$PATH\"" >> ~/.bash_profile

fi

grep -Fxq "export PATH=\"$BREW_PREFIX/opt/flex/bin:\$PATH\"" ~/.bash_profile

if ! [[ $? -eq 0 ]]; then

echo "export PATH=\"$BREW_PREFIX/opt/flex/bin:\$PATH\"" >> ~/.bash_profile

fi

grep -Fxq "export PATH=\"$BREW_PREFIX/opt/bison/bin:\$PATH\"" ~/.bash_profile

if ! [[ $? -eq 0 ]]; then

echo "export PATH=\"$BREW_PREFIX/opt/bison/bin:\$PATH\"" >> ~/.bash_profile

fi

source ~/.bash_profile

else

echo "Unknown User Shell: abort!"

exit 255

fi

elif [[ "$platform" == 'linux' ]]; then

. /etc/os-release

if [ "$distribution" == 'Ubuntu' ] || [ "$distribution" == 'LinuxMint' ]; then

if [[ "$major" -le 22 ]]; then

additional_deps="libqt6core5compat6-dev libglu1-mesa-dev"

else

additional_deps="qt6-5compat-dev"

fi

sudo apt-get update && sudo apt-get install -y build-essential verilator \

lsb-release git cmake pkgconf libboost-all-dev qt6-base-dev \

libpython3-dev ccache autoconf autotools-dev libsodium-dev \

libqt6svg6-dev libqt6svg6* \

ninja-build lcov gcovr python3-sphinx \

doxygen python3-sphinx-rtd-theme python3-jedi python3-pip \

pybind11-dev python3-pybind11 rapidjson-dev libspdlog-dev libz3-dev z3 \

libreadline-dev apport python3-dateutil libgraphviz-dev libxcb-xkb-dev \

$additional_deps \

graphviz libomp-dev libsuitesparse-dev # For documentation

elif [[ "$distribution" == "Arch" ]]; then

yay -S --needed base-devel lsb-release git verilator cmake boost-libs pkgconf \

qt6-base python ccache autoconf libsodium qt6-svg ninja lcov \

gcovr python-sphinx doxygen python-sphinx_rtd_theme python-jedi \

python-pip pybind11 rapidjson spdlog graphviz boost \

python-dateutil z3

elif [[ "$ID" == 'rhel' ]]; then

RHEL_VERSION=`echo $VERSION_ID | cut -d. -f1`

echo "Running experimental setup for RedHat Enterprise Linux version $RHEL_VERSION <$VERSION_ID>."

read -p "Will try to install some development packages from Fedora Rawhide. Is this OK? [yN] " yn

if [ "$yn" != 'y' ] && [ "$yn" != 'Y' ]; then

echo "Aborted installation"

exit 255

fi

for pkg in pkgconfig git qtv llvm cmake flex bison python graphviz boost readline g++ make; do

sudo yum install -y $pkg

done

sudo yum install -y https://dl.fedoraproject.org/pub/epel/epel-release-latest-$RHEL_VERSION.noarch.rpm

sudo yum update -y

for pkg in boost-devel z3 rapidjson-devel qt6-qtbase-devel qt6-qtsvg-devel z3-devel python-devel verilator; do

sudo yum install -y $pkg

done

exit 255

else

echo "Unsupported Linux distribution: abort!"

exit 255

fi

elif [[ "$platform" == 'docker' ]]; then

# We can assume that we are in a ubuntu container, because of the official Dockerfile in the hal project

apt-get update && apt-get install -y build-essential verilator \

lsb-release git cmake pkgconf libboost-all-dev qt6-base-dev \

libpython3-dev ccache autoconf autotools-dev libsodium-dev \

libqt6svg6-dev libqt6svg6* libqt6core5compat6 qt6-5compat-dev \

ninja-build lcov gcovr python3-sphinx \

doxygen python3-sphinx-rtd-theme python3-jedi python3-pip \

pybind11-dev python3-pybind11 python3-dateutil rapidjson-dev \

libspdlog-dev libz3-dev libreadline-dev libxcb-xkb-dev libgraphviz-dev \

graphviz libomp-dev libsuitesparse-dev # For documentation