diff options
| -rwxr-xr-x | build_simulator.sh | 30 |
1 files changed, 25 insertions, 5 deletions
diff --git a/build_simulator.sh b/build_simulator.sh index b232d48..7f6eb5f 100755 --- a/build_simulator.sh +++ b/build_simulator.sh @@ -1,8 +1,28 @@ -#!/bin/sh +#!/bin/bash +set -euo pipefail -set -e +# 1. Dependency Verification +# We use 'command -v' to check if cmake exists - POSIX standard (IEEE 1003.1) +if ! command -v cmake >/dev/null 2>&1; then + echo "Error: 'cmake' is not installed or not in your PATH." >&2 + echo "Please install CMake (https://cmake.org/download/) and try again." >&2 + exit 1 +fi + +# Default values : "${DOWNLOAD_GMP:=TRUE}" : "${ENABLE_RISCV_TESTS:=TRUE}" -cmake -S . -B build -DCMAKE_BUILD_TYPE=RelWithDebInfo -DDOWNLOAD_GMP="${DOWNLOAD_GMP}" -DENABLE_RISCV_TESTS="${ENABLE_RISCV_TESTS}" -jobs=$( (nproc || sysctl -n hw.ncpu || echo 2) 2>/dev/null) -cmake --build build -j${jobs} +: "${BUILD_TYPE:=RelWithDebInfo}" +: "${BUILD_DIR:=build}" + +# 2. Configuration +echo "Configuring build in '${BUILD_DIR}'..." +cmake -S . -B "${BUILD_DIR}" \ + -DCMAKE_BUILD_TYPE="${BUILD_TYPE}" \ + -DDOWNLOAD_GMP="${DOWNLOAD_GMP}" \ + -DENABLE_RISCV_TESTS="${ENABLE_RISCV_TESTS}" \ + "$@" + +# 3. Build +echo "Building project..." +cmake --build "${BUILD_DIR}" --parallel |