Error building Sage on Arch

[Benjamin Moraga Baeza]

I get and error while compiling planarity. I attach the log file.

[Antonio Rojas]

Install planarity from the Arch repos. The bundled version is not compatible with GCC 15

[Dima Pasechnik]

Hi, can we get arch's patch into Sage?

[Antonio Rojas]

Arch ships version 4.0 which builds fine with GCC 15, no patching needed.

[Dima Pasechnik]

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.

[Benjamin Moraga Baeza]

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

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.

[Dima Pasechnik]

This should work, provided you have libplanarity.so installed with its headers.

You probably forgot to run ./configure after you installed it.

[Antonio Rojas]

Right, the headers were reorganized in version 4.0 so the configure.spkg test is broken. Try `configure --with-system-planarity=force`

[Dima Pasechnik]

On May 26, 2025 2:34:39 AM CDT, Antonio Rojas <nqn...@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>