build/pkgs: Update scip to 9, scip_sdp to 4.4, soplex to 7, papilo to 2.2, pyscipopt to 5, onetbb to 2021.11

[mkoeppe]

https://www.scipopt.org/doc-9.0.0/html/RN90.php

• fatal error: 'symmetry/struct_symmetry.h' file not found scipopt/SCIP-SDP#12
• soplex 7.0.0: Test suite failures (...-mps-exact-pure-boosting) on numerous platforms scipopt/soplex#35
• needs pyscipopt update

📝 Checklist

• The title is concise and informative.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation accordingly.

⌛ Dependencies

• Depends on CI macOS: Fix failure with macos-13-homebrew, add tests on M1 runners, add timeouts #37237
• Depends on CI: Update Linux platforms / runners, remove ubuntu-trusty, opensuse-{15.3,15.4} #37351
• Depends on CI: Upload test stats as artifacts, improve output of "List Docker images" #36970
• Depends on build/pkgs/pyscipopt: Update to 4.4.0, add Cython 3 patch #37392

[github-actions]

Documentation preview for this PR (built with commit 1f28d78; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

[kwankyu]

"CI Linux incremental" all broken at

Dockerfile:57
--------------------
  55 |     ADD  src src
  56 |     ARG TARGETS="build"
  57 | >>> RUN  make SAGE_SPKG="sage-spkg -y -o" ${USE_MAKEFLAGS} ${TARGETS}  
  58 |     
  59 |     FROM with-targets as with-targets-optional

?

[kwankyu]

make pyscipopt fails for me.

pyscipopt-5.0.0.log

[kwankyu]

Perhaps pyscipopt has obsolete patches?

[kwankyu]

Removing build/pkgs/pyscipopt/patches/792.patch makes it go through.

[mkoeppe]

Indeed. Looks like I only tested it via the upstream workflow (scipopt/PySCIPOpt#630), which auto-removes the Sage patches.

[kwankyu]

It would be good to see at least one success of "CI Linux incremental" instances, but they seem all broken.

Anyway, this PR works well on my system.

[mkoeppe]

It would be good to see at least one success of "CI Linux incremental" instances, but they seem all broken.

Well, there's no friendly green checkmark because of unrelated technical issues, but you do get "All tests passed!", for example in https://github.com/sagemath/sage/actions/runs/8811573741/job/24185749981?pr=37494#step:11:13091

[mkoeppe]

Thanks for the review!

[mkoeppe]

@vbraun This file is missing on the mirrors

Attempting to download package scip-9.0.0.tar.gz from mirrors
https://github.com/sagemath/sage/releases/download/10.4/scip-9.0.0.tar.gz
[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//github.com/sagemath/sage/releases/download/10.4/scip-9.0.0.tar.gz'
https://github.com/sagemath/sage/releases/download/10.3/scip-9.0.0.tar.gz
[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//github.com/sagemath/sage/releases/download/10.3/scip-9.0.0.tar.gz'
https://github.com/sagemath/sage/releases/download/10.2/scip-9.0.0.tar.gz
[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//github.com/sagemath/sage/releases/download/10.2/scip-9.0.0.tar.gz'
https://mirror.lyrahosting.com/sagemath/spkg/upstream/scip/scip-9.0.0.tar.gz
[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.lyrahosting.com/sagemath/spkg/upstream/scip/scip-9.0.0.tar.gz'
https://mirror.csclub.uwaterloo.ca/sage/spkg/upstream/scip/scip-9.0.0.tar.gz
[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.csclub.uwaterloo.ca/sage/spkg/upstream/scip/scip-9.0.0.tar.gz'
https://mirror.koddos.net/sagemath/spkg/upstream/scip/scip-9.0.0.tar.gz
[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.koddos.net/sagemath/spkg/upstream/scip/scip-9.0.0.tar.gz'
http://files.sagemath.org/spkg/upstream/scip/scip-9.0.0.tar.gz
[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//files.sagemath.org/spkg/upstream/scip/scip-9.0.0.tar.gz'
https://mirror.dogado.de/sage/spkg/upstream/scip/scip-9.0.0.tar.gz
[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror.dogado.de/sage/spkg/upstream/scip/scip-9.0.0.tar.gz'
https://mirror-hk.koddos.net/sagemath/spkg/upstream/scip/scip-9.0.0.tar.gz
[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
ERROR [transfer|run:135]: [Errno socket error] [Errno 404] Not Found: '//mirror-hk.koddos.net/sagemath/spkg/upstream/scip/scip-9.0.0.tar.gz'

[mkoeppe]

@vbraun Still missing: scip-9.0.0.tar.gz https://github.com/sagemath/sage/actions/runs/9234698750/job/25408697887#step:5:1686

[vbraun]

ok should be be uploaded now