Add noasm variant for linux-x86_64

iden3 · Sep 13, 2024 · 66fdcd0 · 66fdcd0
1 parent 9d29dd2
commit 66fdcd0
Showing 1 changed file with 27 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -179,6 +179,13 @@ jobs:
           make -j4 && make install
           ctest --rerun-failed --output-on-failure
 
+      - name: Build prover Linux x86_64 noasm
+        run: |
+          mkdir -p build_prover_noasm && cd build_prover_noasm
+          cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_noasm -DUSE_ASM=NO
+          make -j4 && make install
+          ctest --rerun-failed --output-on-failure
+
       - name: Build prover Linux arm64
         run: |
           docker run --rm --platform=linux/arm64 -i -v $PWD:/work --workdir=/work builder:arm64 bash -c "$(cat << 'EOF'
@@ -214,6 +221,15 @@ jobs:
             package
           if-no-files-found: error
 
+      - name: Upload Linux x86_64 noasm dev artifacts
+        if: github.event_name != 'release'
+        uses: actions/upload-artifact@v4
+        with:
+          name: rapidsnark-linux-x86_64-noasm
+          path: |
+            package_noasm
+          if-no-files-found: error
+
       - name: Upload Linux arm64 dev artifacts
         if: github.event_name != 'release'
         uses: actions/upload-artifact@v4
@@ -292,6 +308,17 @@ jobs:
           zip -r rapidsnark-linux-x86_64-${{ github.ref_name }}.zip rapidsnark-linux-x86_64-${{ github.ref_name }}
           gh release upload ${{ github.event.release.tag_name }} rapidsnark-linux-x86_64-${{ github.ref_name }}.zip
 
+      - name: Upload Linux x86_64 noasm release artifacts
+        if: github.event_name == 'release'
+        env:
+          GH_TOKEN: ${{ github.token }}
+        run: |
+          set -x
+          mkdir -p rapidsnark-linux-x86_64-noasm-${{ github.ref_name }}
+          cp -r package_noasm/* rapidsnark-linux-x86_64-noasm-${{ github.ref_name }}/
+          zip -r rapidsnark-linux-x86_64-noasm-${{ github.ref_name }}.zip rapidsnark-linux-x86_64-noasm-${{ github.ref_name }}
+          gh release upload ${{ github.event.release.tag_name }} rapidsnark-linux-x86_64-noasm-${{ github.ref_name }}.zip
+
       - name: Upload Linux ARM64 release artifacts
         if: github.event_name == 'release'
         env: