Skip to content

TEST: build givaro, fflas-ffpack and linbox with disable native arch #41277

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
cxzhong wants to merge 19 commits into from
Closed

TEST: build givaro, fflas-ffpack and linbox with disable native arch #41277

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
01d0fe0
Implement SIMD instruction set configuration options
cxzhong Dec 9, 2025
2cd7381
Update SIMD options handling in common.m4
cxzhong Dec 9, 2025
1749d2a
Update package version to 2.5.0
cxzhong Dec 9, 2025
5371e29
Update fflas-ffpack simd options patch
cxzhong Dec 9, 2025
f4f1126
Update patch for fflas-ffpack SIMD options
cxzhong Dec 9, 2025
9b9f3a3
Simplify FFLAS_FFPACK configuration for fat binaries
cxzhong Dec 9, 2025
a3e31d3
Add options to disable SIMD instruction sets
cxzhong Dec 9, 2025
5ce52ac
Update linbox tarball version in checksums.ini
cxzhong Dec 9, 2025
e9a3e6f
Update linbox package version to 1.7.1p1
cxzhong Dec 9, 2025
3533a6a
Update LINBOX_CONFIGURE options for SAGE_FAT_BINARY
cxzhong Dec 9, 2025
c5f7c80
Fix upstream URL for linbox tarball
cxzhong Dec 9, 2025
081fc3a
Add additional AVX512 flags for LINBOX configuration
cxzhong Dec 9, 2025
863e270
Modify LINBOX_CONFIGURE for SAGE_FAT_BINARY
cxzhong Dec 10, 2025
a25e957
Update FFLAS_FFPACK_CONFIGURE for SAGE_FAT_BINARY
cxzhong Dec 10, 2025
e366801
Delete build/pkgs/fflas_ffpack/patches/fflas-ffpack-simd-options.patch
cxzhong Dec 10, 2025
8337974
Delete build/pkgs/linbox/patches/add-disable-simd-option.patch
cxzhong Dec 10, 2025
5244554
Update Givaro version in checksums.ini
cxzhong Dec 10, 2025
a63d07b
Update Givaro package version to 4.2.1p1
cxzhong Dec 10, 2025
5978a0b
Modify GIVARO_CONFIGURE for SAGE_FAT_BINARY
cxzhong Dec 10, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion build/pkgs/fflas_ffpack/package-version.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2.5.0+sage-2024-05-18b
2.5.0
2 changes: 1 addition & 1 deletion build/pkgs/fflas_ffpack/spkg-install.in
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
4 changes: 2 additions & 2 deletions build/pkgs/givaro/checksums.ini
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
tarball=givaro-VERSION.tar.gz
tarball=givaro-4.2.1.tar.gz
sha1=e666ec88a10f333158df09a9f0c23078d99282d9
sha256=feefb7445842ceb756f8bb13900d975b530551e488a2ae174bda7b636251de43
upstream_url=https://github.com/linbox-team/givaro/releases/download/vVERSION/givaro-VERSION.tar.gz
upstream_url=https://github.com/linbox-team/givaro/releases/download/v4.2.1/givaro-4.2.1.tar.gz
2 changes: 1 addition & 1 deletion build/pkgs/givaro/package-version.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
4.2.1
4.2.1p1
2 changes: 1 addition & 1 deletion build/pkgs/givaro/spkg-install.in
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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/
Expand Down
4 changes: 2 additions & 2 deletions build/pkgs/linbox/checksums.ini
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
tarball=linbox-VERSION.tar.gz
tarball=linbox-1.7.1.tar.gz
sha1=a0834bc6d2ad61f25687595370e7e043b5fa8cd4
sha256=a2b5f910a54a46fa75b03f38ad603cae1afa973c95455813d85cf72c27553bd8
upstream_url=https://github.com/linbox-team/linbox/releases/download/vVERSION/linbox-VERSION.tar.gz
upstream_url=https://github.com/linbox-team/linbox/releases/download/v1.7.1/linbox-1.7.1.tar.gz
2 changes: 1 addition & 1 deletion build/pkgs/linbox/package-version.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
1.7.1
1.7.1p1
2 changes: 1 addition & 1 deletion build/pkgs/linbox/spkg-install.in
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
Loading