On 2019-05-09 10:55, Vincent Delecroix wrote:
Dear Pepijn,
Your config.log mentions that you ran
$ ./configure --prefix=/home/pwissing/sage-8.7/local
--libdir=/home/pwissing/sage-8.7/local/lib
--with-gmp=/home/pwissing/sage-8.7/local
--with-mpfr=/home/pwissing/sage-8.7/local
That's the config.log of mpc, which looks OK.
--
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.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/5CD3ED67.5070901%40UGent.be.
For more options, visit https://groups.google.com/d/optout.
