replaced mno-fused-add option with -ffp-contract=off

eth-sri · Aug 1, 2019 · 7682184 · 7682184
1 parent 1f6dc4b
commit 7682184
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/configure b/configure
@@ -571,7 +571,7 @@ JNIINC = -I$java_home/include/
 CFLAGS = $cflags
 
 # Architecture specific flags
-AFLAGS = -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -mno-fused-madd
+AFLAGS = -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off
 DFLAGS = -g  -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING \$(AFLAGS) \$(IS_APRON) \$(IS_VECTOR) 
 
 # ocamlc compilation flags