On May 26, 2025 2:34:39 AM CDT, Antonio Rojas <nqn7...@gmail.com> wrote:
>Right, the headers were reorganized in version 4.0 so the configure.spkg
>test is broken. Try `configure --with-system-planarity=force`
this will only work on the branch of
<https://github.com/sagemath/sage/pull/40153>
>
>El lunes, 26 de mayo de 2025 a las 4:24:14 UTC+2, benjami...@gmail.com
>escribió:
>
>> I installed planarity from Arch's repository. It still doesn't compile.
>> I think, the compiler doesn't recognize de system version of planarity,
>> because it tries to compile it anyway.
>>
>> Benjamín M. Moraga
>>
>>
>> El vie, 23 may 2025 a las 13:47, Dima Pasechnik (<dim...@gmail.com>)
>> escribió:
>>
>>> On Fri, May 23, 2025 at 11:46 AM Antonio Rojas <nqn...@gmail.com> wrote:
>>> >
>>> > Arch ships version 4.0 which builds fine with GCC 15, no patching
>>> needed.
>>> https://github.com/sagemath/sage/pull/40153
>>> updates it to 4.0.0.0, please review
>>> >
>>> > El viernes, 23 de mayo de 2025 a las 17:38:00 UTC+2, dim...@gmail.com
>>> escribió:
>>> >>
>>> >> Hi, can we get arch's patch into Sage?
>>> >>
>>> >>
>>> >> On May 23, 2025 3:19:22 AM CDT, Antonio Rojas <nqn...@gmail.com>
>>> wrote:
>>> >>>
>>> >>> Install planarity from the Arch repos. The bundled version is not
>>> compatible with GCC 15
>>> >>>
>>> >>> El viernes, 23 de mayo de 2025 a las 9:39:36 UTC+2,
>>> benjami...@gmail.com escribió:
>>> >>>>
>>> >>>> I get and error while compiling planarity. I attach the log file.
>>> >
>>> > --
>>> > 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 visit
>>> https://groups.google.com/d/msgid/sage-devel/83e2e407-ea54-47ed-91bf-033e36355b56n%40googlegroups.com
>>> .
>>>
>>> --
>>>
>> You received this message because you are subscribed to a topic in the
>>> Google Groups "sage-devel" group.
>>> To unsubscribe from this topic, visit
>>> https://groups.google.com/d/topic/sage-devel/JUFD8YPj1qU/unsubscribe.
>>> To unsubscribe from this group and all its topics, send an email to
>>> sage-devel+...@googlegroups.com.
>>> To view this discussion visit
>>> https://groups.google.com/d/msgid/sage-devel/CAAWYfq3gY-u0ybzXfYiV3dhirAd-15tdLXiUYSpXu4TCYEbFQA%40mail.gmail.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 visit
https://groups.google.com/d/msgid/sage-devel/CF1C650C-20C9-4071-A0F0-26A1904ECE4F%40gmail.com.
