Fix Dockerfile to build gmp

iden3 · Sep 11, 2024 · 18ed671 · 18ed671
1 parent d90ec09
commit 18ed671
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.github/images/Dockerfile.build b/.github/images/Dockerfile.build
@@ -1,3 +1,4 @@
 FROM ubuntu:22.04
 
-RUN apt-get -y  update && apt-get -y install build-essential cmake m4 nasm
+RUN apt-get -y update && \
+    apt-get -y install build-essential cmake m4 nasm curl
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -66,7 +66,7 @@ jobs:
             set -x
             set -e
             mkdir -p build_prover_arm64 && cd build_prover_arm64
-            cmake .. -DTARGET_PLATFORM=aarch64 -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_aarch64
+            cmake .. -DTARGET_PLATFORM=aarch64 -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_arm64
             make -j4 && make install
             ctest --rerun-failed --output-on-failure
           EOF
@@ -78,7 +78,7 @@ jobs:
         with:
           name: rapidsnark-linux-arm64
           path: |
-            package_aarch64
+            package_arm64
           if-no-files-found: error
 
       - run: docker run --platform=linux/arm64 builder:arm64 uname -a