./configure --without-system-libnauty On Monday, January 23, 2023 at 4:30:05 PM UTC-8 tsc...@ucdavis.edu wrote:
> Would it be better to just remove nauty or is there a way to force Sage to > build and link with its own copy of nauty? > > Thanks, > Travis > > > On Monday, January 23, 2023 at 6:51:45 PM UTC+9 François Bissey wrote: > >> It is indeed a known issue with nauty on debian/ubuntu. That's the first >> time someone mentioned it in a while but it is definitely broken. >> >> On 23/01/23 21:28, Antonio Rojas wrote: >> > >> > >> > El lunes, 23 de enero de 2023 a las 9:07:32 UTC+1, tsc...@ucdavis.edu >> > escribió: >> > I am getting stuck at giac, even after a make distclean (I rebuilt >> > 9.8.beta6 just to confirm this is a problem with the upgrade and almost >> > certainly due to #34857). Sorry for posting the log files; I can't seem >> > to include attachments... >> > >> > This is an underlinking issue in your distro's nauty package. Given >> that >> > upstream nauty doesn't build a shared library, it must be caused by >> some >> > incomplete distro custom patch. Try disabling system nauty. >> > >> > -- >> > You received this message because you are subscribed to the Google >> > Groups "sage-release" group. >> > To unsubscribe from this group and stop receiving emails from it, send >> > an email to sage-release...@googlegroups.com >> > <mailto:sage-release...@googlegroups.com>. >> > To view this discussion on the web visit >> > >> https://groups.google.com/d/msgid/sage-release/dee61127-23cf-4619-bebe-ea17a6cd8817n%40googlegroups.com >> >> < >> https://groups.google.com/d/msgid/sage-release/dee61127-23cf-4619-bebe-ea17a6cd8817n%40googlegroups.com?utm_medium=email&utm_source=footer>. >> >> >> > -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/b83037ad-f662-4b06-b811-137dc4b07db4n%40googlegroups.com.
