diff --git a/L/libsemigroups/build_tarballs.jl b/L/libsemigroups/build_tarballs.jl index 3361b123a6a..f1d845b4cca 100644 --- a/L/libsemigroups/build_tarballs.jl +++ b/L/libsemigroups/build_tarballs.jl @@ -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 @@ -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} \