Working !!! I reinstalled libpng (./sage -f libpng), so now I have libpng.so and libpng.a Then `make build -j1`. It recompiles many stuff but it went to the end.
Thank you very much for your help. David. > Le 29 janv. 2018 à 00:30, François Bissey <[email protected]> a écrit : > > >> On 29/01/2018, at 12:11, David Coudert <[email protected]> wrote: >> >> -rw-r--r-- 1 dcoudert 1689776 déc. 14 17:36 >> /home/dcoudert/sage/local/lib/libpng16.a >> lrwxrwxrwx 1 dcoudert 19 déc. 14 17:36 >> /home/dcoudert/sage/local/lib/libpng16.so -> libpng16.so.16.29.0 >> lrwxrwxrwx 1 dcoudert 19 déc. 14 17:36 >> /home/dcoudert/sage/local/lib/libpng16.so.16 -> libpng16.so.16.29.0 >> -rwxr-xr-x 1 dcoudert 908936 déc. 14 17:36 >> /home/dcoudert/sage/local/lib/libpng16.so.16.29.0 >> > > No `libpng.so`? If not, that’s the problem, sage’s install of libpng > is broken or giac should be made to find libpng16.so first. > Let’s try re-installing libpng first: > ./sage -f libpng > > François > ---- David Coudert Equipe-Projet COATI Centre de Recherche INRIA Sophia Antipolis - Méditerranée Université Côte d’Azur, Inria, CNRS, I3S, France http://www-sop.inria.fr/members/David.Coudert <http://www-sop.inria.fr/mascotte/David.Coudert> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
