Your Name 01907e5fb6
Some checks failed
dropshell-build / build (push) Has been cancelled
'Generic Commit'
2025-05-31 20:59:59 +12:00

26 lines
734 B
Bash
Executable File

#!/bin/bash
set -euo pipefail
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
DROPSHELL_BUILD_DIR="${SCRIPT_DIR}/../dropshell-build/"
# make canonical path
DROPSHELL_BUILD_DIR=$(realpath "${DROPSHELL_BUILD_DIR}")
# make sure the build script exists
if [ ! -f "${DROPSHELL_BUILD_DIR}/dropshell-build" ]; then
echo "Error: dropshell-build not found"
exit 1
fi
if [ ! -f "${DROPSHELL_BUILD_DIR}/install_dropshell_build_requirements" ]; then
echo "Error: install_dropshell_build_requirements not found"
exit 1
fi
# install host dependencies
"${DROPSHELL_BUILD_DIR}/install_dropshell_build_requirements"
# run the build script
"${DROPSHELL_BUILD_DIR}/dropshell-build" "$@" "${SCRIPT_DIR}"