On Wed, May 22, 2024 at 4:48 AM Edgar Costa wrote:
>
> I ended up only needing the first combined with `--with-system-flint=no`
can you skip `--with-system-flint=no` with your latest Homebrew's flint 3.1.3 ?
>
> On Tuesday, May 21, 2024 at 9:53:07 AM UTC-4 Kwankyu Lee wrote:
>>
>> You need
>>
>>
I could, but I know I will be messing up with my system flint installation
in the future, and I would like to do that and keep sage happy.
Cheers,
Edgar
On Wed, May 22, 2024 at 10:58 AM Dima Pasechnik wrote:
> On Wed, May 22, 2024 at 4:48 AM Edgar Costa
> wrote:
> >
> > I ended up only needing
