From c3887867a5d4415c7f52bd76d657ab46d79ad079 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sat, 14 Jan 2023 01:18:24 +0200 Subject: [PATCH] make build/build run make forbuild when necessary --- build/build | 20 +++++++++++++++++++- 1 file changed, 19 insertions(+), 1 deletion(-) diff --git a/build/build b/build/build index 984638b9..d83eea29 100755 --- a/build/build +++ b/build/build @@ -1,3 +1,21 @@ #!/usr/bin/env bash DIR="$(dirname $0)" -"$DIR/obj2/for_build" "$DIR/src/build.bqn" "$@" +PREV_BQN="$DIR/obj2/for_build" +if [ ! -f "$PREV_BQN" ]; then + TMP_BQN="$DIR/obj2/for_build_tmp" + if make forbuild OUTPUT="$TMP_BQN"; then + if [ "4" = "$("$TMP_BQN" -p "2+2")" ]; then + true + else + echo "bootstrap CBQN failed to return expected result; run 'make forbuild' with necessary configuration manually" + exit 1 + fi + else + echo "failed to build bootstrap CBQN; run 'make forbuild' with necessary configuration manually" + exit 1 + fi + + cp "$TMP_BQN" "$PREV_BQN" +fi + +"$PREV_BQN" "$DIR/src/build.bqn" "$@"