In an attempt to be helpful I tried to recreate the error with fewer 
options to configure.  It appears that on Catalina the error is caused by:

./configure --with-system-gp2c=no

On Sunday, July 26, 2020 at 6:00:45 PM UTC-4 Samuel Lelievre wrote:

> 2020-07-25 21:30:25 UTC Samuel Lelièvre:
>
> >
> > 2020-05-25 20:25:58 UTC, Dima Pasechnik: 
> > > 
> > > try adding 
> > > 
> > > --with-system-pari=no 
> > > 
> > > although indeed this looks like a bug to me 
> >
> > Thanks! In fact `--with-system-pari=no` is already there. 
> > (The flags are in the order found in `./configure --help`.) 
>
> Should I open a ticket? If so what should I call it?
>

-- 
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/770c56bd-7faf-472d-90bf-47bc0215308en%40googlegroups.com.

Reply via email to