Right, the headers were reorganized in version 4.0 so the configure.spkg test is broken. Try `configure --with-system-planarity=force`
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/0638e2ee-cb5a-4203-a65b-4618a24f7f5en%40googlegroups.com.
