From 30df48fedd77c579fcb10ca503b057f4e19867e3 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Fri, 21 Oct 2022 16:10:50 +0200 Subject: [PATCH] Add Surelog in build output --- .github/workflows/darwin-arm64.yml | 85 ++++++++++++- .github/workflows/darwin-x64.yml | 85 ++++++++++++- .github/workflows/linux-arm.yml | 85 ++++++++++++- .github/workflows/linux-arm64.yml | 85 ++++++++++++- .github/workflows/linux-riscv64.yml | 85 ++++++++++++- .github/workflows/linux-x64.yml | 191 +++++++++++++++++++++++++++- .github/workflows/windows-x64.yml | 44 ++++++- default/rules/default.py | 3 + 8 files changed, 656 insertions(+), 7 deletions(-) diff --git a/.github/workflows/darwin-arm64.yml b/.github/workflows/darwin-arm64.yml index 469acc0..3373fbb 100644 --- a/.github/workflows/darwin-arm64.yml +++ b/.github/workflows/darwin-arm64.yml @@ -1584,6 +1584,83 @@ jobs: tag: bucket-darwin-arm64 artifacts: "darwin-arm64-pyhdl.tgz" token: ${{ secrets.GITHUB_TOKEN }} + darwin-arm64-surelog: + 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-surelog + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-surelog.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-capnproto + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-capnproto.tgz" | tar xvfz - + - name: Download linux-x64-flatbuffers + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-flatbuffers.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=darwin-arm64 --target=surelog --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('darwin-arm64-surelog.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-darwin-arm64 + artifacts: "darwin-arm64-surelog.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + darwin-arm64-surelog-plugin: + runs-on: ubuntu-latest + continue-on-error: true + needs: [ darwin-arm64-surelog, darwin-arm64-yosys ] + 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-surelog-plugin + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-surelog-plugin.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 darwin-arm64-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-surelog.tgz" | tar xvfz - + - name: Download darwin-arm64-yosys + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-yosys.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=darwin-arm64 --target=surelog-plugin --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('darwin-arm64-surelog-plugin.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-darwin-arm64 + artifacts: "darwin-arm64-surelog-plugin.tgz" + token: ${{ secrets.GITHUB_TOKEN }} darwin-arm64-system-resources: runs-on: ubuntu-latest continue-on-error: true @@ -1620,7 +1697,7 @@ jobs: token: ${{ secrets.GITHUB_TOKEN }} darwin-arm64-default: runs-on: ubuntu-latest - needs: [ darwin-arm64-aiger, darwin-arm64-avy, darwin-arm64-bitwuzla, darwin-arm64-boolector, darwin-arm64-cvc4, darwin-arm64-cvc5, darwin-arm64-dfu-util, darwin-arm64-ecpdap, darwin-arm64-ecpprog, darwin-arm64-flask, darwin-arm64-fujprog, darwin-arm64-graphviz, darwin-arm64-gtkwave, darwin-arm64-iceprogduino, darwin-arm64-icesprog, darwin-arm64-icestorm, darwin-arm64-iverilog, darwin-arm64-mcy, darwin-arm64-nextpnr-ecp5, darwin-arm64-nextpnr-generic, darwin-arm64-nextpnr-ice40, darwin-arm64-nextpnr-machxo2, darwin-arm64-nextpnr-nexus, darwin-arm64-openfpgaloader, darwin-arm64-openocd, darwin-arm64-pono, darwin-arm64-prjoxide, darwin-arm64-prjtrellis, darwin-arm64-pyhdl, darwin-arm64-python-programmers, darwin-arm64-python3, darwin-arm64-sby, darwin-arm64-sby-gui, darwin-arm64-system-resources, darwin-arm64-utils, darwin-arm64-verilator, darwin-arm64-xdot, darwin-arm64-yices, darwin-arm64-yosys, darwin-arm64-z3 ] + needs: [ darwin-arm64-aiger, darwin-arm64-avy, darwin-arm64-bitwuzla, darwin-arm64-boolector, darwin-arm64-cvc4, darwin-arm64-cvc5, darwin-arm64-dfu-util, darwin-arm64-ecpdap, darwin-arm64-ecpprog, darwin-arm64-flask, darwin-arm64-fujprog, darwin-arm64-graphviz, darwin-arm64-gtkwave, darwin-arm64-iceprogduino, darwin-arm64-icesprog, darwin-arm64-icestorm, darwin-arm64-iverilog, darwin-arm64-mcy, darwin-arm64-nextpnr-ecp5, darwin-arm64-nextpnr-generic, darwin-arm64-nextpnr-ice40, darwin-arm64-nextpnr-machxo2, darwin-arm64-nextpnr-nexus, darwin-arm64-openfpgaloader, darwin-arm64-openocd, darwin-arm64-pono, darwin-arm64-prjoxide, darwin-arm64-prjtrellis, darwin-arm64-pyhdl, darwin-arm64-python-programmers, darwin-arm64-python3, darwin-arm64-sby, darwin-arm64-sby-gui, darwin-arm64-surelog, darwin-arm64-surelog-plugin, darwin-arm64-system-resources, darwin-arm64-utils, darwin-arm64-verilator, darwin-arm64-xdot, darwin-arm64-yices, darwin-arm64-yosys, darwin-arm64-z3 ] steps: - name: Get current date id: date @@ -1694,6 +1771,10 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-sby.tgz" | tar xvfz - - name: Download darwin-arm64-sby-gui run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-sby-gui.tgz" | tar xvfz - + - name: Download darwin-arm64-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-surelog.tgz" | tar xvfz - + - name: Download darwin-arm64-surelog-plugin + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-surelog-plugin.tgz" | tar xvfz - - name: Download darwin-arm64-system-resources run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-system-resources.tgz" | tar xvfz - - name: Download darwin-arm64-utils @@ -1708,6 +1789,8 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-yosys.tgz" | tar xvfz - - name: Download darwin-arm64-z3 run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-z3.tgz" | tar xvfz - + - name: Download linux-x64-surelog-data + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog-data.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=darwin-arm64 --target=default --single - uses: ncipollo/release-action@v1 diff --git a/.github/workflows/darwin-x64.yml b/.github/workflows/darwin-x64.yml index b4bf763..66ef9da 100644 --- a/.github/workflows/darwin-x64.yml +++ b/.github/workflows/darwin-x64.yml @@ -1694,6 +1694,83 @@ jobs: tag: bucket-darwin-x64 artifacts: "darwin-x64-cocotb.tgz" token: ${{ secrets.GITHUB_TOKEN }} + darwin-x64-surelog: + 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-surelog + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-surelog.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-capnproto + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-capnproto.tgz" | tar xvfz - + - name: Download linux-x64-flatbuffers + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-flatbuffers.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=darwin-x64 --target=surelog --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('darwin-x64-surelog.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-darwin-x64 + artifacts: "darwin-x64-surelog.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + darwin-x64-surelog-plugin: + runs-on: ubuntu-latest + continue-on-error: true + needs: [ darwin-x64-surelog, darwin-x64-yosys ] + 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-surelog-plugin + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-surelog-plugin.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 darwin-x64-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-surelog.tgz" | tar xvfz - + - name: Download darwin-x64-yosys + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-yosys.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=darwin-x64 --target=surelog-plugin --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('darwin-x64-surelog-plugin.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-darwin-x64 + artifacts: "darwin-x64-surelog-plugin.tgz" + token: ${{ secrets.GITHUB_TOKEN }} darwin-x64-system-resources: runs-on: ubuntu-latest continue-on-error: true @@ -1730,7 +1807,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-cvc4, darwin-x64-cvc5, darwin-x64-dfu-util, darwin-x64-ecpdap, darwin-x64-ecpprog, darwin-x64-flask, darwin-x64-fujprog, darwin-x64-ghdl, darwin-x64-ghdl-yosys-plugin, darwin-x64-graphviz, darwin-x64-gtkwave, darwin-x64-iceprogduino, 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-ghdl, darwin-x64-ghdl-yosys-plugin, darwin-x64-graphviz, darwin-x64-gtkwave, darwin-x64-iceprogduino, 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-surelog, darwin-x64-surelog-plugin, 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 @@ -1810,6 +1887,10 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-sby.tgz" | tar xvfz - - name: Download darwin-x64-sby-gui run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-sby-gui.tgz" | tar xvfz - + - name: Download darwin-x64-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-surelog.tgz" | tar xvfz - + - name: Download darwin-x64-surelog-plugin + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-surelog-plugin.tgz" | tar xvfz - - name: Download darwin-x64-system-resources run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-system-resources.tgz" | tar xvfz - - name: Download darwin-x64-utils @@ -1824,6 +1905,8 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-yosys.tgz" | tar xvfz - - name: Download darwin-x64-z3 run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-z3.tgz" | tar xvfz - + - name: Download linux-x64-surelog-data + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog-data.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=darwin-x64 --target=default --single - uses: ncipollo/release-action@v1 diff --git a/.github/workflows/linux-arm.yml b/.github/workflows/linux-arm.yml index 4016ebd..804d337 100644 --- a/.github/workflows/linux-arm.yml +++ b/.github/workflows/linux-arm.yml @@ -1692,6 +1692,83 @@ jobs: tag: bucket-linux-arm artifacts: "linux-arm-cocotb.tgz" token: ${{ secrets.GITHUB_TOKEN }} + linux-arm-surelog: + 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-surelog + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-surelog.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-capnproto + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-capnproto.tgz" | tar xvfz - + - name: Download linux-x64-flatbuffers + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-flatbuffers.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-arm --target=surelog --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-arm-surelog.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-arm + artifacts: "linux-arm-surelog.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + linux-arm-surelog-plugin: + runs-on: ubuntu-latest + continue-on-error: true + needs: [ linux-arm-surelog, linux-arm-yosys ] + 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-surelog-plugin + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-surelog-plugin.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-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-surelog.tgz" | tar xvfz - + - name: Download linux-arm-yosys + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-yosys.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-arm --target=surelog-plugin --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-arm-surelog-plugin.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-arm + artifacts: "linux-arm-surelog-plugin.tgz" + token: ${{ secrets.GITHUB_TOKEN }} linux-arm-system-resources: runs-on: ubuntu-latest continue-on-error: true @@ -1728,7 +1805,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-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-iceprogduino, 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-iceprogduino, 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-surelog, linux-arm-surelog-plugin, 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 @@ -1808,6 +1885,10 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-sby-gui.tgz" | tar xvfz - - name: Download linux-arm-suprove run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-suprove.tgz" | tar xvfz - + - name: Download linux-arm-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-surelog.tgz" | tar xvfz - + - name: Download linux-arm-surelog-plugin + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-surelog-plugin.tgz" | tar xvfz - - name: Download linux-arm-system-resources run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-system-resources.tgz" | tar xvfz - - name: Download linux-arm-utils @@ -1822,6 +1903,8 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-yosys.tgz" | tar xvfz - - name: Download linux-arm-z3 run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-z3.tgz" | tar xvfz - + - name: Download linux-x64-surelog-data + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog-data.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=linux-arm --target=default --single - uses: ncipollo/release-action@v1 diff --git a/.github/workflows/linux-arm64.yml b/.github/workflows/linux-arm64.yml index 98068c2..f093ced 100644 --- a/.github/workflows/linux-arm64.yml +++ b/.github/workflows/linux-arm64.yml @@ -1692,6 +1692,83 @@ jobs: tag: bucket-linux-arm64 artifacts: "linux-arm64-cocotb.tgz" token: ${{ secrets.GITHUB_TOKEN }} + linux-arm64-surelog: + 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-surelog + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-surelog.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-capnproto + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-capnproto.tgz" | tar xvfz - + - name: Download linux-x64-flatbuffers + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-flatbuffers.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-arm64 --target=surelog --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-arm64-surelog.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-arm64 + artifacts: "linux-arm64-surelog.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + linux-arm64-surelog-plugin: + runs-on: ubuntu-latest + continue-on-error: true + needs: [ linux-arm64-surelog, linux-arm64-yosys ] + 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-surelog-plugin + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-surelog-plugin.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-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-surelog.tgz" | tar xvfz - + - name: Download linux-arm64-yosys + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-yosys.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-arm64 --target=surelog-plugin --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-arm64-surelog-plugin.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-arm64 + artifacts: "linux-arm64-surelog-plugin.tgz" + token: ${{ secrets.GITHUB_TOKEN }} linux-arm64-system-resources: runs-on: ubuntu-latest continue-on-error: true @@ -1728,7 +1805,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-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-iceprogduino, 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-iceprogduino, 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-surelog, linux-arm64-surelog-plugin, 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 @@ -1808,6 +1885,10 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-sby-gui.tgz" | tar xvfz - - name: Download linux-arm64-suprove run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-suprove.tgz" | tar xvfz - + - name: Download linux-arm64-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-surelog.tgz" | tar xvfz - + - name: Download linux-arm64-surelog-plugin + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-surelog-plugin.tgz" | tar xvfz - - name: Download linux-arm64-system-resources run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-system-resources.tgz" | tar xvfz - - name: Download linux-arm64-utils @@ -1822,6 +1903,8 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-yosys.tgz" | tar xvfz - - name: Download linux-arm64-z3 run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-z3.tgz" | tar xvfz - + - name: Download linux-x64-surelog-data + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog-data.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=linux-arm64 --target=default --single - uses: ncipollo/release-action@v1 diff --git a/.github/workflows/linux-riscv64.yml b/.github/workflows/linux-riscv64.yml index e0db2bb..3d3127e 100644 --- a/.github/workflows/linux-riscv64.yml +++ b/.github/workflows/linux-riscv64.yml @@ -1692,6 +1692,83 @@ jobs: tag: bucket-linux-riscv64 artifacts: "linux-riscv64-cocotb.tgz" token: ${{ secrets.GITHUB_TOKEN }} + linux-riscv64-surelog: + 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-surelog + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-surelog.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-capnproto + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-capnproto.tgz" | tar xvfz - + - name: Download linux-x64-flatbuffers + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-flatbuffers.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-riscv64 --target=surelog --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-riscv64-surelog.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-riscv64 + artifacts: "linux-riscv64-surelog.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + linux-riscv64-surelog-plugin: + runs-on: ubuntu-latest + continue-on-error: true + needs: [ linux-riscv64-surelog, linux-riscv64-yosys ] + 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-surelog-plugin + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-surelog-plugin.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-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-surelog.tgz" | tar xvfz - + - name: Download linux-riscv64-yosys + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-yosys.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-riscv64 --target=surelog-plugin --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-riscv64-surelog-plugin.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-riscv64 + artifacts: "linux-riscv64-surelog-plugin.tgz" + token: ${{ secrets.GITHUB_TOKEN }} linux-riscv64-system-resources: runs-on: ubuntu-latest continue-on-error: true @@ -1728,7 +1805,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-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-iceprogduino, 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-iceprogduino, 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-surelog, linux-riscv64-surelog-plugin, 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 @@ -1808,6 +1885,10 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-sby-gui.tgz" | tar xvfz - - name: Download linux-riscv64-suprove run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-suprove.tgz" | tar xvfz - + - name: Download linux-riscv64-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-surelog.tgz" | tar xvfz - + - name: Download linux-riscv64-surelog-plugin + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-surelog-plugin.tgz" | tar xvfz - - name: Download linux-riscv64-system-resources run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-system-resources.tgz" | tar xvfz - - name: Download linux-riscv64-utils @@ -1822,6 +1903,8 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-yosys.tgz" | tar xvfz - - name: Download linux-riscv64-z3 run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-z3.tgz" | tar xvfz - + - name: Download linux-x64-surelog-data + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog-data.tgz" | tar xvfz - - name: Build run: ./builder.py build --arch=linux-riscv64 --target=default --single - uses: ncipollo/release-action@v1 diff --git a/.github/workflows/linux-x64.yml b/.github/workflows/linux-x64.yml index 403e0e9..65b6359 100644 --- a/.github/workflows/linux-x64.yml +++ b/.github/workflows/linux-x64.yml @@ -2008,6 +2008,189 @@ jobs: tag: bucket-linux-x64 artifacts: "linux-x64-cocotb.tgz" token: ${{ secrets.GITHUB_TOKEN }} + linux-x64-capnproto: + 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-capnproto + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-capnproto.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=capnproto --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-x64-capnproto.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-x64 + artifacts: "linux-x64-capnproto.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + linux-x64-flatbuffers: + 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-flatbuffers + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-flatbuffers.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=flatbuffers --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-x64-flatbuffers.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-x64 + artifacts: "linux-x64-flatbuffers.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + linux-x64-surelog: + runs-on: ubuntu-latest + continue-on-error: true + needs: [ linux-x64-capnproto, linux-x64-flatbuffers ] + 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-surelog + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog.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-capnproto + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-capnproto.tgz" | tar xvfz - + - name: Download linux-x64-flatbuffers + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-flatbuffers.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-x64 --target=surelog --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-x64-surelog.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-x64 + artifacts: "linux-x64-surelog.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + linux-x64-surelog-data: + runs-on: ubuntu-latest + continue-on-error: true + needs: linux-x64-surelog + 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-surelog-data + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog-data.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-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-x64 --target=surelog-data --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-x64-surelog-data.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-x64 + artifacts: "linux-x64-surelog-data.tgz" + token: ${{ secrets.GITHUB_TOKEN }} + linux-x64-surelog-plugin: + runs-on: ubuntu-latest + continue-on-error: true + needs: [ linux-x64-surelog, linux-x64-yosys ] + 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-surelog-plugin + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog-plugin.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-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog.tgz" | tar xvfz - + - name: Download linux-x64-yosys + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-yosys.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=linux-x64 --target=surelog-plugin --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('linux-x64-surelog-plugin.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-linux-x64 + artifacts: "linux-x64-surelog-plugin.tgz" + token: ${{ secrets.GITHUB_TOKEN }} linux-x64-system-resources: runs-on: ubuntu-latest continue-on-error: true @@ -2044,7 +2227,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-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-iceprogduino, 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-iceprogduino, 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-surelog, linux-x64-surelog-data, linux-x64-surelog-plugin, 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 @@ -2128,6 +2311,12 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-sby-gui.tgz" | tar xvfz - - name: Download linux-x64-suprove run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-suprove.tgz" | tar xvfz - + - name: Download linux-x64-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog.tgz" | tar xvfz - + - name: Download linux-x64-surelog-data + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog-data.tgz" | tar xvfz - + - name: Download linux-x64-surelog-plugin + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog-plugin.tgz" | tar xvfz - - name: Download linux-x64-system-resources run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-system-resources.tgz" | tar xvfz - - name: Download linux-x64-utils diff --git a/.github/workflows/windows-x64.yml b/.github/workflows/windows-x64.yml index d261cee..158de95 100644 --- a/.github/workflows/windows-x64.yml +++ b/.github/workflows/windows-x64.yml @@ -1442,6 +1442,44 @@ jobs: tag: bucket-windows-x64 artifacts: "windows-x64-pyhdl.tgz" token: ${{ secrets.GITHUB_TOKEN }} + windows-x64-surelog: + 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-surelog + - name: Download previous build + run: | + URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-surelog.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-capnproto + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-capnproto.tgz" | tar xvfz - + - name: Download linux-x64-flatbuffers + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-flatbuffers.tgz" | tar xvfz - + - name: Build + run: ./builder.py build --arch=windows-x64 --target=surelog --single --tar + - uses: ncipollo/release-action@v1 + if: hashFiles('windows-x64-surelog.tgz') != '' + with: + allowUpdates: True + prerelease: True + omitBody: True + omitBodyDuringUpdate: True + omitNameDuringUpdate: True + tag: bucket-windows-x64 + artifacts: "windows-x64-surelog.tgz" + token: ${{ secrets.GITHUB_TOKEN }} windows-x64-system-resources: runs-on: ubuntu-latest continue-on-error: true @@ -1478,7 +1516,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-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-iceprogduino, 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-iceprogduino, 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-surelog, 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 @@ -1486,6 +1524,8 @@ jobs: - uses: actions/checkout@v2 with: repository: 'yosyshq/oss-cad-suite-build' + - name: Download linux-x64-surelog-data + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-surelog-data.tgz" | tar xvfz - - name: Download windows-x64-avy run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-avy.tgz" | tar xvfz - - name: Download windows-x64-bitwuzla @@ -1548,6 +1588,8 @@ jobs: run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-sby.tgz" | tar xvfz - - name: Download windows-x64-sby-gui run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-sby-gui.tgz" | tar xvfz - + - name: Download windows-x64-surelog + run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-surelog.tgz" | tar xvfz - - name: Download windows-x64-system-resources run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-system-resources.tgz" | tar xvfz - - name: Download windows-x64-utils diff --git a/default/rules/default.py b/default/rules/default.py index e931305..d5d3553 100644 --- a/default/rules/default.py +++ b/default/rules/default.py @@ -44,6 +44,9 @@ 'utils', 'pyhdl', 'cocotb', + 'surelog', + 'surelog-data', + 'surelog-plugin', ], branding = 'OSS CAD Suite', readme = 'README',