diff --git a/build/pkgs/fflas_ffpack/spkg-install.in b/build/pkgs/fflas_ffpack/spkg-install.in index b9dd851875f..2aab4be446b 100644 --- a/build/pkgs/fflas_ffpack/spkg-install.in +++ b/build/pkgs/fflas_ffpack/spkg-install.in @@ -20,7 +20,7 @@ FFLAS_FFPACK_CONFIGURE="$SAGE_CONFIGURE_FFLAS_FFPACK $FFLAS_FFPACK_CONFIGURE" # If SAGE_FAT_BINARY is set, disable all processor-specific optimizations if [ "$SAGE_FAT_BINARY" = yes ]; then - FFLAS_FFPACK_CONFIGURE="--disable-sse --disable-sse2 --disable-sse3 --disable-ssse3 --disable-sse41 --disable-sse42 --disable-fma --disable-fma4 --disable-avx --disable-avx2 --disable-avx512f --disable-avx512dq --disable-avx512vl $FFLAS_FFPACK_CONFIGURE" + FFLAS_FFPACK_CONFIGURE="--without-archnative $FFLAS_FFPACK_CONFIGURE" fi # Need to use 'bash' for configure, see diff --git a/build/pkgs/givaro/spkg-install.in b/build/pkgs/givaro/spkg-install.in index ec05be95f16..1d39e1a7dfb 100644 --- a/build/pkgs/givaro/spkg-install.in +++ b/build/pkgs/givaro/spkg-install.in @@ -6,7 +6,7 @@ cd src # When SAGE_FAT_BINARY is set, disable processor-specific optimizations if [ "$SAGE_FAT_BINARY" = yes ]; then - GIVARO_CONFIGURE="--disable-sse --disable-sse2 --disable-sse3 --disable-ssse3 --disable-sse41 --disable-sse42 --disable-fma --disable-fma4 --disable-avx --disable-avx2 $GIVARO_CONFIGURE" + GIVARO_CONFIGURE="--without-archnative $GIVARO_CONFIGURE" fi cp "$SAGE_ROOT"/config/config.* build-aux/ diff --git a/build/pkgs/linbox/spkg-install.in b/build/pkgs/linbox/spkg-install.in index 7acc5547e9f..6beff830606 100644 --- a/build/pkgs/linbox/spkg-install.in +++ b/build/pkgs/linbox/spkg-install.in @@ -15,7 +15,7 @@ export CPPFLAGS="$CPPFLAGS -DDISABLE_COMMENTATOR" # If SAGE_FAT_BINARY is set, disable dependency that be discovered on the building system. if [ "$SAGE_FAT_BINARY" = yes ]; then - LINBOX_CONFIGURE="--disable-sse3 --disable-ssse3 --disable-sse41 --disable-sse42 --disable-fma --disable-fma4 --disable-avx --disable-avx2 --without-ocl $LINBOX_CONFIGURE" + LINBOX_CONFIGURE="--without-archnative --without-ocl $LINBOX_CONFIGURE" fi # Disable fplll as version 5.x is not supported by linbox <= 1.5.0.