diff --git a/.gitignore b/.gitignore index 3e3152a..be0f6d3 100644 --- a/.gitignore +++ b/.gitignore @@ -7,5 +7,4 @@ DOCS.md README.md ROADMAP.md setup -setup.sh setup-runfromdisk.sh diff --git a/setup.sh b/setup.sh new file mode 100644 index 0000000..e8ba4d9 --- /dev/null +++ b/setup.sh @@ -0,0 +1,16 @@ +#!/usr/bin/env bash +set -euo pipefail + +ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" +cd "$ROOT_DIR" + +CROSS_PREFIX="${CROSS:-}" + +echo "[setup] clean" +make clean + +echo "[setup] build" +make CROSS="$CROSS_PREFIX" + +echo "[setup] run" +make run CROSS="$CROSS_PREFIX"