[cryptofuzz] Add mini-gmp (#8404)

This commit is contained in:
Guido Vranken 2022-09-05 08:01:20 +02:00 committed by GitHub
parent b5c6cd48c0
commit 37cf22b6c7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -616,6 +616,10 @@ then
cp $SRC/cryptofuzz-corpora/boringssl_latest.zip $OUT/cryptofuzz-boringssl_seed_corpus.zip
fi
# Compile Cryptofuzz libgmp mini-gmp module
cd $SRC/cryptofuzz/modules/libgmp
make -B -f Makefile-mini-gmp
##############################################################################
# Compile BoringSSL (with assembly)
cd $SRC/boringssl