[polymake] bump to 4.2 and add patch for sigint

[benlorenz]

The sigint patch make sure that the Ctrl+C handler of julia is kept, otherwise julia will terminate immediately when ctrl+c is pressed after polymake_jll was loaded (and initialized).
Switched to archive source.

[giordano]

I recommend this pull request isn't merged for a few days since it depends on GMP

[benlorenz]

Ok, that's fine with me.

[fingolfin]

Since PR #1739 was merged, this PR here could be "resumed" now. Not sure if that requires a rebase by @benlorenz or if it suffices to close and reopen to ensure it is rebuilt based on latest master?

[giordano]

CI of pull requests is run on the merge commit against the target branch

[fingolfin]

@giordano thanks for helping out!

@benlorenz was there a particular reason to only allow the cxx11 strings ABI (note: as far as I understand things, the cxxstring ABI does not restrict the C++ standard one can use; i.e. one can use the cxx03 string ABI also with C++11 or C++14 code, and vice versa use the cxx11 string ABI in C++03 code.

[fingolfin]

Indeed, see the blue box under https://juliapackaging.github.io/BinaryBuilder.jl/dev/building/#Expanding-C-string-ABIs-or-libgfortran-versions

[benlorenz]

There is no libcxxwrap_julia for the cxx03 ABI:

Yggdrasil/L/libcxxwrap_julia/build_tarballs.jl

Line 33 in 4f8c5db

Linux(:i686; libc=:glibc, compiler_abi=CompilerABI(cxxstring_abi=:cxx11)),

[giordano]

That may hopefully change in the future

[fingolfin]

Note that a bunch of other packages are using CompilerABI, e.g. CMake, libcxxwrap_julia, libpolymake_julia, libsingular_julia, and more, so I guess all of those should be adjusted? Of course it's a bit annoying that this then means that people who want to test them locally now have to install dev versions of Julia 1.6, BinaryBuilder, and BinaryBuilderBase...

[giordano]

Of course it's a bit annoying that this then means that people who want to test them locally now have to install dev versions of Julia 1.6, BinaryBuilder, and BinaryBuilderBase...

I know, but unfortunately in BinaryBuilder now we heavily rely on features present in Julia nightly which makes keeping compatibility with older Julia versions nearly impossible, or too much effort to be worth it. The compatibility shim now used for the platforms doesn't really work great, I'm not going to spend time on it (my bandwidth is limited...), but anyone is welcome to improve it .

Note that to test one of these builders locally the quick and dirty trick is to locally set

platforms = Platform[]

and manually build from the command line for whatever platform you're interested in.

[benlorenz]

Thanks for your help!