From 1b0567adda1ea6a4d496111f72ae309e6c742dff Mon Sep 17 00:00:00 2001
From: Catena cyber <35799796+catenacyber@users.noreply.github.com>
Date: Fri, 24 Aug 2018 18:46:54 +0200
Subject: [PATCH] Portable GMP for nettle for ecc-diff-fuzzer (#1755)

see https://gmplib.org/manual/Build-Options.html
---
 projects/ecc-diff-fuzzer/build.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/projects/ecc-diff-fuzzer/build.sh b/projects/ecc-diff-fuzzer/build.sh
index 80e155cb3..abc1385e0 100755
--- a/projects/ecc-diff-fuzzer/build.sh
+++ b/projects/ecc-diff-fuzzer/build.sh
@@ -21,7 +21,9 @@
 cd nettle
 tar -xvf ../gmp-6.1.2.tar.bz2
 cd gmp-6.1.2
-./configure
+#do not use assembly instructions as we do not know if they will be available on the machine who will run the fuzzer
+#we could do instead --enable-fat
+./configure --disable-assembly
 make
 make install
 cd ..