./configure --without-system-nauty 

On Monday, January 23, 2023 at 4:30:05 PM UTC-8 [email protected] 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, [email protected] 
>> > 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 [email protected] 
>> > <mailto:[email protected]>. 
>> > 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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-release/5b9c8cd6-9d07-4487-9c42-e341eb601edfn%40googlegroups.com.

Reply via email to