From fda847323f77d2095f405cbb2fce72f34e09d595 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Mon, 9 Jan 2023 12:50:19 +0100 Subject: [PATCH] update CI scripts --- .github/workflows/darwin-arm64.yml | 53 +++++++++++++++++++++++++---- .github/workflows/darwin-x64.yml | 53 +++++++++++++++++++++++++---- .github/workflows/linux-arm.yml | 53 +++++++++++++++++++++++++---- .github/workflows/linux-arm64.yml | 53 +++++++++++++++++++++++++---- .github/workflows/linux-riscv64.yml | 53 +++++++++++++++++++++++++---- .github/workflows/linux-x64.yml | 53 +++++++++++++++++++++++++---- .github/workflows/windows-x64.yml | 53 +++++++++++++++++++++++++---- 7 files changed, 329 insertions(+), 42 deletions(-) diff --git a/.github/workflows/darwin-arm64.yml b/.github/workflows/darwin-arm64.yml index 0e0362d..a8f19c6 100644 --- a/.github/workflows/darwin-arm64.yml +++ b/.github/workflows/darwin-arm64.yml @@ -998,9 +998,44 @@ jobs: tag: bucket-darwin-arm64 artifacts: "darwin-arm64-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} + darwin-arm64-libpoly: + runs-on: ubuntu-latest + continue-on-error: true + steps: + - uses: actions/checkout@v3 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v3 + with: + path: _sources + key: cache-sources-libpoly + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-libpoly.tgz" + if wget --spider "${URL}" 2>/dev/null; then + wget -qO- "${URL}" | tar xvfz - + else + echo "Previous version not found in bucket" + fi + - name: Build + run: ./builder.py build --arch=darwin-arm64 --target=libpoly --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('darwin-arm64-libpoly.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-darwin-arm64 + artifacts: "darwin-arm64-libpoly.tgz" + token: ${{ secrets.GITHUB_TOKEN }} darwin-arm64-cvc5: runs-on: ubuntu-latest continue-on-error: true + needs: [ darwin-arm64-cadical, darwin-arm64-libpoly ] steps: - uses: actions/checkout@v3 with: @@ -1019,6 +1054,12 @@ jobs: else echo "Previous version not found in bucket" fi + - name: Download darwin-arm64-cadical + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-cadical.tgz" | tar xvfz - + - name: Download darwin-arm64-libpoly + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-libpoly.tgz" | tar xvfz - + - name: Download linux-x64-symfpu + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=darwin-arm64 --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 @@ -1069,7 +1110,7 @@ jobs: darwin-arm64-smt-switch: runs-on: ubuntu-latest continue-on-error: true - needs: [ darwin-arm64-boolector, darwin-arm64-cvc4 ] + needs: [ darwin-arm64-boolector, darwin-arm64-cvc5 ] steps: - uses: actions/checkout@v3 with: @@ -1090,8 +1131,8 @@ jobs: fi - name: Download darwin-arm64-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-boolector.tgz" | tar xvfz - - - name: Download darwin-arm64-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-cvc4.tgz" | tar xvfz - + - name: Download darwin-arm64-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-cvc5.tgz" | tar xvfz - - name: Download linux-x64-bison run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-bison.tgz" | tar xvfz - - name: Build @@ -1110,7 +1151,7 @@ jobs: darwin-arm64-pono: runs-on: ubuntu-latest continue-on-error: true - needs: [ darwin-arm64-boolector, darwin-arm64-cvc4, darwin-arm64-smt-switch ] + needs: [ darwin-arm64-boolector, darwin-arm64-cvc5, darwin-arm64-smt-switch ] steps: - uses: actions/checkout@v3 with: @@ -1131,8 +1172,8 @@ jobs: fi - name: Download darwin-arm64-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-boolector.tgz" | tar xvfz - - - name: Download darwin-arm64-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-cvc4.tgz" | tar xvfz - + - name: Download darwin-arm64-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-cvc5.tgz" | tar xvfz - - name: Download darwin-arm64-smt-switch run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-smt-switch.tgz" | tar xvfz - - name: Build diff --git a/.github/workflows/darwin-x64.yml b/.github/workflows/darwin-x64.yml index 1bd0aa9..5ee4ff5 100644 --- a/.github/workflows/darwin-x64.yml +++ b/.github/workflows/darwin-x64.yml @@ -1071,9 +1071,44 @@ jobs: tag: bucket-darwin-x64 artifacts: "darwin-x64-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} + darwin-x64-libpoly: + runs-on: ubuntu-latest + continue-on-error: true + steps: + - uses: actions/checkout@v3 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v3 + with: + path: _sources + key: cache-sources-libpoly + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-libpoly.tgz" + if wget --spider "${URL}" 2>/dev/null; then + wget -qO- "${URL}" | tar xvfz - + else + echo "Previous version not found in bucket" + fi + - name: Build + run: ./builder.py build --arch=darwin-x64 --target=libpoly --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('darwin-x64-libpoly.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-darwin-x64 + artifacts: "darwin-x64-libpoly.tgz" + token: ${{ secrets.GITHUB_TOKEN }} darwin-x64-cvc5: runs-on: ubuntu-latest continue-on-error: true + needs: [ darwin-x64-cadical, darwin-x64-libpoly ] steps: - uses: actions/checkout@v3 with: @@ -1092,6 +1127,12 @@ jobs: else echo "Previous version not found in bucket" fi + - name: Download darwin-x64-cadical + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cadical.tgz" | tar xvfz - + - name: Download darwin-x64-libpoly + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-libpoly.tgz" | tar xvfz - + - name: Download linux-x64-symfpu + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=darwin-x64 --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 @@ -1142,7 +1183,7 @@ jobs: darwin-x64-smt-switch: runs-on: ubuntu-latest continue-on-error: true - needs: [ darwin-x64-boolector, darwin-x64-cvc4 ] + needs: [ darwin-x64-boolector, darwin-x64-cvc5 ] steps: - uses: actions/checkout@v3 with: @@ -1163,8 +1204,8 @@ jobs: fi - name: Download darwin-x64-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-boolector.tgz" | tar xvfz - - - name: Download darwin-x64-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cvc4.tgz" | tar xvfz - + - name: Download darwin-x64-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cvc5.tgz" | tar xvfz - - name: Download linux-x64-bison run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-bison.tgz" | tar xvfz - - name: Build @@ -1183,7 +1224,7 @@ jobs: darwin-x64-pono: runs-on: ubuntu-latest continue-on-error: true - needs: [ darwin-x64-boolector, darwin-x64-cvc4, darwin-x64-smt-switch ] + needs: [ darwin-x64-boolector, darwin-x64-cvc5, darwin-x64-smt-switch ] steps: - uses: actions/checkout@v3 with: @@ -1204,8 +1245,8 @@ jobs: fi - name: Download darwin-x64-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-boolector.tgz" | tar xvfz - - - name: Download darwin-x64-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cvc4.tgz" | tar xvfz - + - name: Download darwin-x64-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cvc5.tgz" | tar xvfz - - name: Download darwin-x64-smt-switch run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-smt-switch.tgz" | tar xvfz - - name: Build diff --git a/.github/workflows/linux-arm.yml b/.github/workflows/linux-arm.yml index 1972961..8854443 100644 --- a/.github/workflows/linux-arm.yml +++ b/.github/workflows/linux-arm.yml @@ -998,9 +998,44 @@ jobs: tag: bucket-linux-arm artifacts: "linux-arm-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} + linux-arm-libpoly: + runs-on: ubuntu-latest + continue-on-error: true + steps: + - uses: actions/checkout@v3 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v3 + with: + path: _sources + key: cache-sources-libpoly + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-libpoly.tgz" + if wget --spider "${URL}" 2>/dev/null; then + wget -qO- "${URL}" | tar xvfz - + else + echo "Previous version not found in bucket" + fi + - name: Build + run: ./builder.py build --arch=linux-arm --target=libpoly --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-arm-libpoly.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-arm + artifacts: "linux-arm-libpoly.tgz" + token: ${{ secrets.GITHUB_TOKEN }} linux-arm-cvc5: runs-on: ubuntu-latest continue-on-error: true + needs: [ linux-arm-cadical, linux-arm-libpoly ] steps: - uses: actions/checkout@v3 with: @@ -1019,6 +1054,12 @@ jobs: else echo "Previous version not found in bucket" fi + - name: Download linux-arm-cadical + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cadical.tgz" | tar xvfz - + - name: Download linux-arm-libpoly + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-libpoly.tgz" | tar xvfz - + - name: Download linux-x64-symfpu + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=linux-arm --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 @@ -1140,7 +1181,7 @@ jobs: linux-arm-smt-switch: runs-on: ubuntu-latest continue-on-error: true - needs: [ linux-arm-boolector, linux-arm-cvc4 ] + needs: [ linux-arm-boolector, linux-arm-cvc5 ] steps: - uses: actions/checkout@v3 with: @@ -1161,8 +1202,8 @@ jobs: fi - name: Download linux-arm-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-boolector.tgz" | tar xvfz - - - name: Download linux-arm-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cvc4.tgz" | tar xvfz - + - name: Download linux-arm-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cvc5.tgz" | tar xvfz - - name: Download linux-x64-bison run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-bison.tgz" | tar xvfz - - name: Build @@ -1181,7 +1222,7 @@ jobs: linux-arm-pono: runs-on: ubuntu-latest continue-on-error: true - needs: [ linux-arm-boolector, linux-arm-cvc4, linux-arm-smt-switch ] + needs: [ linux-arm-boolector, linux-arm-cvc5, linux-arm-smt-switch ] steps: - uses: actions/checkout@v3 with: @@ -1202,8 +1243,8 @@ jobs: fi - name: Download linux-arm-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-boolector.tgz" | tar xvfz - - - name: Download linux-arm-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cvc4.tgz" | tar xvfz - + - name: Download linux-arm-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cvc5.tgz" | tar xvfz - - name: Download linux-arm-smt-switch run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-smt-switch.tgz" | tar xvfz - - name: Build diff --git a/.github/workflows/linux-arm64.yml b/.github/workflows/linux-arm64.yml index 9e95a22..c5bbc6f 100644 --- a/.github/workflows/linux-arm64.yml +++ b/.github/workflows/linux-arm64.yml @@ -998,9 +998,44 @@ jobs: tag: bucket-linux-arm64 artifacts: "linux-arm64-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} + linux-arm64-libpoly: + runs-on: ubuntu-latest + continue-on-error: true + steps: + - uses: actions/checkout@v3 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v3 + with: + path: _sources + key: cache-sources-libpoly + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-libpoly.tgz" + if wget --spider "${URL}" 2>/dev/null; then + wget -qO- "${URL}" | tar xvfz - + else + echo "Previous version not found in bucket" + fi + - name: Build + run: ./builder.py build --arch=linux-arm64 --target=libpoly --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-arm64-libpoly.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-arm64 + artifacts: "linux-arm64-libpoly.tgz" + token: ${{ secrets.GITHUB_TOKEN }} linux-arm64-cvc5: runs-on: ubuntu-latest continue-on-error: true + needs: [ linux-arm64-cadical, linux-arm64-libpoly ] steps: - uses: actions/checkout@v3 with: @@ -1019,6 +1054,12 @@ jobs: else echo "Previous version not found in bucket" fi + - name: Download linux-arm64-cadical + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cadical.tgz" | tar xvfz - + - name: Download linux-arm64-libpoly + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-libpoly.tgz" | tar xvfz - + - name: Download linux-x64-symfpu + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=linux-arm64 --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 @@ -1140,7 +1181,7 @@ jobs: linux-arm64-smt-switch: runs-on: ubuntu-latest continue-on-error: true - needs: [ linux-arm64-boolector, linux-arm64-cvc4 ] + needs: [ linux-arm64-boolector, linux-arm64-cvc5 ] steps: - uses: actions/checkout@v3 with: @@ -1161,8 +1202,8 @@ jobs: fi - name: Download linux-arm64-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-boolector.tgz" | tar xvfz - - - name: Download linux-arm64-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cvc4.tgz" | tar xvfz - + - name: Download linux-arm64-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cvc5.tgz" | tar xvfz - - name: Download linux-x64-bison run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-bison.tgz" | tar xvfz - - name: Build @@ -1181,7 +1222,7 @@ jobs: linux-arm64-pono: runs-on: ubuntu-latest continue-on-error: true - needs: [ linux-arm64-boolector, linux-arm64-cvc4, linux-arm64-smt-switch ] + needs: [ linux-arm64-boolector, linux-arm64-cvc5, linux-arm64-smt-switch ] steps: - uses: actions/checkout@v3 with: @@ -1202,8 +1243,8 @@ jobs: fi - name: Download linux-arm64-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-boolector.tgz" | tar xvfz - - - name: Download linux-arm64-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cvc4.tgz" | tar xvfz - + - name: Download linux-arm64-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cvc5.tgz" | tar xvfz - - name: Download linux-arm64-smt-switch run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-smt-switch.tgz" | tar xvfz - - name: Build diff --git a/.github/workflows/linux-riscv64.yml b/.github/workflows/linux-riscv64.yml index 0ac19c1..cf57f93 100644 --- a/.github/workflows/linux-riscv64.yml +++ b/.github/workflows/linux-riscv64.yml @@ -998,9 +998,44 @@ jobs: tag: bucket-linux-riscv64 artifacts: "linux-riscv64-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} + linux-riscv64-libpoly: + runs-on: ubuntu-latest + continue-on-error: true + steps: + - uses: actions/checkout@v3 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v3 + with: + path: _sources + key: cache-sources-libpoly + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-libpoly.tgz" + if wget --spider "${URL}" 2>/dev/null; then + wget -qO- "${URL}" | tar xvfz - + else + echo "Previous version not found in bucket" + fi + - name: Build + run: ./builder.py build --arch=linux-riscv64 --target=libpoly --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-riscv64-libpoly.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-riscv64 + artifacts: "linux-riscv64-libpoly.tgz" + token: ${{ secrets.GITHUB_TOKEN }} linux-riscv64-cvc5: runs-on: ubuntu-latest continue-on-error: true + needs: [ linux-riscv64-cadical, linux-riscv64-libpoly ] steps: - uses: actions/checkout@v3 with: @@ -1019,6 +1054,12 @@ jobs: else echo "Previous version not found in bucket" fi + - name: Download linux-riscv64-cadical + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-cadical.tgz" | tar xvfz - + - name: Download linux-riscv64-libpoly + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-libpoly.tgz" | tar xvfz - + - name: Download linux-x64-symfpu + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=linux-riscv64 --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 @@ -1140,7 +1181,7 @@ jobs: linux-riscv64-smt-switch: runs-on: ubuntu-latest continue-on-error: true - needs: [ linux-riscv64-boolector, linux-riscv64-cvc4 ] + needs: [ linux-riscv64-boolector, linux-riscv64-cvc5 ] steps: - uses: actions/checkout@v3 with: @@ -1161,8 +1202,8 @@ jobs: fi - name: Download linux-riscv64-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-boolector.tgz" | tar xvfz - - - name: Download linux-riscv64-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-cvc4.tgz" | tar xvfz - + - name: Download linux-riscv64-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-cvc5.tgz" | tar xvfz - - name: Download linux-x64-bison run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-bison.tgz" | tar xvfz - - name: Build @@ -1181,7 +1222,7 @@ jobs: linux-riscv64-pono: runs-on: ubuntu-latest continue-on-error: true - needs: [ linux-riscv64-boolector, linux-riscv64-cvc4, linux-riscv64-smt-switch ] + needs: [ linux-riscv64-boolector, linux-riscv64-cvc5, linux-riscv64-smt-switch ] steps: - uses: actions/checkout@v3 with: @@ -1202,8 +1243,8 @@ jobs: fi - name: Download linux-riscv64-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-boolector.tgz" | tar xvfz - - - name: Download linux-riscv64-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-cvc4.tgz" | tar xvfz - + - name: Download linux-riscv64-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-cvc5.tgz" | tar xvfz - - name: Download linux-riscv64-smt-switch run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-smt-switch.tgz" | tar xvfz - - name: Build diff --git a/.github/workflows/linux-x64.yml b/.github/workflows/linux-x64.yml index 893b987..0fd0e85 100644 --- a/.github/workflows/linux-x64.yml +++ b/.github/workflows/linux-x64.yml @@ -1321,9 +1321,44 @@ jobs: tag: bucket-linux-x64 artifacts: "linux-x64-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} + linux-x64-libpoly: + runs-on: ubuntu-latest + continue-on-error: true + steps: + - uses: actions/checkout@v3 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v3 + with: + path: _sources + key: cache-sources-libpoly + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-libpoly.tgz" + if wget --spider "${URL}" 2>/dev/null; then + wget -qO- "${URL}" | tar xvfz - + else + echo "Previous version not found in bucket" + fi + - name: Build + run: ./builder.py build --arch=linux-x64 --target=libpoly --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-x64-libpoly.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-x64 + artifacts: "linux-x64-libpoly.tgz" + token: ${{ secrets.GITHUB_TOKEN }} linux-x64-cvc5: runs-on: ubuntu-latest continue-on-error: true + needs: [ linux-x64-cadical, linux-x64-libpoly, linux-x64-symfpu ] steps: - uses: actions/checkout@v3 with: @@ -1342,6 +1377,12 @@ jobs: else echo "Previous version not found in bucket" fi + - name: Download linux-x64-cadical + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-cadical.tgz" | tar xvfz - + - name: Download linux-x64-libpoly + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-libpoly.tgz" | tar xvfz - + - name: Download linux-x64-symfpu + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=linux-x64 --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 @@ -1497,7 +1538,7 @@ jobs: linux-x64-smt-switch: runs-on: ubuntu-latest continue-on-error: true - needs: [ linux-x64-bison, linux-x64-boolector, linux-x64-cvc4 ] + needs: [ linux-x64-bison, linux-x64-boolector, linux-x64-cvc5 ] steps: - uses: actions/checkout@v3 with: @@ -1520,8 +1561,8 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-bison.tgz" | tar xvfz - - name: Download linux-x64-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-boolector.tgz" | tar xvfz - - - name: Download linux-x64-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-cvc4.tgz" | tar xvfz - + - name: Download linux-x64-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-cvc5.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=linux-x64 --target=smt-switch --single --tar - uses: ncipollo/release-action@v1 @@ -1538,7 +1579,7 @@ jobs: linux-x64-pono: runs-on: ubuntu-latest continue-on-error: true - needs: [ linux-x64-boolector, linux-x64-cvc4, linux-x64-smt-switch ] + needs: [ linux-x64-boolector, linux-x64-cvc5, linux-x64-smt-switch ] steps: - uses: actions/checkout@v3 with: @@ -1559,8 +1600,8 @@ jobs: fi - name: Download linux-x64-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-boolector.tgz" | tar xvfz - - - name: Download linux-x64-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-cvc4.tgz" | tar xvfz - + - name: Download linux-x64-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-cvc5.tgz" | tar xvfz - - name: Download linux-x64-smt-switch run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-smt-switch.tgz" | tar xvfz - - name: Build diff --git a/.github/workflows/windows-x64.yml b/.github/workflows/windows-x64.yml index cc8e315..ac291f2 100644 --- a/.github/workflows/windows-x64.yml +++ b/.github/workflows/windows-x64.yml @@ -856,9 +856,44 @@ jobs: tag: bucket-windows-x64 artifacts: "windows-x64-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} + windows-x64-libpoly: + runs-on: ubuntu-latest + continue-on-error: true + steps: + - uses: actions/checkout@v3 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v3 + with: + path: _sources + key: cache-sources-libpoly + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-libpoly.tgz" + if wget --spider "${URL}" 2>/dev/null; then + wget -qO- "${URL}" | tar xvfz - + else + echo "Previous version not found in bucket" + fi + - name: Build + run: ./builder.py build --arch=windows-x64 --target=libpoly --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('windows-x64-libpoly.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-windows-x64 + artifacts: "windows-x64-libpoly.tgz" + token: ${{ secrets.GITHUB_TOKEN }} windows-x64-cvc5: runs-on: ubuntu-latest continue-on-error: true + needs: [ windows-x64-cadical, windows-x64-libpoly ] steps: - uses: actions/checkout@v3 with: @@ -877,6 +912,12 @@ jobs: else echo "Previous version not found in bucket" fi + - name: Download linux-x64-symfpu + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz - + - name: Download windows-x64-cadical + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-cadical.tgz" | tar xvfz - + - name: Download windows-x64-libpoly + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-libpoly.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=windows-x64 --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 @@ -927,7 +968,7 @@ jobs: windows-x64-smt-switch: runs-on: ubuntu-latest continue-on-error: true - needs: [ windows-x64-boolector, windows-x64-cvc4 ] + needs: [ windows-x64-boolector, windows-x64-cvc5 ] steps: - uses: actions/checkout@v3 with: @@ -950,8 +991,8 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-bison.tgz" | tar xvfz - - name: Download windows-x64-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-boolector.tgz" | tar xvfz - - - name: Download windows-x64-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-cvc4.tgz" | tar xvfz - + - name: Download windows-x64-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-cvc5.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=windows-x64 --target=smt-switch --single --tar - uses: ncipollo/release-action@v1 @@ -968,7 +1009,7 @@ jobs: windows-x64-pono: runs-on: ubuntu-latest continue-on-error: true - needs: [ windows-x64-boolector, windows-x64-cvc4, windows-x64-smt-switch ] + needs: [ windows-x64-boolector, windows-x64-cvc5, windows-x64-smt-switch ] steps: - uses: actions/checkout@v3 with: @@ -989,8 +1030,8 @@ jobs: fi - name: Download windows-x64-boolector run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-boolector.tgz" | tar xvfz - - - name: Download windows-x64-cvc4 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-cvc4.tgz" | tar xvfz - + - name: Download windows-x64-cvc5 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-cvc5.tgz" | tar xvfz - - name: Download windows-x64-smt-switch run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-smt-switch.tgz" | tar xvfz - - name: Build