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/f1d8351a-d60d-4d89-98dd-fcffb7ec06d9o%40googlegroups.com.
