Thank you, Matthias. Now I have a followup question, which is the tip of an iceberg. The iceberg consists of my thoughts about how to simplify and improve the organization of files in Sage. I am not asking for a yes or no answer, or a list of possible problems. I am just trying to find out whether people would be willing to consider an idea.
Would it be possible for the sage build process to use sage/local as the unique "system location"? The sage/local directory would be built by one stage of the sage build process, preceding the stage that builds the venv. Inside sage/local one would find either files built by the sage build system, or symlinks to files in other locations on the host system, such as /usr/local, or /opt/local, or a conda directory. The question of whether to use a symlink for X would be the same as the question of whether to use "a system-X". The venv would always contain a pyvenv.cfg file. Within the venv every python extension module which uses other libraries would have its rpath pointing inside of sage/local, possibly to a real library or possibly to a symlink. Binary packages assembled by delocate would be exceptions because they already set the rpaths, to a subdirectory of the python package named .dylibs. - Marc On Thursday, December 7, 2023 at 12:17:00 PM UTC-6 Matthias Koeppe wrote: > On Thursday, December 7, 2023 at 10:04:14 AM UTC-8 Marc Culler wrote: > > I have a very narrow techical question. I am hoping for a narrow > technical answer, preferably from someone who was involved in designing the > Sage venv. > > QUESTION: Why doesn't the Sage venv contain a pyvenv.cfg file? > > > It does whenever it's actually a venv in the technical sense (which you > explain correctly). > > If system python gets used, then the Sage distribution creates an actual > venv over it. So there's a pyvenv.cfg. > > But if a python is built by the Sage distribution, then it is merely an > installation tree of that python. In this case, there's no pyvenv.cfg. > > > > > -- 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/d06625de-e242-430e-a9d8-980a73bedf17n%40googlegroups.com.
