update CI scripts

YosysHQ · Jan 9, 2023 · fda8473 · fda8473
1 parent e311b45
commit fda8473
Show file tree

Hide file tree

Showing 7 changed files with 329 additions and 42 deletions.
diff --git a/.github/workflows/darwin-arm64.yml b/.github/workflows/darwin-arm64.yml
@@ -998,9 +998,44 @@ jobs:
           tag: bucket-darwin-arm64
           artifacts: "darwin-arm64-cvc4.tgz"
           token: ${{ secrets.GITHUB_TOKEN }}
+  darwin-arm64-libpoly:
+    runs-on: ubuntu-latest
+    continue-on-error: true
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          repository: 'yosyshq/oss-cad-suite-build'
+      - name: Cache sources
+        id: cache-sources
+        uses: actions/cache@v3
+        with:
+          path: _sources
+          key: cache-sources-libpoly
+      - name: Download previous build
+        run: |
+          URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-libpoly.tgz"
+          if wget --spider "${URL}" 2>/dev/null; then
+              wget -qO- "${URL}" | tar xvfz -
+          else
+              echo "Previous version not found in bucket"
+          fi
+      - name: Build
+        run: ./builder.py build --arch=darwin-arm64 --target=libpoly --single --tar
+      - uses: ncipollo/release-action@v1
+        if: hashFiles('darwin-arm64-libpoly.tgz') != ''
+        with:
+          allowUpdates: True
+          prerelease: True
+          omitBody: True
+          omitBodyDuringUpdate: True
+          omitNameDuringUpdate: True
+          tag: bucket-darwin-arm64
+          artifacts: "darwin-arm64-libpoly.tgz"
+          token: ${{ secrets.GITHUB_TOKEN }}
   darwin-arm64-cvc5:
     runs-on: ubuntu-latest
     continue-on-error: true
+    needs: [ darwin-arm64-cadical, darwin-arm64-libpoly ]
     steps:
       - uses: actions/checkout@v3
         with:
@@ -1019,6 +1054,12 @@ jobs:
           else
               echo "Previous version not found in bucket"
           fi
+      - name: Download darwin-arm64-cadical
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-cadical.tgz" | tar xvfz -
+      - name: Download darwin-arm64-libpoly
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-libpoly.tgz" | tar xvfz -
+      - name: Download linux-x64-symfpu
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz -
       - name: Build
         run: ./builder.py build --arch=darwin-arm64 --target=cvc5 --single --tar
       - uses: ncipollo/release-action@v1
@@ -1069,7 +1110,7 @@ jobs:
   darwin-arm64-smt-switch:
     runs-on: ubuntu-latest
     continue-on-error: true
-    needs: [ darwin-arm64-boolector, darwin-arm64-cvc4 ]
+    needs: [ darwin-arm64-boolector, darwin-arm64-cvc5 ]
     steps:
       - uses: actions/checkout@v3
         with:
@@ -1090,8 +1131,8 @@ jobs:
           fi
       - name: Download darwin-arm64-boolector
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-boolector.tgz" | tar xvfz -
-      - name: Download darwin-arm64-cvc4
-        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-cvc4.tgz" | tar xvfz -
+      - name: Download darwin-arm64-cvc5
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-cvc5.tgz" | tar xvfz -
       - name: Download linux-x64-bison
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-bison.tgz" | tar xvfz -
       - name: Build
@@ -1110,7 +1151,7 @@ jobs:
   darwin-arm64-pono:
     runs-on: ubuntu-latest
     continue-on-error: true
-    needs: [ darwin-arm64-boolector, darwin-arm64-cvc4, darwin-arm64-smt-switch ]
+    needs: [ darwin-arm64-boolector, darwin-arm64-cvc5, darwin-arm64-smt-switch ]
     steps:
       - uses: actions/checkout@v3
         with:
