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`.)

-- 
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/CAEcArF3supyJL1TQRnyfzGmPPEgUAnThSovPPw%3DOGYxdHB8gXA%40mail.gmail.com.

Reply via email to