Running `./configure --with-system-givaro=no` fixed it! Thanks for all of the help! On Thursday, August 19, 2021 at 6:57:23 AM UTC-4 dim...@gmail.com wrote:
> > > On Thu, 19 Aug 2021, 13:47 Samuel Lelievre, <samuel....@gmail.com> wrote: > >> The Homebrew Givaro is also from the Macaulay2 taps. >> >> See the file `givaro.rb` in the "Formula" folder there: >> >> https://github.com/Macaulay2/homebrew-tap/tree/main/Formula >> > > that was my guess. But, actually, anyone can create a custom Homebrew > formula... > >> >> >> 2021-08-19 01:49:05 UTC, John H Palmieri: >> >>> (I'm not sure where this comes from, since searching for "givaro" on >>> brew.sh comes up empty.) >>> >>> On Wednesday, August 18, 2021 at 6:48:10 PM UTC-7 John H Palmieri wrote: >>> >>>> You could try uninstalling homebrew's givaro and/or use `./configure >>>> --with-system-givaro=no` to force Sage to build its own givaro. >>>> >>>> On Wednesday, August 18, 2021 at 4:45:54 PM UTC-7 Brian Sun wrote: >>>> >>>>> I ran the two commands (and also uninstalled Macaulay2 and the copy of >>>>> fflas-ffpack using Homebrew and tried it), and it still does not seem to >>>>> work. I've the linbox log file again, which seems to be the only issue in >>>>> the installation. The errors seem similar to last time -- stuff about >>>>> "redefinition" and "implicit instantiation." >>>>> >>>>> Brian >>>>> >>>> -- >> > 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/f6ff2489-81da-45fa-bd02-427874681c69n%40googlegroups.com >> >> <https://groups.google.com/d/msgid/sage-devel/f6ff2489-81da-45fa-bd02-427874681c69n%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/ad1adb8d-57ac-4cac-b866-f528c6e927b4n%40googlegroups.com.
