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.