From ad546c829fa30213ae2893bf8513c421401766c6 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 23 Oct 2023 21:50:18 -0700 Subject: [PATCH] Patch BoringSSL files for C tests (#1692) See https://github.com/mit-plv/fiat-crypto/pull/1684#issuecomment-1774148899 --- etc/ci/test-fiat-c-boringssl.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/ci/test-fiat-c-boringssl.sh b/etc/ci/test-fiat-c-boringssl.sh index bb4d8bd28a..33522f6c1e 100755 --- a/etc/ci/test-fiat-c-boringssl.sh +++ b/etc/ci/test-fiat-c-boringssl.sh @@ -40,7 +40,7 @@ echo "::group::Building BoringSSL" set -ex mkdir build cd build - cmake -GNinja .. -DCMAKE_CXX_FLAGS="-Wno-error=unused-function ${EXTRA_CFLAGS}" -DCMAKE_C_FLAGS="-Wno-error=unused-function ${EXTRA_CFLAGS}" || exit $? + cmake -GNinja .. -DOPENSSL_NO_ASM=1 -DCMAKE_CXX_FLAGS="-Wno-error=unused-function ${EXTRA_CFLAGS}" -DCMAKE_C_FLAGS="-Wno-error=unused-function ${EXTRA_CFLAGS}" || exit $? ninja || exit $? }) || exit $? echo "::endgroup::"