[Debian-science-sagemath] [sage-devel] name of arb library in Debian and adjustments needed

[Dima Pasechnik]

On Tue, Jul 16, 2019 at 1:13 AM François Bissey <frp.bissey at 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.bissey at 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 <dimpase at 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.bissey at 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.bissey at gmail.com> wrote:
> >>>>
> >>>>
> >>>>
> >>>>> On 16/07/2019, at 10:11 AM, arojas <nqn1976 at 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+unsubscribe at googlegroups.com.
> >>> To post to this group, send email to sage-devel at 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+unsubscribe at googlegroups.com.
> >> To post to this group, send email to sage-devel at 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+unsubscribe at googlegroups.com.
> To post to this group, send email to sage-devel at 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.