From a0d7704eb96f2da96e46431e1a4e953b12450fbe Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Mon, 6 Jun 2022 16:13:34 +0200 Subject: [PATCH] Update for CI --- .github/workflows/darwin-x64.yml | 64 ++++++++++++++++---- .github/workflows/linux-arm.yml | 94 ++++++++++++++++++++--------- .github/workflows/linux-arm64.yml | 94 ++++++++++++++++++++--------- .github/workflows/linux-riscv64.yml | 94 ++++++++++++++++++++--------- .github/workflows/linux-x64.yml | 94 ++++++++++++++++++++--------- .github/workflows/windows-x64.yml | 64 ++++++++++++++++---- 6 files changed, 366 insertions(+), 138 deletions(-) diff --git a/.github/workflows/darwin-x64.yml b/.github/workflows/darwin-x64.yml index 582137b..1078de4 100644 --- a/.github/workflows/darwin-x64.yml +++ b/.github/workflows/darwin-x64.yml @@ -847,7 +847,7 @@ jobs: tag: bucket-darwin-x64 artifacts: "darwin-x64-boolector.tgz" token: ${{ secrets.GITHUB_TOKEN }} - darwin-x64-yices: + darwin-x64-cvc4: runs-on: ubuntu-latest continue-on-error: true steps: @@ -859,19 +859,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-yices + key: cache-sources-cvc4 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-yices.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cvc4.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=yices --single --tar + run: ./builder.py build --arch=darwin-x64 --target=cvc4 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('darwin-x64-yices.tgz') != '' + if: hashFiles('darwin-x64-cvc4.tgz') != '' with: allowUpdates: True prerelease: True @@ -879,9 +879,9 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-darwin-x64 - artifacts: "darwin-x64-yices.tgz" + artifacts: "darwin-x64-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} - darwin-x64-cvc4: + darwin-x64-cvc5: runs-on: ubuntu-latest continue-on-error: true steps: @@ -893,19 +893,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-cvc4 + key: cache-sources-cvc5 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cvc4.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cvc5.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=cvc4 --single --tar + run: ./builder.py build --arch=darwin-x64 --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('darwin-x64-cvc4.tgz') != '' + if: hashFiles('darwin-x64-cvc5.tgz') != '' with: allowUpdates: True prerelease: True @@ -913,7 +913,41 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-darwin-x64 - artifacts: "darwin-x64-cvc4.tgz" + artifacts: "darwin-x64-cvc5.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + darwin-x64-yices: + runs-on: ubuntu-latest + continue-on-error: true + steps: + - uses: actions/checkout@v2 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v2 + with: + path: _sources + key: cache-sources-yices + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-yices.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=yices --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('darwin-x64-yices.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-darwin-x64 + artifacts: "darwin-x64-yices.tgz" token: ${{ secrets.GITHUB_TOKEN }} darwin-x64-smt-switch: runs-on: ubuntu-latest @@ -1589,7 +1623,7 @@ jobs: token: ${{ secrets.GITHUB_TOKEN }} darwin-x64-default: runs-on: ubuntu-latest - needs: [ darwin-x64-aiger, darwin-x64-avy, darwin-x64-bitwuzla, darwin-x64-boolector, darwin-x64-cocotb, darwin-x64-dfu-util, darwin-x64-ecpdap, darwin-x64-ecpprog, darwin-x64-flask, darwin-x64-fujprog, darwin-x64-graphviz, darwin-x64-gtkwave, darwin-x64-icesprog, darwin-x64-icestorm, darwin-x64-iverilog, darwin-x64-mcy, darwin-x64-nextpnr-ecp5, darwin-x64-nextpnr-generic, darwin-x64-nextpnr-ice40, darwin-x64-nextpnr-machxo2, darwin-x64-nextpnr-nexus, darwin-x64-openfpgaloader, darwin-x64-openocd, darwin-x64-pono, darwin-x64-prjoxide, darwin-x64-prjtrellis, darwin-x64-pyhdl, darwin-x64-python-programmers, darwin-x64-python3, darwin-x64-sby, darwin-x64-sby-gui, darwin-x64-system-resources, darwin-x64-utils, darwin-x64-verilator, darwin-x64-xdot, darwin-x64-yices, darwin-x64-yosys, darwin-x64-z3 ] + needs: [ darwin-x64-aiger, darwin-x64-avy, darwin-x64-bitwuzla, darwin-x64-boolector, darwin-x64-cocotb, darwin-x64-cvc4, darwin-x64-cvc5, darwin-x64-dfu-util, darwin-x64-ecpdap, darwin-x64-ecpprog, darwin-x64-flask, darwin-x64-fujprog, darwin-x64-graphviz, darwin-x64-gtkwave, darwin-x64-icesprog, darwin-x64-icestorm, darwin-x64-iverilog, darwin-x64-mcy, darwin-x64-nextpnr-ecp5, darwin-x64-nextpnr-generic, darwin-x64-nextpnr-ice40, darwin-x64-nextpnr-machxo2, darwin-x64-nextpnr-nexus, darwin-x64-openfpgaloader, darwin-x64-openocd, darwin-x64-pono, darwin-x64-prjoxide, darwin-x64-prjtrellis, darwin-x64-pyhdl, darwin-x64-python-programmers, darwin-x64-python3, darwin-x64-sby, darwin-x64-sby-gui, darwin-x64-system-resources, darwin-x64-utils, darwin-x64-verilator, darwin-x64-xdot, darwin-x64-yices, darwin-x64-yosys, darwin-x64-z3 ] steps: - name: Get current date id: date @@ -1607,6 +1641,10 @@ jobs: 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-cocotb run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cocotb.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-dfu-util run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-dfu-util.tgz" | tar xvfz - - name: Download darwin-x64-ecpdap diff --git a/.github/workflows/linux-arm.yml b/.github/workflows/linux-arm.yml index 05a8db8..751f826 100644 --- a/.github/workflows/linux-arm.yml +++ b/.github/workflows/linux-arm.yml @@ -847,7 +847,7 @@ jobs: tag: bucket-linux-arm artifacts: "linux-arm-boolector.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-arm-yices: + linux-arm-cvc4: runs-on: ubuntu-latest continue-on-error: true steps: @@ -859,19 +859,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-yices + key: cache-sources-cvc4 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-yices.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cvc4.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=yices --single --tar + run: ./builder.py build --arch=linux-arm --target=cvc4 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-arm-yices.tgz') != '' + if: hashFiles('linux-arm-cvc4.tgz') != '' with: allowUpdates: True prerelease: True @@ -879,9 +879,9 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-arm - artifacts: "linux-arm-yices.tgz" + artifacts: "linux-arm-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-arm-python2: + linux-arm-cvc5: runs-on: ubuntu-latest continue-on-error: true steps: @@ -893,19 +893,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-python2 + key: cache-sources-cvc5 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-python2.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cvc5.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=python2 --single --tar + run: ./builder.py build --arch=linux-arm --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-arm-python2.tgz') != '' + if: hashFiles('linux-arm-cvc5.tgz') != '' with: allowUpdates: True prerelease: True @@ -913,12 +913,11 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-arm - artifacts: "linux-arm-python2.tgz" + artifacts: "linux-arm-cvc5.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-arm-suprove: + linux-arm-yices: runs-on: ubuntu-latest continue-on-error: true - needs: linux-arm-python2 steps: - uses: actions/checkout@v2 with: @@ -928,21 +927,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-suprove + key: cache-sources-yices - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-suprove.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-yices.tgz" if wget --spider "${URL}" 2>/dev/null; then wget -qO- "${URL}" | tar xvfz - else echo "Previous version not found in bucket" fi - - name: Download linux-arm-python2 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-python2.tgz" | tar xvfz - - name: Build - run: ./builder.py build --arch=linux-arm --target=suprove --single --tar + run: ./builder.py build --arch=linux-arm --target=yices --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-arm-suprove.tgz') != '' + if: hashFiles('linux-arm-yices.tgz') != '' with: allowUpdates: True prerelease: True @@ -950,9 +947,9 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-arm - artifacts: "linux-arm-suprove.tgz" + artifacts: "linux-arm-yices.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-arm-cvc4: + linux-arm-python2: runs-on: ubuntu-latest continue-on-error: true steps: @@ -964,19 +961,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-cvc4 + key: cache-sources-python2 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cvc4.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-python2.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=cvc4 --single --tar + run: ./builder.py build --arch=linux-arm --target=python2 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-arm-cvc4.tgz') != '' + if: hashFiles('linux-arm-python2.tgz') != '' with: allowUpdates: True prerelease: True @@ -984,7 +981,44 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-arm - artifacts: "linux-arm-cvc4.tgz" + artifacts: "linux-arm-python2.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + linux-arm-suprove: + runs-on: ubuntu-latest + continue-on-error: true + needs: linux-arm-python2 + steps: + - uses: actions/checkout@v2 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v2 + with: + path: _sources + key: cache-sources-suprove + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-suprove.tgz" + if wget --spider "${URL}" 2>/dev/null; then + wget -qO- "${URL}" | tar xvfz - + else + echo "Previous version not found in bucket" + fi + - name: Download linux-arm-python2 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-python2.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-arm --target=suprove --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-arm-suprove.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-arm + artifacts: "linux-arm-suprove.tgz" token: ${{ secrets.GITHUB_TOKEN }} linux-arm-smt-switch: runs-on: ubuntu-latest @@ -1660,7 +1694,7 @@ jobs: token: ${{ secrets.GITHUB_TOKEN }} linux-arm-default: runs-on: ubuntu-latest - needs: [ linux-arm-aiger, linux-arm-avy, linux-arm-bitwuzla, linux-arm-boolector, linux-arm-cocotb, linux-arm-dfu-util, linux-arm-ecpdap, linux-arm-ecpprog, linux-arm-flask, linux-arm-fujprog, linux-arm-graphviz, linux-arm-gtkwave, linux-arm-icesprog, linux-arm-icestorm, linux-arm-iverilog, linux-arm-mcy, linux-arm-nextpnr-ecp5, linux-arm-nextpnr-generic, linux-arm-nextpnr-ice40, linux-arm-nextpnr-machxo2, linux-arm-nextpnr-nexus, linux-arm-openfpgaloader, linux-arm-openocd, linux-arm-pono, linux-arm-prjoxide, linux-arm-prjtrellis, linux-arm-pyhdl, linux-arm-python-programmers, linux-arm-python2, linux-arm-python3, linux-arm-sby, linux-arm-sby-gui, linux-arm-suprove, linux-arm-system-resources, linux-arm-utils, linux-arm-verilator, linux-arm-xdot, linux-arm-yices, linux-arm-yosys, linux-arm-z3 ] + needs: [ linux-arm-aiger, linux-arm-avy, linux-arm-bitwuzla, linux-arm-boolector, linux-arm-cocotb, linux-arm-cvc4, linux-arm-cvc5, linux-arm-dfu-util, linux-arm-ecpdap, linux-arm-ecpprog, linux-arm-flask, linux-arm-fujprog, linux-arm-graphviz, linux-arm-gtkwave, linux-arm-icesprog, linux-arm-icestorm, linux-arm-iverilog, linux-arm-mcy, linux-arm-nextpnr-ecp5, linux-arm-nextpnr-generic, linux-arm-nextpnr-ice40, linux-arm-nextpnr-machxo2, linux-arm-nextpnr-nexus, linux-arm-openfpgaloader, linux-arm-openocd, linux-arm-pono, linux-arm-prjoxide, linux-arm-prjtrellis, linux-arm-pyhdl, linux-arm-python-programmers, linux-arm-python2, linux-arm-python3, linux-arm-sby, linux-arm-sby-gui, linux-arm-suprove, linux-arm-system-resources, linux-arm-utils, linux-arm-verilator, linux-arm-xdot, linux-arm-yices, linux-arm-yosys, linux-arm-z3 ] steps: - name: Get current date id: date @@ -1678,6 +1712,10 @@ jobs: 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-cocotb run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cocotb.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-dfu-util run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-dfu-util.tgz" | tar xvfz - - name: Download linux-arm-ecpdap diff --git a/.github/workflows/linux-arm64.yml b/.github/workflows/linux-arm64.yml index b7c3ef2..60a4786 100644 --- a/.github/workflows/linux-arm64.yml +++ b/.github/workflows/linux-arm64.yml @@ -847,7 +847,7 @@ jobs: tag: bucket-linux-arm64 artifacts: "linux-arm64-boolector.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-arm64-yices: + linux-arm64-cvc4: runs-on: ubuntu-latest continue-on-error: true steps: @@ -859,19 +859,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-yices + key: cache-sources-cvc4 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-yices.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cvc4.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=yices --single --tar + run: ./builder.py build --arch=linux-arm64 --target=cvc4 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-arm64-yices.tgz') != '' + if: hashFiles('linux-arm64-cvc4.tgz') != '' with: allowUpdates: True prerelease: True @@ -879,9 +879,9 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-arm64 - artifacts: "linux-arm64-yices.tgz" + artifacts: "linux-arm64-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-arm64-python2: + linux-arm64-cvc5: runs-on: ubuntu-latest continue-on-error: true steps: @@ -893,19 +893,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-python2 + key: cache-sources-cvc5 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-python2.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cvc5.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=python2 --single --tar + run: ./builder.py build --arch=linux-arm64 --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-arm64-python2.tgz') != '' + if: hashFiles('linux-arm64-cvc5.tgz') != '' with: allowUpdates: True prerelease: True @@ -913,12 +913,11 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-arm64 - artifacts: "linux-arm64-python2.tgz" + artifacts: "linux-arm64-cvc5.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-arm64-suprove: + linux-arm64-yices: runs-on: ubuntu-latest continue-on-error: true - needs: linux-arm64-python2 steps: - uses: actions/checkout@v2 with: @@ -928,21 +927,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-suprove + key: cache-sources-yices - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-suprove.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-yices.tgz" if wget --spider "${URL}" 2>/dev/null; then wget -qO- "${URL}" | tar xvfz - else echo "Previous version not found in bucket" fi - - name: Download linux-arm64-python2 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-python2.tgz" | tar xvfz - - name: Build - run: ./builder.py build --arch=linux-arm64 --target=suprove --single --tar + run: ./builder.py build --arch=linux-arm64 --target=yices --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-arm64-suprove.tgz') != '' + if: hashFiles('linux-arm64-yices.tgz') != '' with: allowUpdates: True prerelease: True @@ -950,9 +947,9 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-arm64 - artifacts: "linux-arm64-suprove.tgz" + artifacts: "linux-arm64-yices.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-arm64-cvc4: + linux-arm64-python2: runs-on: ubuntu-latest continue-on-error: true steps: @@ -964,19 +961,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-cvc4 + key: cache-sources-python2 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cvc4.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-python2.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=cvc4 --single --tar + run: ./builder.py build --arch=linux-arm64 --target=python2 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-arm64-cvc4.tgz') != '' + if: hashFiles('linux-arm64-python2.tgz') != '' with: allowUpdates: True prerelease: True @@ -984,7 +981,44 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-arm64 - artifacts: "linux-arm64-cvc4.tgz" + artifacts: "linux-arm64-python2.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + linux-arm64-suprove: + runs-on: ubuntu-latest + continue-on-error: true + needs: linux-arm64-python2 + steps: + - uses: actions/checkout@v2 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v2 + with: + path: _sources + key: cache-sources-suprove + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-suprove.tgz" + if wget --spider "${URL}" 2>/dev/null; then + wget -qO- "${URL}" | tar xvfz - + else + echo "Previous version not found in bucket" + fi + - name: Download linux-arm64-python2 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-python2.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-arm64 --target=suprove --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-arm64-suprove.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-arm64 + artifacts: "linux-arm64-suprove.tgz" token: ${{ secrets.GITHUB_TOKEN }} linux-arm64-smt-switch: runs-on: ubuntu-latest @@ -1660,7 +1694,7 @@ jobs: token: ${{ secrets.GITHUB_TOKEN }} linux-arm64-default: runs-on: ubuntu-latest - needs: [ linux-arm64-aiger, linux-arm64-avy, linux-arm64-bitwuzla, linux-arm64-boolector, linux-arm64-cocotb, linux-arm64-dfu-util, linux-arm64-ecpdap, linux-arm64-ecpprog, linux-arm64-flask, linux-arm64-fujprog, linux-arm64-graphviz, linux-arm64-gtkwave, linux-arm64-icesprog, linux-arm64-icestorm, linux-arm64-iverilog, linux-arm64-mcy, linux-arm64-nextpnr-ecp5, linux-arm64-nextpnr-generic, linux-arm64-nextpnr-ice40, linux-arm64-nextpnr-machxo2, linux-arm64-nextpnr-nexus, linux-arm64-openfpgaloader, linux-arm64-openocd, linux-arm64-pono, linux-arm64-prjoxide, linux-arm64-prjtrellis, linux-arm64-pyhdl, linux-arm64-python-programmers, linux-arm64-python2, linux-arm64-python3, linux-arm64-sby, linux-arm64-sby-gui, linux-arm64-suprove, linux-arm64-system-resources, linux-arm64-utils, linux-arm64-verilator, linux-arm64-xdot, linux-arm64-yices, linux-arm64-yosys, linux-arm64-z3 ] + needs: [ linux-arm64-aiger, linux-arm64-avy, linux-arm64-bitwuzla, linux-arm64-boolector, linux-arm64-cocotb, linux-arm64-cvc4, linux-arm64-cvc5, linux-arm64-dfu-util, linux-arm64-ecpdap, linux-arm64-ecpprog, linux-arm64-flask, linux-arm64-fujprog, linux-arm64-graphviz, linux-arm64-gtkwave, linux-arm64-icesprog, linux-arm64-icestorm, linux-arm64-iverilog, linux-arm64-mcy, linux-arm64-nextpnr-ecp5, linux-arm64-nextpnr-generic, linux-arm64-nextpnr-ice40, linux-arm64-nextpnr-machxo2, linux-arm64-nextpnr-nexus, linux-arm64-openfpgaloader, linux-arm64-openocd, linux-arm64-pono, linux-arm64-prjoxide, linux-arm64-prjtrellis, linux-arm64-pyhdl, linux-arm64-python-programmers, linux-arm64-python2, linux-arm64-python3, linux-arm64-sby, linux-arm64-sby-gui, linux-arm64-suprove, linux-arm64-system-resources, linux-arm64-utils, linux-arm64-verilator, linux-arm64-xdot, linux-arm64-yices, linux-arm64-yosys, linux-arm64-z3 ] steps: - name: Get current date id: date @@ -1678,6 +1712,10 @@ jobs: 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-cocotb run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cocotb.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-dfu-util run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-dfu-util.tgz" | tar xvfz - - name: Download linux-arm64-ecpdap diff --git a/.github/workflows/linux-riscv64.yml b/.github/workflows/linux-riscv64.yml index 6266b62..eaea91a 100644 --- a/.github/workflows/linux-riscv64.yml +++ b/.github/workflows/linux-riscv64.yml @@ -847,7 +847,7 @@ jobs: tag: bucket-linux-riscv64 artifacts: "linux-riscv64-boolector.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-riscv64-yices: + linux-riscv64-cvc4: runs-on: ubuntu-latest continue-on-error: true steps: @@ -859,19 +859,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-yices + key: cache-sources-cvc4 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-yices.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-cvc4.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=yices --single --tar + run: ./builder.py build --arch=linux-riscv64 --target=cvc4 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-riscv64-yices.tgz') != '' + if: hashFiles('linux-riscv64-cvc4.tgz') != '' with: allowUpdates: True prerelease: True @@ -879,9 +879,9 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-riscv64 - artifacts: "linux-riscv64-yices.tgz" + artifacts: "linux-riscv64-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-riscv64-python2: + linux-riscv64-cvc5: runs-on: ubuntu-latest continue-on-error: true steps: @@ -893,19 +893,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-python2 + key: cache-sources-cvc5 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-python2.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-cvc5.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=python2 --single --tar + run: ./builder.py build --arch=linux-riscv64 --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-riscv64-python2.tgz') != '' + if: hashFiles('linux-riscv64-cvc5.tgz') != '' with: allowUpdates: True prerelease: True @@ -913,12 +913,11 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-riscv64 - artifacts: "linux-riscv64-python2.tgz" + artifacts: "linux-riscv64-cvc5.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-riscv64-suprove: + linux-riscv64-yices: runs-on: ubuntu-latest continue-on-error: true - needs: linux-riscv64-python2 steps: - uses: actions/checkout@v2 with: @@ -928,21 +927,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-suprove + key: cache-sources-yices - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-suprove.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-yices.tgz" if wget --spider "${URL}" 2>/dev/null; then wget -qO- "${URL}" | tar xvfz - else echo "Previous version not found in bucket" fi - - name: Download linux-riscv64-python2 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-python2.tgz" | tar xvfz - - name: Build - run: ./builder.py build --arch=linux-riscv64 --target=suprove --single --tar + run: ./builder.py build --arch=linux-riscv64 --target=yices --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-riscv64-suprove.tgz') != '' + if: hashFiles('linux-riscv64-yices.tgz') != '' with: allowUpdates: True prerelease: True @@ -950,9 +947,9 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-riscv64 - artifacts: "linux-riscv64-suprove.tgz" + artifacts: "linux-riscv64-yices.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-riscv64-cvc4: + linux-riscv64-python2: runs-on: ubuntu-latest continue-on-error: true steps: @@ -964,19 +961,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-cvc4 + key: cache-sources-python2 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-cvc4.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-python2.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=cvc4 --single --tar + run: ./builder.py build --arch=linux-riscv64 --target=python2 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-riscv64-cvc4.tgz') != '' + if: hashFiles('linux-riscv64-python2.tgz') != '' with: allowUpdates: True prerelease: True @@ -984,7 +981,44 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-riscv64 - artifacts: "linux-riscv64-cvc4.tgz" + artifacts: "linux-riscv64-python2.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + linux-riscv64-suprove: + runs-on: ubuntu-latest + continue-on-error: true + needs: linux-riscv64-python2 + steps: + - uses: actions/checkout@v2 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v2 + with: + path: _sources + key: cache-sources-suprove + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-suprove.tgz" + if wget --spider "${URL}" 2>/dev/null; then + wget -qO- "${URL}" | tar xvfz - + else + echo "Previous version not found in bucket" + fi + - name: Download linux-riscv64-python2 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-python2.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-riscv64 --target=suprove --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-riscv64-suprove.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-riscv64 + artifacts: "linux-riscv64-suprove.tgz" token: ${{ secrets.GITHUB_TOKEN }} linux-riscv64-smt-switch: runs-on: ubuntu-latest @@ -1660,7 +1694,7 @@ jobs: token: ${{ secrets.GITHUB_TOKEN }} linux-riscv64-default: runs-on: ubuntu-latest - needs: [ linux-riscv64-aiger, linux-riscv64-avy, linux-riscv64-bitwuzla, linux-riscv64-boolector, linux-riscv64-cocotb, linux-riscv64-dfu-util, linux-riscv64-ecpdap, linux-riscv64-ecpprog, linux-riscv64-flask, linux-riscv64-fujprog, linux-riscv64-graphviz, linux-riscv64-gtkwave, linux-riscv64-icesprog, linux-riscv64-icestorm, linux-riscv64-iverilog, linux-riscv64-mcy, linux-riscv64-nextpnr-ecp5, linux-riscv64-nextpnr-generic, linux-riscv64-nextpnr-ice40, linux-riscv64-nextpnr-machxo2, linux-riscv64-nextpnr-nexus, linux-riscv64-openfpgaloader, linux-riscv64-openocd, linux-riscv64-pono, linux-riscv64-prjoxide, linux-riscv64-prjtrellis, linux-riscv64-pyhdl, linux-riscv64-python-programmers, linux-riscv64-python2, linux-riscv64-python3, linux-riscv64-sby, linux-riscv64-sby-gui, linux-riscv64-suprove, linux-riscv64-system-resources, linux-riscv64-utils, linux-riscv64-verilator, linux-riscv64-xdot, linux-riscv64-yices, linux-riscv64-yosys, linux-riscv64-z3 ] + needs: [ linux-riscv64-aiger, linux-riscv64-avy, linux-riscv64-bitwuzla, linux-riscv64-boolector, linux-riscv64-cocotb, linux-riscv64-cvc4, linux-riscv64-cvc5, linux-riscv64-dfu-util, linux-riscv64-ecpdap, linux-riscv64-ecpprog, linux-riscv64-flask, linux-riscv64-fujprog, linux-riscv64-graphviz, linux-riscv64-gtkwave, linux-riscv64-icesprog, linux-riscv64-icestorm, linux-riscv64-iverilog, linux-riscv64-mcy, linux-riscv64-nextpnr-ecp5, linux-riscv64-nextpnr-generic, linux-riscv64-nextpnr-ice40, linux-riscv64-nextpnr-machxo2, linux-riscv64-nextpnr-nexus, linux-riscv64-openfpgaloader, linux-riscv64-openocd, linux-riscv64-pono, linux-riscv64-prjoxide, linux-riscv64-prjtrellis, linux-riscv64-pyhdl, linux-riscv64-python-programmers, linux-riscv64-python2, linux-riscv64-python3, linux-riscv64-sby, linux-riscv64-sby-gui, linux-riscv64-suprove, linux-riscv64-system-resources, linux-riscv64-utils, linux-riscv64-verilator, linux-riscv64-xdot, linux-riscv64-yices, linux-riscv64-yosys, linux-riscv64-z3 ] steps: - name: Get current date id: date @@ -1678,6 +1712,10 @@ jobs: 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-cocotb run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-cocotb.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-dfu-util run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-dfu-util.tgz" | tar xvfz - - name: Download linux-riscv64-ecpdap diff --git a/.github/workflows/linux-x64.yml b/.github/workflows/linux-x64.yml index 70454e1..5def69d 100644 --- a/.github/workflows/linux-x64.yml +++ b/.github/workflows/linux-x64.yml @@ -1129,7 +1129,7 @@ jobs: tag: bucket-linux-x64 artifacts: "linux-x64-boolector.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-x64-yices: + linux-x64-cvc4: runs-on: ubuntu-latest continue-on-error: true steps: @@ -1141,19 +1141,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-yices + key: cache-sources-cvc4 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-yices.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-cvc4.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=yices --single --tar + run: ./builder.py build --arch=linux-x64 --target=cvc4 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-x64-yices.tgz') != '' + if: hashFiles('linux-x64-cvc4.tgz') != '' with: allowUpdates: True prerelease: True @@ -1161,9 +1161,9 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-x64 - artifacts: "linux-x64-yices.tgz" + artifacts: "linux-x64-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-x64-python2: + linux-x64-cvc5: runs-on: ubuntu-latest continue-on-error: true steps: @@ -1175,19 +1175,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-python2 + key: cache-sources-cvc5 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-python2.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-cvc5.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=python2 --single --tar + run: ./builder.py build --arch=linux-x64 --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-x64-python2.tgz') != '' + if: hashFiles('linux-x64-cvc5.tgz') != '' with: allowUpdates: True prerelease: True @@ -1195,12 +1195,11 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-x64 - artifacts: "linux-x64-python2.tgz" + artifacts: "linux-x64-cvc5.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-x64-suprove: + linux-x64-yices: runs-on: ubuntu-latest continue-on-error: true - needs: linux-x64-python2 steps: - uses: actions/checkout@v2 with: @@ -1210,21 +1209,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-suprove + key: cache-sources-yices - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-suprove.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-yices.tgz" if wget --spider "${URL}" 2>/dev/null; then wget -qO- "${URL}" | tar xvfz - else echo "Previous version not found in bucket" fi - - name: Download linux-x64-python2 - run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-python2.tgz" | tar xvfz - - name: Build - run: ./builder.py build --arch=linux-x64 --target=suprove --single --tar + run: ./builder.py build --arch=linux-x64 --target=yices --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-x64-suprove.tgz') != '' + if: hashFiles('linux-x64-yices.tgz') != '' with: allowUpdates: True prerelease: True @@ -1232,9 +1229,9 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-x64 - artifacts: "linux-x64-suprove.tgz" + artifacts: "linux-x64-yices.tgz" token: ${{ secrets.GITHUB_TOKEN }} - linux-x64-cvc4: + linux-x64-python2: runs-on: ubuntu-latest continue-on-error: true steps: @@ -1246,19 +1243,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-cvc4 + key: cache-sources-python2 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-cvc4.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-python2.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=cvc4 --single --tar + run: ./builder.py build --arch=linux-x64 --target=python2 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('linux-x64-cvc4.tgz') != '' + if: hashFiles('linux-x64-python2.tgz') != '' with: allowUpdates: True prerelease: True @@ -1266,7 +1263,44 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-linux-x64 - artifacts: "linux-x64-cvc4.tgz" + artifacts: "linux-x64-python2.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + linux-x64-suprove: + runs-on: ubuntu-latest + continue-on-error: true + needs: linux-x64-python2 + steps: + - uses: actions/checkout@v2 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v2 + with: + path: _sources + key: cache-sources-suprove + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-suprove.tgz" + if wget --spider "${URL}" 2>/dev/null; then + wget -qO- "${URL}" | tar xvfz - + else + echo "Previous version not found in bucket" + fi + - name: Download linux-x64-python2 + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-python2.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-x64 --target=suprove --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-x64-suprove.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-x64 + artifacts: "linux-x64-suprove.tgz" token: ${{ secrets.GITHUB_TOKEN }} linux-x64-bison: runs-on: ubuntu-latest @@ -1976,7 +2010,7 @@ jobs: token: ${{ secrets.GITHUB_TOKEN }} linux-x64-default: runs-on: ubuntu-latest - needs: [ linux-x64-aiger, linux-x64-avy, linux-x64-bitwuzla, linux-x64-boolector, linux-x64-cocotb, linux-x64-dfu-util, linux-x64-ecpdap, linux-x64-ecpprog, linux-x64-flask, linux-x64-fujprog, linux-x64-ghdl, linux-x64-ghdl-yosys-plugin, linux-x64-graphviz, linux-x64-gtkwave, linux-x64-icesprog, linux-x64-icestorm, linux-x64-iverilog, linux-x64-mcy, linux-x64-nextpnr-ecp5, linux-x64-nextpnr-generic, linux-x64-nextpnr-ice40, linux-x64-nextpnr-machxo2, linux-x64-nextpnr-nexus, linux-x64-openfpgaloader, linux-x64-openocd, linux-x64-pono, linux-x64-prjoxide, linux-x64-prjtrellis, linux-x64-pyhdl, linux-x64-python-programmers, linux-x64-python2, linux-x64-python3, linux-x64-sby, linux-x64-sby-gui, linux-x64-suprove, linux-x64-system-resources, linux-x64-utils, linux-x64-verilator, linux-x64-xdot, linux-x64-yices, linux-x64-yosys, linux-x64-z3 ] + needs: [ linux-x64-aiger, linux-x64-avy, linux-x64-bitwuzla, linux-x64-boolector, linux-x64-cocotb, linux-x64-cvc4, linux-x64-cvc5, linux-x64-dfu-util, linux-x64-ecpdap, linux-x64-ecpprog, linux-x64-flask, linux-x64-fujprog, linux-x64-ghdl, linux-x64-ghdl-yosys-plugin, linux-x64-graphviz, linux-x64-gtkwave, linux-x64-icesprog, linux-x64-icestorm, linux-x64-iverilog, linux-x64-mcy, linux-x64-nextpnr-ecp5, linux-x64-nextpnr-generic, linux-x64-nextpnr-ice40, linux-x64-nextpnr-machxo2, linux-x64-nextpnr-nexus, linux-x64-openfpgaloader, linux-x64-openocd, linux-x64-pono, linux-x64-prjoxide, linux-x64-prjtrellis, linux-x64-pyhdl, linux-x64-python-programmers, linux-x64-python2, linux-x64-python3, linux-x64-sby, linux-x64-sby-gui, linux-x64-suprove, linux-x64-system-resources, linux-x64-utils, linux-x64-verilator, linux-x64-xdot, linux-x64-yices, linux-x64-yosys, linux-x64-z3 ] steps: - name: Get current date id: date @@ -1994,6 +2028,10 @@ jobs: 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-cocotb run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-cocotb.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-dfu-util run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-dfu-util.tgz" | tar xvfz - - name: Download linux-x64-ecpdap diff --git a/.github/workflows/windows-x64.yml b/.github/workflows/windows-x64.yml index 0abf88e..ee3b2e8 100644 --- a/.github/workflows/windows-x64.yml +++ b/.github/workflows/windows-x64.yml @@ -705,7 +705,7 @@ jobs: tag: bucket-windows-x64 artifacts: "windows-x64-boolector.tgz" token: ${{ secrets.GITHUB_TOKEN }} - windows-x64-yices: + windows-x64-cvc4: runs-on: ubuntu-latest continue-on-error: true steps: @@ -717,19 +717,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-yices + key: cache-sources-cvc4 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-yices.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-cvc4.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=yices --single --tar + run: ./builder.py build --arch=windows-x64 --target=cvc4 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('windows-x64-yices.tgz') != '' + if: hashFiles('windows-x64-cvc4.tgz') != '' with: allowUpdates: True prerelease: True @@ -737,9 +737,9 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-windows-x64 - artifacts: "windows-x64-yices.tgz" + artifacts: "windows-x64-cvc4.tgz" token: ${{ secrets.GITHUB_TOKEN }} - windows-x64-cvc4: + windows-x64-cvc5: runs-on: ubuntu-latest continue-on-error: true steps: @@ -751,19 +751,19 @@ jobs: uses: actions/cache@v2 with: path: _sources - key: cache-sources-cvc4 + key: cache-sources-cvc5 - name: Download previous build run: | - URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-cvc4.tgz" + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-cvc5.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=cvc4 --single --tar + run: ./builder.py build --arch=windows-x64 --target=cvc5 --single --tar - uses: ncipollo/release-action@v1 - if: hashFiles('windows-x64-cvc4.tgz') != '' + if: hashFiles('windows-x64-cvc5.tgz') != '' with: allowUpdates: True prerelease: True @@ -771,7 +771,41 @@ jobs: omitBodyDuringUpdate: True omitNameDuringUpdate: True tag: bucket-windows-x64 - artifacts: "windows-x64-cvc4.tgz" + artifacts: "windows-x64-cvc5.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + windows-x64-yices: + runs-on: ubuntu-latest + continue-on-error: true + steps: + - uses: actions/checkout@v2 + with: + repository: 'yosyshq/oss-cad-suite-build' + - name: Cache sources + id: cache-sources + uses: actions/cache@v2 + with: + path: _sources + key: cache-sources-yices + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-yices.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=yices --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('windows-x64-yices.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-windows-x64 + artifacts: "windows-x64-yices.tgz" token: ${{ secrets.GITHUB_TOKEN }} windows-x64-smt-switch: runs-on: ubuntu-latest @@ -1410,7 +1444,7 @@ jobs: token: ${{ secrets.GITHUB_TOKEN }} windows-x64-default: runs-on: ubuntu-latest - needs: [ windows-x64-avy, windows-x64-bitwuzla, windows-x64-boolector, windows-x64-dfu-util, windows-x64-ecpdap, windows-x64-ecpprog, windows-x64-flask, windows-x64-fujprog, windows-x64-gtkwave, windows-x64-icesprog, windows-x64-icestorm, windows-x64-iverilog, windows-x64-mcy, windows-x64-nextpnr-ecp5, windows-x64-nextpnr-generic, windows-x64-nextpnr-ice40, windows-x64-nextpnr-machxo2, windows-x64-nextpnr-nexus, windows-x64-openfpgaloader, windows-x64-openocd, windows-x64-pono, windows-x64-prjoxide, windows-x64-prjtrellis, windows-x64-pyhdl, windows-x64-python-programmers, windows-x64-python3, windows-x64-sby, windows-x64-sby-gui, windows-x64-system-resources, windows-x64-utils, windows-x64-verilator, windows-x64-yices, windows-x64-yosys, windows-x64-z3 ] + needs: [ windows-x64-avy, windows-x64-bitwuzla, windows-x64-boolector, windows-x64-cvc4, windows-x64-cvc5, windows-x64-dfu-util, windows-x64-ecpdap, windows-x64-ecpprog, windows-x64-flask, windows-x64-fujprog, windows-x64-gtkwave, windows-x64-icesprog, windows-x64-icestorm, windows-x64-iverilog, windows-x64-mcy, windows-x64-nextpnr-ecp5, windows-x64-nextpnr-generic, windows-x64-nextpnr-ice40, windows-x64-nextpnr-machxo2, windows-x64-nextpnr-nexus, windows-x64-openfpgaloader, windows-x64-openocd, windows-x64-pono, windows-x64-prjoxide, windows-x64-prjtrellis, windows-x64-pyhdl, windows-x64-python-programmers, windows-x64-python3, windows-x64-sby, windows-x64-sby-gui, windows-x64-system-resources, windows-x64-utils, windows-x64-verilator, windows-x64-yices, windows-x64-yosys, windows-x64-z3 ] steps: - name: Get current date id: date @@ -1424,6 +1458,10 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-bitwuzla.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: Download windows-x64-dfu-util run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-dfu-util.tgz" | tar xvfz - - name: Download windows-x64-ecpdap