This should work, provided you have libplanarity.so installed with its headers.
You probably forgot to run ./configure after you installed it. On May 25, 2025 9:08:07 PM CDT, Benjamin Moraga Baeza <benjamin.bae...@gmail.com> wrote: >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 (<dimp...@gmail.com>) >escribió: > >> On Fri, May 23, 2025 at 11:46 AM Antonio Rojas <nqn7...@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+unsubscr...@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+unsubscr...@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/CAK81y9gd6xegvanCV%2BNKm%2B9S4ATiatc5tWX39b9cZ8cc0S28xw%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/4F962ACC-0A1D-4DBF-A801-AE78C9FAAFA9%40gmail.com.
