fix arm64 binaries and Dockerfile

.github/workflows/release.yml

@@ -48,6 +48,12 @@ jobs:
         chmod +x ./package_deb.sh
         ./package_deb.sh ${{ steps.vars.outputs.tag }}
 
+    - name: Extract files and build RPM package
+      if: matrix.os == 'fedora-40'
+      run: |
+        chmod +x ./package_rpm.sh
+        ./package_rpm.sh ${{ steps.vars.outputs.tag }}
+
     - name: Rename binaries ubuntu
       if: matrix.os == 'ubuntu-22.04'
       run: |
@@ -74,3 +80,4 @@ jobs:
         files: |
          ./cpu_air*
          /tmp/stone-prover/*.deb
+

Dockerfile

@@ -1,5 +1,5 @@
 # Stage 1: Base Image
-FROM ubuntu:22.04 AS build
+FROM --platform=$BUILDPLATFORM ubuntu:22.04 AS build
 
 RUN apt-get update && apt-get install -y git
 
@@ -56,4 +56,4 @@ COPY --from=build /app/build/bazelbin/src/starkware/main/cpu/cpu_air_prover /usr
 COPY --from=build /app/build/bazelbin/src/starkware/main/cpu/cpu_air_verifier /usr/bin/
 
 # Install the necessary runtime dependencies
-RUN apt update && apt install -y libdw1
+RUN apt update && apt install -y libdw1

build.sh

@@ -32,9 +32,9 @@ git clone https://github.com/baking-bad/stone-prover.git /tmp/stone-prover
 
 cd /tmp/stone-prover || exit
 
-bazelisk build //...
+bazelisk build --cpu=$arch //...
 
-bazelisk test //...
+bazelisk test --cpu=$arch //...
 
 # Create symbolic links for cpu_air_prover and cpu_air_verifier
 ln -s /tmp/stone-prover/build/bazelbin/src/starkware/main/cpu/cpu_air_prover /usr/local/bin/cpu_air_prover