Well if it is an environment variable it can be set at build time I guess. I know I am a pain to deal with but I have done away with sage-env completely since at least sage 8.6. And anyway, I don’t think anyone of us uses it at build time. So it is for your benefit without getting in our way. Now you have to make a note in the doc that ARB_LIBRARY needs to be set during build one way or another or something of that effect.
I don’t know what other people think of it. François > On 16/07/2019, at 9:44 PM, Dima Pasechnik <dimp...@gmail.com> wrote: > > On Tue, Jul 16, 2019 at 1:13 AM François Bissey <frp.bis...@gmail.com> wrote: >> >> 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. > > alternatively I can store an environment variable in src/bin/sage-env-config > (which, as you know, is also created by ./configure :-)) > and then access it from src/sage/env.py to populate ARB_LIBRARY > > This would avoid creating src/sage/env.py.in > > >> >>> On 16/07/2019, at 12:04 PM, François Bissey <frp.bis...@gmail.com> wrote: >>> >>> I will not give it a positive review. I won’t prevent other people to do so. >>> But I will not put my name on this. >>> >>> François >>> >>>> On 16/07/2019, at 12:02 PM, Dima Pasechnik <dimp...@gmail.com> wrote: >>>> >>>> One way or another, we need to move forward on >>>> https://trac.sagemath.org/ticket/27270 >>>> --- if you have a better solution than there, implement it, if not, >>>> accept what it already provided. >>>> >>>> On Mon, Jul 15, 2019 at 11:31 PM François Bissey <frp.bis...@gmail.com> >>>> wrote: >>>>> >>>>> For those not reading the ticket. >>>>> Dima: >>>>> well, I don't see a point of not running ./configure. Perhaps it was >>>>> fashionable in Python world 10-15 years ago :-) >>>>> >>>>> My answer: >>>>> 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. There 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. >>>>> >>>>> Let's be honest, a small configure script for sage's optional stuff and >>>>> the possibly unusual stuff >>>>> would be fine to run. The full configure script for the whole of the >>>>> distribution is inappropriate. >>>>> It all goes back, once again, to "sagelib" being treated special instead >>>>> of as a normal package. >>>>> So many things would have to click in place once you do that. Other >>>>> superbuild systems like the one >>>>> for paraview don't treat the main target in a special way like sage's >>>>> does. >>>>> >>>>> — >>>>> François >>>>> >>>>>> On 16/07/2019, at 10:15 AM, François Bissey <frp.bis...@gmail.com> wrote: >>>>>> >>>>>> >>>>>> >>>>>>> On 16/07/2019, at 10:11 AM, arojas <nqn1...@gmail.com> wrote: >>>>>>> >>>>>>> >>>>>>> >>>>>>> El martes, 16 de julio de 2019, 0:07:19 (UTC+2), François Bissey >>>>>>> escribió: >>>>>>> >>>>>>> And here I don’t run configure at all in sage-on-gentoo. I only use >>>>>>> python standard >>>>>>> tools to build the sage library itself. I could fix it but this is an >>>>>>> annoyance I don’t need. >>>>>>> >>>>>>> François >>>>>>> >>>>>>> Neither do I - but with this patch there is no choice >>>>>> >>>>>> The choice is manual. You process the `env.py.in` manually in your >>>>>> preparation >>>>>> phase. Which is terrible of course but better than running configure. >>>>>> And since I am building multiple python having to run configure is >>>>>> really a pain >>>>>> in the ***. >>>>>> >>>>>> François >>>>> >>>>> -- >>>>> 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/820236E3-2C69-460E-94F9-7140C1AFA911%40gmail.com. >>>>> For more options, visit https://groups.google.com/d/optout. >>>> >>>> -- >>>> 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/CAAWYfq2fzJ2u5SLcgNTZKnuCnEtYaY%2Bb%3DYgXCWpfF%2Byb7D3F7g%40mail.gmail.com. >>>> For more options, visit https://groups.google.com/d/optout. >>> >> >> -- >> 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/F3A5787A-7136-487A-A91A-6260654203AA%40gmail.com. >> For more options, visit https://groups.google.com/d/optout. > > -- > 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/CAAWYfq3EDqu71PLodL-4pkN-PhMnwoscCAnPfjVrGfkRJPeuOw%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. -- 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/144D631E-E202-4F06-9F5B-A772ED4566D8%40gmail.com. For more options, visit https://groups.google.com/d/optout.
