On 7/15/19 8:12 PM, François Bissey wrote: > It is an interesting comment about configure. Unfortunately, as far > as I know running configure for a python project is still not a done > thing. It doesn't mesh with the other elements of the python > toolchain. is certainly room for some configurability option in sage > in regards to the optional libraries. But autotool's configure is > definitely not the python way. Apart from cypari I cannot think of > another python package using configure. > > ... > > My contingency plan for sage-on-gentoo is> sed “s:@ARB_LIBRARY@:arb:” > src/sage/env.py.in > src/sage/env.py> Replace “arb” and the paths with what is appropriate for your distribution. Python packages share the same problem that C/C++ packages do with regards to system paths. If the configuration file for the foo daemon is /etc/foo.conf on Debian and /etc/foo/foo.conf on Gentoo, what do you do?
The right answer would be to travel back in time, and just use autotools for python packages instead of reinventing the wheel. But it's too late to shoehorn that into the whole ecosystem now. So, in practice, we get one of two solutions. Either the distributions patch everything (like you're planning to do above), or every python package has to reinvent parts of autotools, for example: https://git.launchpad.net/dkimpy-milter/tree/setup.py Either one is fine. Even though autotools would be "the right way" in my opinion, I don't bother with it in my own packages -- like you said, it doesn't work well with the existing tooling (I prefer shorter ebuilds). -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/7e4ed0ef-616a-04f9-7ad1-bdeab80f1dd2%40orlitzky.com. For more options, visit https://groups.google.com/d/optout.
