install-build-deps

#!/usr/bin/env bash
#
#   Install OS packages containing dependencies required to build K.
#
set -Eeuo pipefail

die() { local ec="$1"; shift; echo "ERROR: $@"; exit $ec; }

inst_Debian() {
    echo '===== Debian packages:'
    sudo apt-get install -q     \
        bison                   \
        build-essential         \
        clang-15                \
        cmake                   \
        curl                    \
        flex                    \
        g++                     \
        gcc                     \
        libboost-test-dev       \
        libfmt-dev              \
        libgmp-dev              \
        libjemalloc-dev         \
        libmpfr-dev             \
        libsecp256k1-dev        \
        libunwind-dev           \
        libyaml-dev             \
        libz3-dev               \
        lld-15                  \
        llvm-15-tools           \
        m4                      \
        maven                   \
        openjdk-17-jdk          \
        pkg-config              \
        python3                 \
        python3-dev             \
        xxd                     \
        z3                      \
        zlib1g-dev

    if stack --version >/dev/null 2>&1; then
        echo 'Using existing Haskell Stack installation.'
    else
        echo '===== Haskell Stack:'
        curl -sSL https://get.haskellstack.org/ | sh
    fi
}

inst_MacOS() {
    echo '===== Brew packages'
    brew install    \
        bison       \
        boost       \
        cmake       \
        flex        \
        fmt         \
        gcc         \
        gmp         \
        openjdk     \
        jemalloc    \
        libyaml     \
        llvm        \
        make        \
        maven       \
        mpfr        \
        pkg-config  \
        python      \
        secp256k1   \
        stack       \
        zlib        \
        z3
}

try() {
    local command="$1"; shift
    local platform="$1"; shift

    echo "===== Checking for $command for platform $platform"
    $command --version >/dev/null 2>&1 || return 1
    echo "----- Found platform $platform"
    inst_$platform
}

try apt-get Debian     && exit 0
try brew MacOS          && exit 0
die 1 'Cannot find known platform. Your system appears to be unsupported.'