@@ -1131,8 +1172,8 @@ jobs:
           fi
       - name: Download darwin-arm64-boolector
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-boolector.tgz" | tar xvfz -
-      - name: Download darwin-arm64-cvc4
-        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-cvc4.tgz" | tar xvfz -
+      - name: Download darwin-arm64-cvc5
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-cvc5.tgz" | tar xvfz -
       - name: Download darwin-arm64-smt-switch
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-arm64/darwin-arm64-smt-switch.tgz" | tar xvfz -
       - name: Build

diff --git a/.github/workflows/darwin-x64.yml b/.github/workflows/darwin-x64.yml
@@ -1071,9 +1071,44 @@ jobs:
           tag: bucket-darwin-x64
           artifacts: "darwin-x64-cvc4.tgz"
           token: ${{ secrets.GITHUB_TOKEN }}
+  darwin-x64-libpoly:
+    runs-on: ubuntu-latest
+    continue-on-error: true
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          repository: 'yosyshq/oss-cad-suite-build'
+      - name: Cache sources
+        id: cache-sources
+        uses: actions/cache@v3
+        with:
+          path: _sources
+          key: cache-sources-libpoly
+      - name: Download previous build
+        run: |
+          URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-libpoly.tgz"
+          if wget --spider "${URL}" 2>/dev/null; then
+              wget -qO- "${URL}" | tar xvfz -
+          else
+              echo "Previous version not found in bucket"
+          fi
+      - name: Build
+        run: ./builder.py build --arch=darwin-x64 --target=libpoly --single --tar
+      - uses: ncipollo/release-action@v1
+        if: hashFiles('darwin-x64-libpoly.tgz') != ''
+        with:
+          allowUpdates: True
+          prerelease: True
+          omitBody: True
+          omitBodyDuringUpdate: True
+          omitNameDuringUpdate: True
+          tag: bucket-darwin-x64
+          artifacts: "darwin-x64-libpoly.tgz"
+          token: ${{ secrets.GITHUB_TOKEN }}
   darwin-x64-cvc5:
     runs-on: ubuntu-latest
     continue-on-error: true
+    needs: [ darwin-x64-cadical, darwin-x64-libpoly ]
     steps:
       - uses: actions/checkout@v3
         with:
@@ -1092,6 +1127,12 @@ jobs:
           else
               echo "Previous version not found in bucket"
           fi
+      - name: Download darwin-x64-cadical
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cadical.tgz" | tar xvfz -
+      - name: Download darwin-x64-libpoly
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-libpoly.tgz" | tar xvfz -
+      - name: Download linux-x64-symfpu
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz -
       - name: Build
         run: ./builder.py build --arch=darwin-x64 --target=cvc5 --single --tar
       - uses: ncipollo/release-action@v1
@@ -1142,7 +1183,7 @@ jobs:
   darwin-x64-smt-switch:
     runs-on: ubuntu-latest
     continue-on-error: true
-    needs: [ darwin-x64-boolector, darwin-x64-cvc4 ]
+    needs: [ darwin-x64-boolector, darwin-x64-cvc5 ]
     steps:
       - uses: actions/checkout@v3
         with:
@@ -1163,8 +1204,8 @@ jobs:
           fi
       - name: Download darwin-x64-boolector
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-boolector.tgz" | tar xvfz -
-      - name: Download darwin-x64-cvc4
-        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cvc4.tgz" | tar xvfz -
+      - name: Download darwin-x64-cvc5
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cvc5.tgz" | tar xvfz -
       - name: Download linux-x64-bison
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-bison.tgz" | tar xvfz -
       - name: Build
@@ -1183,7 +1224,7 @@ jobs:
   darwin-x64-pono:
     runs-on: ubuntu-latest
     continue-on-error: true
-    needs: [ darwin-x64-boolector, darwin-x64-cvc4, darwin-x64-smt-switch ]
+    needs: [ darwin-x64-boolector, darwin-x64-cvc5, darwin-x64-smt-switch ]
     steps:
       - uses: actions/checkout@v3
         with:
@@ -1204,8 +1245,8 @@ jobs:
           fi
       - name: Download darwin-x64-boolector
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-boolector.tgz" | tar xvfz -
-      - name: Download darwin-x64-cvc4
-        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cvc4.tgz" | tar xvfz -
+      - name: Download darwin-x64-cvc5
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-cvc5.tgz" | tar xvfz -
       - name: Download darwin-x64-smt-switch
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-smt-switch.tgz" | tar xvfz -
       - name: Build

