Skip to content

[upgrade] libsemigroups to v3.5.1 & disable HPCombi on all platforms #13239

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

Open
jfjameslee wants to merge 8 commits into
base: master
Choose a base branch
from
Open

[upgrade] libsemigroups to v3.5.1 & disable HPCombi on all platforms #13239

Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
8fab719
Add libsemigroups v3.4.0
Feb 25, 2026
232012d
Add review changes & x86_64-apple-darwin fixes
Feb 26, 2026
50d5ca8
Disable HPCombi on non-x86_64 platforms
Feb 26, 2026
fc40c88
clang_use_lld, disable HPCombi for 32-bit and macos_sdks
Feb 26, 2026
5b5730d
Disable hpcombi for powerpc as well
jfjameslee Feb 26, 2026
6c5db35
Disable HPCombi on all platforms
jfjameslee Mar 3, 2026
15ff0b2
Merge branch 'master' into add-libsemigroups
jfjameslee Mar 3, 2026
fd60cfd
Upgrade libsemigroups to v3.5.1
jfjameslee Mar 4, 2026
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
11 changes: 4 additions & 7 deletions L/libsemigroups/build_tarballs.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,12 +4,12 @@ const YGGDRASIL_DIR = "../.."
include(joinpath(YGGDRASIL_DIR, "platforms", "macos_sdks.jl"))

name = "libsemigroups"
version = v"3.4.0"
version = v"3.5.1"

# Collection of sources required to complete build
sources = [
GitSource("https://github.com/libsemigroups/libsemigroups.git",
"6b63b74b37ad8d5fe0be82b3225e048d95b3eb2c"), # v3.4.0
"64b31f23d57ca36f613f2adc8525df36cd8bf2f2"), # v3.5.1
]

# Bash recipe for building across all platforms
Expand All @@ -20,11 +20,8 @@ cd $WORKSPACE/srcdir/libsemigroups
./autogen.sh
export CPPFLAGS="-I${prefix}/include"

# Disable HPCombi on 32-bit platforms (requires __int128)
HPCOMBI_FLAG=""
if [[ "${nbits}" == 32 ]] || [[ "${target}" == powerpc* ]]; then
HPCOMBI_FLAG="--disable-hpcombi"
fi
# Disable HPCombi on all platforms
HPCOMBI_FLAG="--disable-hpcombi"

./configure --prefix=${prefix} \
--build=${MACHTYPE} \
Expand Down