Add .devcontainer/downstream-{voidlinux-latest,gentoo-overlay}
#36995
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Contributor
Author
|
|
Contributor
Author
|
Looks like I gave up a moment too early last time I tried. With the last commit, it's working now...
|
Contributor
|
Nice, so you are actually installing the distro package for sagemath... Too much latency for me (i.e. unusable) but nice idea. Most probably I won't be using this, but if there are issues on voidlinux side I can try to help. |
Contributor
Author
Yes, that's what "downstream" means in the name of this configuration. |
Contributor
Author
You mean the usability over the network? That's specific to Codespaces. People can also run this locally on their machines (in VS Code -> Open in devcontainer"), then there's no latency. |
Contributor
Yes, I'm sure it would be better locally (still electron afaik...) |
Contributor
Author
|
With |
Contributor
Author
|
Contributor
Author
Member
|
Adding the following should fix all the problems I see. I have to say |
Contributor
Author
|
Thanks a lot, this makes the container build succeed! In the next step, connecting to the container fails, but I'll see if I can fix this like I did for voidlinux by installing node.js etc. |
Member
|
If you are interested, advanced use allows you to test a particular PR by setting a couple of variable before building. |
Contributor
Author
|
Again to mask or to unmask is the question here |
Member
|
Forgot that bit, which is a bit redundant but makes sure that people know what they are doing when using sage-9999. |
Contributor
Author
|
@kiwifb This gets me to: |
Member
|
Looks to me, like you have an old snapshot of the overlay, prior to 10.3.beta1 cschwan/sage-on-gentoo@38439ec three weeks ago. This particular patch has been changed from |
Member
|
You may want to run a tree and overlay update as part of your container building. If your base container comes with should also do the trick. |
Contributor
Author
|
Thanks a lot! Turns out it does not have Afterwards, I'm getting another error: |
Member
|
The synchronisation time depends on how long since you last synchronized the main tree. Alternatively, a tarball can be fetched. But this is not what kills things according to your log. I have to add some useflags I did not know about and no one reported on. Or some other things to deal with it by default. And it looks like the jmol flag is not taking. I have to figure out why. |
Member
|
Where can I find documentation on sheerluck stage 4 image. I think something may have masked the jmol flag in there. |
Contributor
Author
|
@sheerluck Can you help? |
Member
|
I see that in https://codeberg.org/sheerluck/sage-on-gentoo-stage4/src/branch/master/2023/Dockerfile_gentoo-23.12-py10-base#L90 @sheerluck disable the documentation but sage-doc is pulled by the Let's try the following: instead. I took care of |
Member
|
The more I inspect the stage4 from @sheerluck and the more I think we should not start from there. There are certainly a lot of things missing from codeberg if you want to reproduce that stage4 yourself. And quite a few things that I find questionable. And if @sheerluck has an ebuild for coxeter, I would welcome it in the overlay and would create the corresponding |
Contributor
Author
|
@tornaria - this is the run of |
Contributor
Author
@kiwifb I'm happy to try out other approaches. In the current run, it seems to be in the middle of bootstrapping a gcc 13.2, which is not what I hoped for |
Member
|
Yes, sheerluck is keywording a lot of stuff in unstable, synchronising made a newer unstable gcc (13.2.1_p20231216) available. |
Member
|
I'll have to learn that ms json idiom to reproduce enough of what is needed as a bootstrap. |
Member
|
https://github.com/gentoo/gentoo-docker-images there is sample Dockerfile to use a gentoo docker to build something else inside. But it has to be adapted to that json format. |
Contributor
Author
One can use a Dockerfile too; see the other devcontainer config added in this PR. |
Contributor
I think you need user namespaces for xbps-uunshare to work (this is for the chroot where packages are built). Not sure if you can enable those while running in docker... You can try installing into Maybe that works inside docker (I don't know, maybe it also uses namespaces). The other chroot style that is used in the void linux CI is, I think, that surely works (it's the one used by void CI) but it says "for disposable containers" and I think it will somehow clobber the host system where it is run. I guess the "proper" solution is to launch one docker container just to build the sagemath package, then install the package in another container. See comment in I don't know either if you can run a docker container inside a docker container, if so you could try doing as explained in |
Member
|
I pushed a number of things in the sage-on-gentoo overlay which makes some of the present stuff for Gentoo obsolete. Most of it was clean up. I am adding a few things I think may be useful and debating adding some docker files. sheerluck's containers are supposed to be for building a "stable" version of sage while we are targeting "develop". Sherluck's container is based on some monthly snapshot of Gentoo to build the current stable. Because we are targeting develop, I think I we should always start from the gentoo:latest, which would mean we would not need to update the tree and should always be on top of things in sage-on-gentoo. I'll confess to sometimes leaving a beta release in an unbuildable state from time to time. But I am usually good. |
Member
|
Gentoo dockerfile starting point for sage-on-gentoo Some of the later bits could be transferred to the json file. Note that it is not useful to tell emerge about sage's dependencies as with [edit: change the keyword file from sage, which is for stable sage, and sage-devel which pulls sage's development branch.] |
Member
|
Trying to build a sage-on-gentoo container from kubuntu so I have a good grasp of what tweaks are needed. I have to add a few useflags to the |
Member
|
OK, I managed to almost build a sage-on-gentoo container on my kubuntu laptop with podman. I ran out of space after building the sage documentation. I am posting a slightly more documented dockerfile. It should also need a few less packages (but not much) compared to what I did. rust+python caused troubles for a bit but I tamed it. |
… as done in build/bin/write-dockerfile.sh
… --autounmask-write --autounmask
…on-gentoo into /etc/portage/* as suggested by Francois
…ckages needed by container remote
…suggested by Francois
…nd overlay update as suggested by Francois
…athematics/sage doc jmol' as suggested by Francois
|
Documentation preview for this PR (built with commit 5d4547e; changes) is ready! 🎉 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
To test:
https://github.com/codespaces/new?hide_repo_select=true&ref=voidlinux_devcontainer&repo=598219769&skip_quickstart=true, then select:
and use "Create Codespace"
We also add buttons for launching devcontainers to the installation guide.
Preview: https://deploy-preview-36995--sagemath.netlify.app/html/en/installation/linux
Similar to:
📝 Checklist
⌛ Dependencies