Update for CI

YosysHQ · Jun 6, 2022 · a0d7704 · a0d7704
1 parent 271fae2
commit a0d7704
Show file tree

Hide file tree

Showing 6 changed files with 366 additions and 138 deletions.
diff --git 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,29 +859,29 @@ 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
           omitBody: True
           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,27 +893,61 @@ 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
           omitBody: True
           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
@@ -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,29 +859,29 @@ 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
           omitBody: True
           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,32 +893,31 @@ 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
           omitBody: True
           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,31 +927,29 @@ 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
           omitBody: True
           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,27 +961,64 @@ 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
           omitBody: True
           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