diff --git a/.github/workflows/linux-arm.yml b/.github/workflows/linux-arm.yml
@@ -998,9 +998,44 @@ jobs:
           tag: bucket-linux-arm
           artifacts: "linux-arm-cvc4.tgz"
           token: ${{ secrets.GITHUB_TOKEN }}
+  linux-arm-libpoly:
+    runs-on: ubuntu-latest
+    continue-on-error: true
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          repository: 'yosyshq/oss-cad-suite-build'
+      - name: Cache sources
+        id: cache-sources
+        uses: actions/cache@v3
+        with:
+          path: _sources
+          key: cache-sources-libpoly
+      - name: Download previous build
+        run: |
+          URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-libpoly.tgz"
+          if wget --spider "${URL}" 2>/dev/null; then
+              wget -qO- "${URL}" | tar xvfz -
+          else
+              echo "Previous version not found in bucket"
+          fi
+      - name: Build
+        run: ./builder.py build --arch=linux-arm --target=libpoly --single --tar
+      - uses: ncipollo/release-action@v1
+        if: hashFiles('linux-arm-libpoly.tgz') != ''
+        with:
+          allowUpdates: True
+          prerelease: True
+          omitBody: True
+          omitBodyDuringUpdate: True
+          omitNameDuringUpdate: True
+          tag: bucket-linux-arm
+          artifacts: "linux-arm-libpoly.tgz"
+          token: ${{ secrets.GITHUB_TOKEN }}
   linux-arm-cvc5:
     runs-on: ubuntu-latest
     continue-on-error: true
+    needs: [ linux-arm-cadical, linux-arm-libpoly ]
     steps:
       - uses: actions/checkout@v3
         with:
@@ -1019,6 +1054,12 @@ jobs:
           else
               echo "Previous version not found in bucket"
           fi
+      - name: Download linux-arm-cadical
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cadical.tgz" | tar xvfz -
+      - name: Download linux-arm-libpoly
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-libpoly.tgz" | tar xvfz -
+      - name: Download linux-x64-symfpu
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz -
       - name: Build
         run: ./builder.py build --arch=linux-arm --target=cvc5 --single --tar
       - uses: ncipollo/release-action@v1
@@ -1140,7 +1181,7 @@ jobs:
   linux-arm-smt-switch:
     runs-on: ubuntu-latest
     continue-on-error: true
-    needs: [ linux-arm-boolector, linux-arm-cvc4 ]
+    needs: [ linux-arm-boolector, linux-arm-cvc5 ]
     steps:
       - uses: actions/checkout@v3
         with:
@@ -1161,8 +1202,8 @@ jobs:
           fi
       - name: Download linux-arm-boolector
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-boolector.tgz" | tar xvfz -
-      - name: Download linux-arm-cvc4
-        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cvc4.tgz" | tar xvfz -
+      - name: Download linux-arm-cvc5
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cvc5.tgz" | tar xvfz -
       - name: Download linux-x64-bison
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-bison.tgz" | tar xvfz -
       - name: Build
@@ -1181,7 +1222,7 @@ jobs:
   linux-arm-pono:
     runs-on: ubuntu-latest
     continue-on-error: true
-    needs: [ linux-arm-boolector, linux-arm-cvc4, linux-arm-smt-switch ]
+    needs: [ linux-arm-boolector, linux-arm-cvc5, linux-arm-smt-switch ]
     steps:
       - uses: actions/checkout@v3
         with:
@@ -1202,8 +1243,8 @@ jobs:
           fi
       - name: Download linux-arm-boolector
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-boolector.tgz" | tar xvfz -
-      - name: Download linux-arm-cvc4
-        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cvc4.tgz" | tar xvfz -
+      - name: Download linux-arm-cvc5
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-cvc5.tgz" | tar xvfz -
       - name: Download linux-arm-smt-switch
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-smt-switch.tgz" | tar xvfz -
       - name: Build

