Merge pull request #2120 from albinahlback/fix_caching_autotools

Don't assume AVX if user specified their own CFLAGS
flintlib · Nov 30, 2024 · 692dd5c · 692dd5c
2 parents 2f4594b + 41011f2
commit 692dd5c
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/configure.ac b/configure.ac
@@ -758,6 +758,13 @@ Please report at <https://github.com/flintlib/flint/issues/>])
 	    ;;
 	esac
 
+    if test "$cflags_set" = "yes";
+    then
+        # We cannot be sure that AVX2 and AVX512 are enabled.
+        have_avx2="no"
+        have_avx512="no"
+    fi
+
     if test "$have_avx512" = "yes";
     then
         have_avx2="yes"
@@ -803,6 +810,13 @@ Please report at <https://github.com/flintlib/flint/issues/>])
         ;;
     esac
 
+    if test "$cflags_set" = "yes";
+    then
+        # We cannot be sure that AVX2 and AVX512 are enabled.
+        have_avx2="no"
+        have_avx512="no"
+    fi
+
     if test "$have_avx512" = "yes";
     then
         have_avx2="yes"