<div dir="ltr"><div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">Il giorno sab 3 nov 2018 alle ore 16:51 Benoît Minisini <<a href="mailto:g4mba5@gmail.com">g4mba5@gmail.com</a>> ha scritto:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Le 03/11/2018 à 16:40, Gianluigi a écrit :<br>
> <br>
> <br>
> Il giorno sab 3 nov 2018 alle ore 16:12 Benoît Minisini <br>
> <<a href="mailto:g4mba5@gmail.com" target="_blank">g4mba5@gmail.com</a> <mailto:<a href="mailto:g4mba5@gmail.com" target="_blank">g4mba5@gmail.com</a>>> ha scritto:<br>
> <br>
>     Le 03/11/2018 à 16:10, Benoît Minisini a écrit :<br>
>      ><br>
>      > What needs these library? libsage...<br>
>      ><br>
> <br>
>     --> this.<br>
> <br>
>     OK, it's an OpenGL thing. Was it removed in Debian stretch? Why?<br>
> <br>
>     -- <br>
>     Benoît Minisini<br>
> <br>
>     ----[ Gambas mailing-list is hosted by <a href="https://www.hostsharing.net" rel="noreferrer" target="_blank">https://www.hostsharing.net</a> ]----<br>
> <br>
> <br>
> I use Ubuntu Bionic and these libraries are missing there too.<br>
> I dont know because :-(<br>
> <br>
> Regards<br>
> Gianluigi<br>
> <br>
> <br>
> ----[ Gambas mailing-list is hosted by <a href="https://www.hostsharing.net" rel="noreferrer" target="_blank">https://www.hostsharing.net</a> ]----<br>
> <br>
<br>
I still don't find which Gambas component needs that library...<br>
<br>
-- <br>
Benoît Minisini<br>
<br>
----[ Gambas mailing-list is hosted by <a href="https://www.hostsharing.net" rel="noreferrer" target="_blank">https://www.hostsharing.net</a> ]----<br></blockquote><div><br></div><div>Hi Benoit,<br>I compiled Gambas on Ubuntu 18.10 without the two libraries (libsage2 and libsage-dev) and all the components were compiled.<br>I copied it from here:<br><a href="http://gambaswiki.org/wiki/install/ubuntu#t6">http://gambaswiki.org/wiki/install/ubuntu#t6</a><br>under the heading Tip...<br><br>Regards<br>Gianluigi <br></div></div></div></div>