@Dima Thanks, that seems to have worked. So what I did was try to reinstall gmp through brew (I couldn't uninstall it because it is required by other packages). It refused to allow me to reinstall without first removing some copies of the gmp header files that were in /usr/local/share because it seems that it was using these copies. So where I previously I saw the statements:
checking gmpxx.h usability... no checking gmpxx.h presence... no and these were "yes" when it finally did compile completely. @John: yes I did follow the suggestions at the end of running configure. Thanks, -Mike On Monday, 1 June 2020 07:38:10 UTC-4, Dima Pasechnik wrote: > > you have a lot of stuff in /usr/local/opt, e.g. gmp, but some of it is > broken, e.g. in your config.log one sees > > ## ----------------------------------------------------- ## > ## Checking whether SageMath should install SPKG mpir... ## > ## ----------------------------------------------------- ## > configure:10249: checking gmp.h usability > configure:10249: g++ -std=gnu++11 -c -g -O2 conftest.cpp >&5 > configure:10249: $? = 0 > configure:10249: result: yes > configure:10249: checking gmp.h presence > configure:10249: g++ -E -std=gnu++11 conftest.cpp > configure:10249: $? = 0 > configure:10249: result: yes > configure:10249: checking for gmp.h > configure:10249: result: yes > configure:10257: checking gmpxx.h usability > configure:10257: g++ -std=gnu++11 -c -g -O2 conftest.cpp >&5 > conftest.cpp:56:10: fatal error: 'gmpxx.h' file not found > #include <gmpxx.h> > ^~~~~~~~~ > 1 error generated. > > Can you fix them? (probably they are from Homebrew?) > Have a look at > https://doc.sagemath.org/html/en/installation/source.html#macos-recommended-installation > > for details, in particular .homebrew-build-env needs to be sourced. > > > Or remove them, they cause conflicts, most probably. > -- 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/8e70ee7c-e02a-49bd-a9ab-f40cbe575e4c%40googlegroups.com.
