What does brew install gmp
say? When have you last updated Homebrew? Also, the config.log you posted looks incomplete and weird... On 2 December 2024 16:44:46 GMT-06:00, Giacomo Pope <giacomop...@gmail.com> wrote: >Workflow: > >``` >Jack: sage % source ./.homebrew-build-env >Jack: sage % make configure >... >Jack: sage % ./configure >... >----------------------------------------------------------------------------- >Checking whether SageMath should install SPKG gmp... >checking for gmp.h... no >checking for gmpxx.h... no >checking if version of GMP is greater than 6.2.1... no >checking for library containing __gmpn_gcd_11... -lgmp >configure: no suitable system package found for SPKG gmp >----------------------------------------------------------------------------- >... >``` > >Just to double check, we can ensure that brew has what we want: > >``` >Jack: sage % brew search gmp >==> Formulae >gmp ✔ gmt gvp gpp xmp > emp amp > >==> Casks >gimp >``` > >and my git log: > >``` >Jack: sage % git log >commit bf16199c92824caf46197468bea60f7d68f0809c (HEAD -> develop, tag: >10.5.rc2, upstream/develop, upstream/HEAD) >Author: Release Manager <rele...@sagemath.org> >Date: Sat Nov 30 11:15:58 2024 +0100 > > Updated SageMath version to 10.5.rc2 > >commit 68f446ad3f1abcea6e1a9b679a04242597f439f6 >Merge: cb6ca569c15 7ce18777a7e >``` > >any ideas why it's not detecting brew installations? > >-- >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 visit >https://groups.google.com/d/msgid/sage-devel/3d0aec40-81a1-4149-9e3e-fd0d94ad0e99n%40googlegroups.com. -- 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 visit https://groups.google.com/d/msgid/sage-devel/E32ABA04-D27C-414C-88BD-D2228673BE8A%40gmail.com.
