<div dir="auto"><div>Hi<br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Le lun. 9 nov. 2020 à 16:30, Dima Pasechnik <<a href="mailto:dimpase@gmail.com">dimpase@gmail.com</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 9 Nov 2020, 13:55 Jerome BENOIT, <<a href="mailto:calculus@rezozer.net" target="_blank" rel="noreferrer">calculus@rezozer.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
On 09/11/2020 14:27, Julien Puydt wrote:<br>
> Le lundi 09 novembre 2020 à 11:49 +0000, Dima Pasechnik a écrit :<br>
> <br>
>> Off-topic, before I forgot - why is giac in Debian/Ubuntu built with<br>
>> static libnauty, rather than the dynamic one?<br>
> <br>
> I've been maintaining the giac package in Debian the recent years, and<br>
> as far as I know, the nauty code in giac is disabled -- neither static<br>
> nor dynamic is used.<br>
> <br>
> Can you tell more?<br>
<br>
Past nauty upstream sources did not build a dynamic library.<br>
I had brought a dynamic nauty library to Debian.<br>
So I guess that the default for giac is to built against a static nauty library (if enabled).<br></blockquote></div></div><div dir="auto">the default for upstream is to link with</div><div dir="auto">-lnauty</div><div dir="auto"><br></div><div dir="auto">Upstream has no preference for static linking or disabled nauty - so I gather Debian does something leading to the current state of giac on Debian/Ubuntu in this respect.</div></div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Something like compiling without any nasty in sight? </div><div dir="auto"><br></div><div dir="auto">Is it an actual issue? </div><div dir="auto"><br></div><div dir="auto">JP</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>