Update docker build

[saraedum]

The docker images are using Ubuntu impish. We should instead build against the latest LTS version jammy.

Also, the README on Docker Hub is quite outdated.

Finally, we drop the CircleCI setup here. To my knowledge nobody is using it and I it's likely broken by now anyway.

Depends on #34360

CC: @videlec @Kerl13

Component: docker

Author: Julian Rüth

Branch: f1f5a0f

Reviewer: MartinPepin

Issue created by migration from https://trac.sagemath.org/ticket/34242

[saraedum]

Branch: u/saraedum/34242

[sagetrac-git]

Commit: c67ea14

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

0d39387	Fix grammar
683f2e4	Link to trac ticket correctly in README
c67ea14	Let volunteers know that they are welcome to help with docker

[saraedum]

comment:3

This needs review, once I checked that this actually works with the 9.6 build.

[RefurioAnachro]

comment:5

I just checked with 9.6, it works without ARTIFACT_BASE.

When I do set ARTIFACT_BASE=sagemath/sagemath-dev:develop then docker build errors out with

ImportError: libssl.so.1.1: cannot open shared object file: No such file or directory

which is to be expected, since ubuntu jammy switches to openssl 3.

This is a critical change: without it, building with docker fails.

[mkoeppe]

Dependencies: #34360

[saraedum]

comment:8

mkoeppe, why the "needs work"?

[saraedum]

comment:9

Replying to @RefurioAnachro:

I just checked with 9.6, it works without ARTIFACT_BASE.

When I do set ARTIFACT_BASE=sagemath/sagemath-dev:develop then docker build errors out with

ImportError: libssl.so.1.1: cannot open shared object file: No such file or directory

which is to be expected, since ubuntu jammy switches to openssl 3.

This is a critical change: without it, building with docker fails.

I guess that's only a temporary issue. Once a newer image has been uploaded that shouldn't be an issue anymore.

[mkoeppe]

comment:10

Replying to @saraedum:

I guess that's only a temporary issue. [...]

I'd suggest that you build the images and make them available for testing. Maybe then reviewers will step up.

[saraedum]

comment:11

Yes, but unfortunately, the build failed.

[Kerl13]

comment:13

Replying to Julian Rueth:

Yes, but unfortunately, the build failed.

It seems to have failed for a weird reason not related to the docker configuration (apt-get not being able to install some packages).
I think it has been fixed on the develop branch, maybe merging/rebasing will be enough to fix the build ?

BTW: I also managed to build the docker images on my system using your updated dockerfile so +1 for merging this patch

[Kerl13]

comment:15

Replying to Julian Rüth:

Yes, but unfortunately, the build failed.

I took the liberty to rebase on develop to check whether this fixes the CI issue, and updated the ticket. Feel free to re-enable your branch at any time!

---

New commits:

debca31	Update docker build
417ca31	Fix grammar
27910f1	Link to trac ticket correctly in README
f1f5a0f	Let volunteers know that they are welcome to help with docker

[Kerl13]

Changed branch from u/saraedum/34242 to u/MartinPepin/34242

[Kerl13]

Changed commit from c67ea14 to f1f5a0f

[Kerl13]

Reviewer: MartinPepin

[Kerl13]

comment:19

Looks good to me, I had no problem building and using the images

[Kerl13]

comment:20

For anyone willing to test the images, I put them here (very temporarily):

• sagemath

  • weight: 3.5G
  • image: https://ironlung.wkerl.me/tmp-uGibUdLaomUOIRC1/sagemath.tar
  • sha512sum: d59debd3e73fe0f623d362800a94614e3a3209dcebd377878719bbceeb2149c63ad928a7a5224bb082eafa568984ccd1702a4e7d9097dc186e5e160bb2e81e3f

• sagemath-dev

  • weight: 8.5G
  • images: https://ironlung.wkerl.me/tmp-uGibUdLaomUOIRC1/sagemath-dev.tar
  • sha512sum: e0b1ea39e91d7c11e8c791404aab150fc3b97980986ac8cc16d3b737c92953d22102a8b78f6ae7f0329e60b4bed981fd41f8b7de6176262287df89c499dc7db4

[j2kun]

comment:21

What a timely update! I just ran into this problem when trying to derive a container from sagemath:9.5 with an additional git clone to fetch a dependency (installing git fails due to apt, and git is not installed by default on this container).

I fetched the sagemath container in comment20, and it works great. Looking forward to the push of the updated image.

[vbraun]

Changed branch from u/MartinPepin/34242 to f1f5a0f

[saraedum]

comment:23

The images on DockerHub are now also updated.

[saraedum]

Changed commit from f1f5a0f to none