What does
ldd /usr/local/bin/cloog
say?
What do you have in /etc/ld.so.conf?
Does
LD_LIBRARY_PATH=/usr/local/lib cloog
work?
If so, you can try reconfiguring cloog with an explicit
"--prefix=/usr/local" and it will remember the library
location in the binary.
skimo
> What does
>
> ldd /usr/local/bin/cloog
>
> say?
$ ldd /usr/local/bin/cloog
linux-gate.so.1 => (0xb7896000)
libcloog-isl.so.0 => not found
libisl.so.2 => not found
libgmp.so.3 => /usr/lib/libgmp.so.3 (0xb7817000)
libc.so.6 => /lib/tls/i686/cmov/libc.so.6 (0xb76b9000)
/lib/ld-linux.so.2 (0xb787c000)
>
> What do you have in /etc/ld.so.conf?
include /etc/ld.so.conf.d/*.conf
>
> Does
>
> LD_LIBRARY_PATH=/usr/local/lib cloog
>
> work?
> If so, you can try reconfiguring cloog with an explicit
> "--prefix=/usr/local" and it will remember the library
> location in the binary.
Yup. That works.
>
> skimo
Thanks again for all your help, it is very much appreciated.