Added dependancy license propagation

.github/workflows/darwin-x64.yml

@@ -752,6 +752,8 @@ jobs:
         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-lingeling
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-darwin-x64/darwin-x64-lingeling.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=bitwuzla --single --tar
       - uses: ncipollo/release-action@v1

.github/workflows/linux-arm.yml

@@ -752,6 +752,8 @@ jobs:
         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-lingeling
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm/linux-arm-lingeling.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=bitwuzla --single --tar
       - uses: ncipollo/release-action@v1

.github/workflows/linux-arm64.yml

@@ -752,6 +752,8 @@ jobs:
         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-lingeling
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-arm64/linux-arm64-lingeling.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=bitwuzla --single --tar
       - uses: ncipollo/release-action@v1

.github/workflows/linux-riscv64.yml

@@ -752,6 +752,8 @@ jobs:
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-cadical.tgz" | tar xvfz -
       - name: Download linux-riscv64-lingeling
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-riscv64/linux-riscv64-lingeling.tgz" | tar xvfz -
+      - name: Download linux-x64-symfpu
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz -
       - name: Build
         run: ./builder.py build --arch=linux-riscv64 --target=bitwuzla --single --tar
       - uses: ncipollo/release-action@v1

.github/workflows/linux-x64.yml

@@ -937,10 +937,44 @@ jobs:
           tag: bucket-linux-x64
           artifacts: "linux-x64-btor2tools.tgz"
           token: ${{ secrets.GITHUB_TOKEN }}
+  linux-x64-symfpu:
+    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-symfpu
+      - name: Download previous build
+        run: |
+          URL="https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.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=symfpu --single --tar
+      - uses: ncipollo/release-action@v1
+        if: hashFiles('linux-x64-symfpu.tgz') != ''
+        with:
+          allowUpdates: True
+          prerelease: True
+          omitBody: True
+          omitBodyDuringUpdate: True
+          omitNameDuringUpdate: True
+          tag: bucket-linux-x64
+          artifacts: "linux-x64-symfpu.tgz"
+          token: ${{ secrets.GITHUB_TOKEN }}
   linux-x64-bitwuzla:
     runs-on: ubuntu-latest
     continue-on-error: true
-    needs: [ linux-x64-btor2tools, linux-x64-cadical, linux-x64-lingeling ]
+    needs: [ linux-x64-btor2tools, linux-x64-cadical, linux-x64-lingeling, linux-x64-symfpu ]
     steps:
       - uses: actions/checkout@v2
         with:
@@ -965,6 +999,8 @@ jobs:
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-cadical.tgz" | tar xvfz -
       - name: Download linux-x64-lingeling
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-lingeling.tgz" | tar xvfz -
+      - name: Download linux-x64-symfpu
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz -
       - name: Build
         run: ./builder.py build --arch=linux-x64 --target=bitwuzla --single --tar
       - uses: ncipollo/release-action@v1

.github/workflows/windows-x64.yml

@@ -641,6 +641,8 @@ jobs:
           else
               echo "Previous version not found in bucket"
           fi
+      - name: Download linux-x64-symfpu
+        run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-linux-x64/linux-x64-symfpu.tgz" | tar xvfz -
       - name: Download windows-x64-btor2tools
         run: wget -qO- "https://github.com/yosyshq/oss-cad-suite-build/releases/download/bucket-windows-x64/windows-x64-btor2tools.tgz" | tar xvfz -
       - name: Download windows-x64-cadical