Also, can you run ./bootstrap
instead of "make configure" ? On 2 December 2024 17:11:54 GMT-06:00, Dima Pasechnik <dimp...@gmail.com> wrote: >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/660618DC-C3BB-431D-A8E2-90785E947342%40gmail.com.
