On 01/15/2013 02:45 PM, Leo Ferres wrote: > This? Be aware that it only fails when i do "sudo make install", not > before. Why does the make install rule use libisl "differently" than > the compilation? There is no message regarding libisl.so.10 in that output. Andrew.
