On Thu, Mar 14, 2019 at 12:06 AM Dima Pasechnik <[email protected]> wrote:
>
> It's reproducible on my Linux machine, and I see that
> "non-directory '/opt/sage/local/./lib64'" is a symbolic link.
>
> removing it manually allows the install to complete.
> (whether it breaks anything I don't know, but should not be too hard to
> fix...)
At this point I like having it there essentially as a guard--the
package should not be trying to install anything into ${prefix}/lib64.
It should just use ${prefix}/lib.
> On Wed, Mar 13, 2019 at 10:59 PM Dima Pasechnik <[email protected]> wrote:
> >
> > On Wed, Mar 13, 2019 at 8:07 PM Vincent Delecroix
> > <[email protected]> wrote:
> > >
> > > Dear all,
> > >
> > > I did try `sage -i primecount` to install the optional primecount
> > > package (archlinux with compiles SageMath 8.7.beta6). The compilation
> > > went file but copying the files went wrong (see attached log).
> > >
> > > Any help on how to fix the problem is welcome.
> > looks very much like this: https://trac.sagemath.org/ticket/26996
> > >
> > > Best
> > > Vincent
> > >
> > > --
> > > 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 [email protected].
> > > To post to this group, send email to [email protected].
> > > Visit this group at https://groups.google.com/group/sage-devel.
> > > 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 [email protected].
> To post to this group, send email to [email protected].
> Visit this group at https://groups.google.com/group/sage-devel.
> 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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
