From ae18314d7acd71fb99e43aad3d31daeac0a2074f Mon Sep 17 00:00:00 2001 From: Max Horn Date: Sun, 4 Oct 2020 11:22:19 +0200 Subject: [PATCH] Update Singular, fix GMP dependency Force GMP_jll to build with version 6.1.2, to ensure the resulting binaries work in both Julia <= 1.5 and >= 1.6 --- S/Singular/build_tarballs.jl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/S/Singular/build_tarballs.jl b/S/Singular/build_tarballs.jl index df54c2d4c96..68c050ea0fb 100644 --- a/S/Singular/build_tarballs.jl +++ b/S/Singular/build_tarballs.jl @@ -7,7 +7,7 @@ version = v"4.1.3" # this is actually 4.1.3p5 with some extra patches # Collection of sources required to build normaliz sources = [ - GitSource("https://github.com/Singular/Sources.git", "eca06c1bccc0f72a9c3147f058fd8aad961ad7ee"), + GitSource("https://github.com/Singular/Sources.git", "17f0567a82824601e71ff151ecb63d656719b866"), ] # Bash recipe for building across all platforms @@ -34,7 +34,7 @@ make install # These are the platforms we will build for by default, unless further # platforms are passed in on the command line platforms = supported_platforms() -platforms = filter!(p -> !(p isa Windows), platforms) +platforms = filter!(p -> !Sys.iswindows(p), platforms) platforms = expand_cxxstring_abis(platforms) # The products that we will ensure are always built @@ -56,7 +56,7 @@ products = [ dependencies = [ Dependency("cddlib_jll"), Dependency("FLINT_jll"), - Dependency("GMP_jll"), + Dependency("GMP_jll", v"6.1.2"), Dependency("MPFR_jll"), ]