On Tue, Apr 14, 2020 at 9:47 PM Antonio Rojas <nqn7...@gmail.com> wrote:
>
> That's osx, not Arch

oops, sorry for noise.

>
> El martes, 14 de abril de 2020, 15:38:27 (UTC+2), Dima Pasechnik escribió:
>>
>> On Tue, Apr 14, 2020 at 9:28 PM Antonio Rojas <nqn...@gmail.com> wrote:
>> >
>> > I'm missing some context here... flint does certainly link to ntl already, 
>> > i don't see how it could work otherwise.
>>
>> David just posted a message here claiming this not to be the case on
>> his Arch installation.
>> Perhaps he has an odd version of Flint conflicting with the system one?
>> (or just an old installation?)
>>
>> >
>> >
>> > El martes, 14 de abril de 2020, 15:23:08 (UTC+2), Dima Pasechnik escribió:
>> >>
>> >> Hi Antonio,
>> >> can Arch's Flint be fixed so that it links against NTL, like in Sage?
>> >> Then we won't have to build Flint (and Arb) on Arch...
>> >>
>> > --
>> > 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-...@googlegroups.com.
>> > To view this discussion on the web visit 
>> > https://groups.google.com/d/msgid/sage-devel/7ef8be6f-9bfd-4ac2-9186-949000571265%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/8704ea8c-986e-442e-8563-ca40dc243d84%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/CAAWYfq15Q-Ftys48nG_Zsc_EfzZPOGBTzk%3DP2atC7QHwzH3p8A%40mail.gmail.com.

Reply via email to