diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 227bf47e7..1d5030e50 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -36,13 +36,11 @@ jobs: - name: Install Dependencies run: | - sudo apt update - sudo apt install -y build-essential binutils-for-build texinfo bison flex zlib1g-dev libgmp-dev dejagnu libmpc-dev + ./install-dependencies.sh - name: Run Bash Script run: | - chmod +x ./build.sh - bash ./build.sh + ./build.sh - name: Upload artifact uses: actions/upload-artifact@v3 diff --git a/install-dependencies.sh b/install-dependencies.sh new file mode 100755 index 000000000..97085b1d5 --- /dev/null +++ b/install-dependencies.sh @@ -0,0 +1,10 @@ +#! /bin/bash +set -e # stop at first error +set -x # echo on + +echo "::group::Install Dependencies" +sudo apt update +sudo apt install -y build-essential binutils-for-build texinfo bison flex zlib1g-dev libgmp-dev dejagnu libmpc-dev +echo "::endgroup::" + +echo 'Success!'