Don't assume AVX if user specified their own CFLAGS

albinahlback · Nov 30, 2024 · 41011f2 · 41011f2
1 parent 2f4594b
commit 41011f2
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"