diff --git a/.github/workflows/linux-arm64.yml b/.github/workflows/linux-arm64.yml
@@ -998,9 +998,44 @@ jobs:
           tag: bucket-linux-arm64
           artifacts: "linux-arm64-cvc4.tgz"
           token: ${{ secrets.GITHUB_TOKEN }}
+  linux-arm64-libpoly:
+    runs-on: ubuntu-latest
+    continue-on-error: true
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          repository: 'yosyshq/oss-cad-suite-build'
+      - name: Cache sources
+        id: cache-sources
+        uses: actions/cache@v3
+        with:
+          path: _sources
+          key: cache-sources-libpoly
+      - name: Download previous build
+        run: |
+          URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-libpoly.tgz"
+          if wget --spider "${URL}" 2>/dev/null; then
+              wget -qO- "${URL}" | tar xvfz -
+          else
+              echo "Previous version not found in bucket"
+          fi
+      - name: Build
+        run: ./builder.py build --arch=linux-arm64 --target=libpoly --single --tar
+      - uses: ncipollo/release-action@v1
+        if: hashFiles('linux-arm64-libpoly.tgz') != ''
+        with:
+          allowUpdates: True
+          prerelease: True
+          omitBody: True
+          omitBodyDuringUpdate: True
+          omitNameDuringUpdate: True
+          tag: bucket-linux-arm64
+          artifacts: "linux-arm64-libpoly.tgz"
+          token: ${{ secrets.GITHUB_TOKEN }}
   linux-arm64-cvc5:
     runs-on: ubuntu-latest
     continue-on-error: true
+    needs: [ linux-arm64-cadical, linux-arm64-libpoly ]
     steps:
       - uses: actions/checkout@v3
         with:
@@ -1019,6 +1054,12 @@ jobs:
           else
               echo "Previous version not found in bucket"
           fi
+      - name: Download linux-arm64-cadical
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cadical.tgz" | tar xvfz -
+      - name: Download linux-arm64-libpoly
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-libpoly.tgz" | tar xvfz -
+      - name: Download linux-x64-symfpu
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz -
       - name: Build
         run: ./builder.py build --arch=linux-arm64 --target=cvc5 --single --tar
       - uses: ncipollo/release-action@v1
@@ -1140,7 +1181,7 @@ jobs:
   linux-arm64-smt-switch:
     runs-on: ubuntu-latest
     continue-on-error: true
-    needs: [ linux-arm64-boolector, linux-arm64-cvc4 ]
+    needs: [ linux-arm64-boolector, linux-arm64-cvc5 ]
     steps:
       - uses: actions/checkout@v3
         with:
@@ -1161,8 +1202,8 @@ jobs:
           fi
       - name: Download linux-arm64-boolector
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-boolector.tgz" | tar xvfz -
-      - name: Download linux-arm64-cvc4
-        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cvc4.tgz" | tar xvfz -
+      - name: Download linux-arm64-cvc5
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cvc5.tgz" | tar xvfz -
       - name: Download linux-x64-bison
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-bison.tgz" | tar xvfz -
       - name: Build
@@ -1181,7 +1222,7 @@ jobs:
   linux-arm64-pono:
     runs-on: ubuntu-latest
     continue-on-error: true
-    needs: [ linux-arm64-boolector, linux-arm64-cvc4, linux-arm64-smt-switch ]
+    needs: [ linux-arm64-boolector, linux-arm64-cvc5, linux-arm64-smt-switch ]
     steps:
       - uses: actions/checkout@v3
         with:
@@ -1202,8 +1243,8 @@ jobs:
           fi
       - name: Download linux-arm64-boolector
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-boolector.tgz" | tar xvfz -
-      - name: Download linux-arm64-cvc4
-        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cvc4.tgz" | tar xvfz -
+      - name: Download linux-arm64-cvc5
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-cvc5.tgz" | tar xvfz -
       - name: Download linux-arm64-smt-switch
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-smt-switch.tgz" | tar xvfz -
       - name: Build