From 18ed6710c9d3d5e081da8656e744a9d81a357a6d Mon Sep 17 00:00:00 2001 From: Oleg Lomaka Date: Wed, 11 Sep 2024 16:31:38 -0400 Subject: [PATCH] Fix Dockerfile to build gmp --- .github/images/Dockerfile.build | 3 ++- .github/workflows/build.yml | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/images/Dockerfile.build b/.github/images/Dockerfile.build index 0bf298a..86d51bf 100644 --- 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 index 05f38f8..347eb7c 100644 --- 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