I'll remark that the approach of my PR https://github.com/sagemath/sage/pull/36380 takes brial to the same level as the existing optional packages bliss, coxeter3, sirocco, tdlib, etc. and applies the same approach to the Sage library code depending on the library: It defines a separately buildable, pip-installable distribution *sagemath-brial*. The rest of the Sage library, still shipped as *sagemath-standard*, is isolated from the problematic dependency on brial.
That's an illustration of how the modularization project improves portability and makes it easier for downstream distribution to carry the Sage library. On Sunday, June 9, 2024 at 5:23:05 PM UTC-7 Matthias Koeppe wrote: > A milder change, demoting it to optional, is ready for review in > https://github.com/sagemath/sage/pull/36380 > > On Sunday, October 1, 2023 at 12:29:55 PM UTC-7 Matthias Koeppe wrote: > >> I propose to demote this package to experimental. >> - It has been declared dead at least once - >> https://martinralbrecht.wordpress.com/2015/06/13/polybori-is-dead-it-needs-your-help/ >> - It has no upstream maintainer (except for ermergency fixes by Francois >> Bissey) - https://github.com/BRiAl/BRiAl/graphs/contributors, >> https://sourceforge.net/projects/polybori/ >> - It has been dropped from Debian testing, where it seems to block >> SageMath upgrades (Sage is stuck at 9.5 in Debian/Ubuntu) >> - The conda and homebrew packages of brial lead to segfaults ( >> https://github.com/sagemath/sage/issues/35595, >> https://github.com/sagemath/sage/issues/34780) >> - It is disconnected from the advances in SMT (satisfiability modulo >> theories) over the past decade (representative paper: >> https://arxiv.org/abs/2305.00028v2) >> >> >> >> -- 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/ddc3aa66-7345-4ae1-a023-5087c03127ebn%40googlegroups.com.
