On the other hand, the "sage-10.4.tar.gz" tarball that is built by the Release Manager and put on the Sage mirrors (as well as the "sage-10.4.tar.gz" tarball that is built using the same procedure and put on GitHub Releases - https://github.com/sagemath/sage/releases/tag/10.4) does contain an upstream/ directory that is populated with the upstream tarballs/wheel files of all standard normal/wheel packages. With the branch of https://github.com/sagemath/sage/pull/38219, also the new binary wheel files (such as rpds_py-0.18.1-cp310-cp310-macosx_11_0_arm64.whl and rpds_py-0.18.1-cp310-cp310-musllinux_1_2_i686.whl) will appear in this directory.
On Wednesday, August 14, 2024 at 10:25:05 AM UTC-7 Matthias Koeppe wrote: > On Wednesday, August 14, 2024 at 7:50:52 AM UTC-7 Kwankyu Lee wrote: > > There are multiple "tarballs" (actually wheel files) listed in > checksums.ini and uploaded/downloaded to/from GitHub Releases and the Sage > mirrors > Together they cover the supported platforms. > > > Thanks. I confess that I misunderstood things about installing sage from > source. I thought, for example, sage-10.4.zip contains all upstream source > tarballs (files in /upstream) so that it can be used to install sage from > it without internet connection. My question was based on the > misunderstanding. Unzipping the zip file (first time for me) proved that I > am wrong. > > > If you a referring to the "Source code (zip)" file that you find in > https://github.com/sagemath/sage/releases/tag/10.4 ( > https://github.com/sagemath/sage/archive/refs/tags/10.4.zip): That file > is automatically generated by GitHub from the commit of the tag. It has no > relation to the present discussion. > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/4c34a278-0209-4f2a-bdc9-17b1b975b433n%40googlegroups.com.
