Étienne André wrote:
Did you have any idea why my installation goes wrong? Should I install all the libraries (GMP, PPL, etc.) in a standard path (/usr/lib, etc.) rather than in my /home directory? I would be grateful for any help…
Hi Étienne,
I am sorry, but the problem you are encountering seems to have nothing PPL-specific. If the right libgmpxx.so.4 is in a place where the loader has been instructed to look at, then it has to be found. In the config.log you sent I did not spot anything wrong. I suggest looking at http://www.dwheeler.com/program-library/ Alternatively, if you can provide me with access to the machine where this happens, then I can investigate for you. I cannot imagine any other solution. All the best,
Roberto
2009/11/18 Étienne André <Etienne.Andre@lsv.ens-cachan.fr mailto:Etienne.Andre@lsv.ens-cachan.fr>
I read those files, and did the following in order to say that my libs are in "/home/andre/Prog/local/lib": - I run the ./configure script using option --with-libgmp-prefix=/home/andre/Prog/local --with-libgmpxx-prefix=/home/andre/Prog/local --with-mlgmp=/home/andre/Prog/local/lib/gmp ; - my LD_LIBRARY_PATH variable is set to ":/home/andre/Prog/local/lib". I join you the "config.log" file. Thank you Étienne
PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel