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? >> 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.
