Skip to content

Commit

Permalink
Update Earthfile
Browse files Browse the repository at this point in the history
  • Loading branch information
ludamad authored Oct 30, 2024
1 parent 43588eb commit 34afe1a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions barretenberg/cpp/Earthfile
Original file line number Diff line number Diff line change
Expand Up @@ -107,15 +107,15 @@ preset-msan-check:
# install SRS needed for proving
COPY --dir ./srs_db/+build/. srs_db
RUN echo "Warning: If ./bin/client_ivc_tests is not found, there may be build failures above."
RUN cd build && ./bin/client_ivc_tests
RUN cd build && ./bin/client_ivc_tests --gtest_filter="*BasicStructured"

preset-check:
ARG preset
FROM +source
RUN cmake --preset $preset -Bbuild && cmake --build build --target client_ivc_tests
# install SRS needed for proving
COPY --dir ./srs_db/+build/. srs_db
RUN cd build && ./bin/client_ivc_tests
RUN cd build && ./bin/client_ivc_tests --gtest_filter="*BasicStructured"

preset-wasm:
ARG TARGETARCH
Expand Down

0 comments on commit 34afe1a

Please sign in to comment.