Well, there is the stuff below. But you're right that there's no error
message. The only error message I get is after all has been compiled
(from the svn), when I issue "make install", I get the error I said in
my first email... why would "make install" not find isl?
/home/leo/system/sources/gcc-cilk-obj/./gcc/cc1: error while loading
shared libraries: libisl.so.10: cannot open shared object file: No
such file or directory
8564: trying file=/opt/isl/lib/tls/i686/sse2/cmov/libm.so.6
8564: trying file=/opt/isl/lib/tls/i686/sse2/libm.so.6
8564: trying file=/opt/isl/lib/tls/i686/cmov/libm.so.6
8564: trying file=/opt/isl/lib/tls/i686/libm.so.6
8564: trying file=/opt/isl/lib/tls/sse2/cmov/libm.so.6
8564: trying file=/opt/isl/lib/tls/sse2/libm.so.6
8564: trying file=/opt/isl/lib/tls/cmov/libm.so.6
8564: trying file=/opt/isl/lib/tls/libm.so.6
8564: trying file=/opt/isl/lib/i686/sse2/cmov/libm.so.6
8564: trying file=/opt/isl/lib/i686/sse2/libm.so.6
8564: trying file=/opt/isl/lib/i686/cmov/libm.so.6
8564: trying file=/opt/isl/lib/i686/libm.so.6
8564: trying file=/opt/isl/lib/sse2/cmov/libm.so.6
8564: trying file=/opt/isl/lib/sse2/libm.so.6
8564: trying file=/opt/isl/lib/cmov/libm.so.6
8564: trying file=/opt/isl/lib/libm.so.6
On Tue, Jan 15, 2013 at 11:47 AM, Andrew Haley <aph@xxxxxxxxxx> wrote:
> 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.
>
--
Leo Ferres, Ph.D.
Assistant Professor
Department of Computer Science
University of Concepción, Concepción,
Chile
