Thank you, that worked. Best, Travis
On Tuesday, January 24, 2023 at 11:28:48 AM UTC+9 matthia...@gmail.com wrote: > ./configure --without-system-nauty > > 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/ce422786-79b3-4337-a94d-0e3c681cac0an%40googlegroups.com.
