On Mon, 7 Feb 2022, 17:12 Matthias Koeppe, <matthiaskoe...@gmail.com> wrote:
> Yes, you can clear out /usr/local and start the build from scratch. > > > On Monday, February 7, 2022 at 4:05:49 AM UTC-8 modp...@gmail.com wrote: > >> So any ideas how to solve this without installing gmp and flint from >> Homebrew? As I have already manually compiled and built them in my machine. >> >> On Friday, February 4, 2022 at 9:37:40 PM UTC+1 modp...@gmail.com wrote: >> >>> I actually had both gmp and flint manually installed before. Can I tell >>> Sage somehow to use my local gmp and flint? >> >> your gmp is missing C++ part, which is a requirement for Sage. I had already issued: >>> source .homebrew-build-env >>> However, I didn't issue ./bootstrap before doing ./configure. >>> >>> On Friday, February 4, 2022 at 7:27:40 PM UTC+1 dim...@gmail.com wrote: >>> >>>> Try using flint from Homebrew instead: >>>> >>>> brew install flint >>>> >>>> (by the way, it seems that your gmp Homebrew installation is broken - >>>> maybe try reinstalling it, from Homebrew?) >>>> And don't forget executing >>>> >>>> source .homebrew-build-env >>>> >>>> before >>>> ./bootstrap && ./configure >>>> >>>> >>>> On Fri, Feb 4, 2022 at 6:14 PM modp...@gmail.com <modp...@gmail.com> >>>> wrote: >>>> > >>>> > I'm building Sage 9.5 from source on macOS Monterey 12.2, however, it >>>> fails when installing flint. I attach here the top level config and log >>>> file for flint. Any ideas what the issue might be? >>>> > >>>> > >>>> > -- >>>> > 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+...@googlegroups.com. >>>> > To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/sage-devel/fba7b5fc-b0a2-42e4-b218-8be4e8aca141n%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 on the web visit > https://groups.google.com/d/msgid/sage-devel/7c9ac4ed-f32c-4982-90b7-8f284fa2b5efn%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/7c9ac4ed-f32c-4982-90b7-8f284fa2b5efn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAAWYfq3KbT-n_XynEJUL0Zi_vcPRPsBs_zJJE7UcJzSmPkDLSg%40mail.gmail.com.