On Tue, 15 Jan 2013, 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?
sudo will likely ignore/clear LD_LIBRARY_PATH. Instead of: env LD_LIBRARY_PATH=... sudo make install try: sudo env LD_LIBRARY_PATH=... make install -- Marc Glisse
