Dear Roberto, good to hear from you again. i checked the contents of /usr/local/lib for gmp libraries and got to know that though the file names that you mentioned the names on my machine, their sizes did not match. let me print the sizes of the different files here.
$ ls -l /usr/local/lib/libgmp* -rw-r--r-- 1 root root 2945824 Aug 18 04:29 /usr/local/lib/libgmp.a -rwxr-xr-x 1 root root 693 Aug 18 04:29 /usr/local/lib/libgmp.la lrwxrwxrwx 1 root root 15 Aug 18 04:29 /usr/local/lib/libgmp.so -> libgmp.so.3.3.2 lrwxrwxrwx 1 root root 15 Aug 18 04:29 /usr/local/lib/libgmp.so.3 -> libgmp.so.3.3.2 -rwxr-xr-x 1 root root 686921 Aug 18 04:29 /usr/local/lib/libgmp.so.3.3.2 -rw-r--r-- 1 root root 504116 Aug 18 04:29 /usr/local/lib/libgmpxx.a -rwxr-xr-x 1 root root 854 Aug 18 04:29 /usr/local/lib/libgmpxx.la lrwxrwxrwx 1 root root 17 Aug 18 04:29 /usr/local/lib/libgmpxx.so -> libgmpxx.so.3.0.4 lrwxrwxrwx 1 root root 17 Aug 18 04:29 /usr/local/lib/libgmpxx.so.3 -> libgmpxx.so.3.0.4 -rwxr-xr-x 1 root root 176177 Aug 18 04:29 /usr/local/lib/libgmpxx.so.3.0.4
the sizes of the header files in the /usr/local/include directory match those that you had mentioned.
also the linker picks the correct libgmpxx.so (i.e from /usr/local/lib). i am attaching the output of this command with this mail.
Best wishes, Nitin Kulkarni.
On Mon, 18 Aug 2003, Roberto Bagnara wrote:
Dear Nitin,
we have had network problems during the last few days. Having not heard from you, I wonder if you received my message of August 14th and I am resending it just in case. Please let us know how things go. Cheers
Robertonitinsk@cfdvs.iitb.ac.in wrote:
following your instructions, i compiled the code snippet that you hadsent. and as you had guessed, it did not compile. i am attaching a file containing the output of the compile command.
Dear Nitin,
the output you sent shows nothing wrong. I am now convinced that you should have, in your system, a (old) version of GMP compiled with a different (version of the) C++ compiler. If you installed GMP 4.1.2 compiled with GCC 3.3 in /usr/local you should see something like the following
$ ls -l /usr/local/include/gmp* -rw-r--r-- 1 root root 79571 Jun 30 15:32 /usr/local/include/gmp.h -rw-r--r-- 1 root root 182330 Jun 30 15:32 /usr/local/include/gmpxx.h $ ls -l /usr/local/lib/libgmp* -rw-r--r-- 1 root root 2863428 Jun 30 15:32 /usr/local/lib/libgmp.a -rwxr-xr-x 1 root root 693 Jun 30 15:32 /usr/local/lib/libgmp.la lrwxrwxrwx 1 root root 15 Jun 30 15:32 /usr/local/lib/libgmp.so -> libgmp.so.3.3.2 lrwxrwxrwx 1 root root 15 Jun 30 15:32 /usr/local/lib/libgmp.so.3 -> libgmp.so.3.3.2 -rwxr-xr-x 1 root root 1409013 Jun 30 15:32 /usr/local/lib/libgmp.so.3.3.2 -rw-r--r-- 1 root root 1337872 Jun 30 15:32 /usr/local/lib/libgmpxx.a -rwxr-xr-x 1 root root 1161 Jun 30 15:32 /usr/local/lib/libgmpxx.la lrwxrwxrwx 1 root root 17 Jun 30 15:32 /usr/local/lib/libgmpxx.so -> libgmpxx.so.3.0.4 lrwxrwxrwx 1 root root 17 Jun 30 15:32 /usr/local/lib/libgmpxx.so.3 -> libgmpxx.so.3.0.4 -rwxr-xr-x 1 root root 629220 Jun 30 15:32 /usr/local/lib/libgmpxx.so.3.0.4
And this should be the only version of GMP's libgmpxx.* files you have in the system. If, for example, you have another instance of the GMP C++ interface installed in a place that your compiler looks into _before_ looking into /usr/local/lib, this may be the cause of your problem.
Try passing the --verbose option to the linker, i.e., use the command
g++ -v -I/usr/local/include tgmp.cc -L/usr/local/lib -lgmpxx -lgmp -Xlinker --verbose
and check where the linker picks libgmpxx.so from. For instance, here is what I see in the output of the above command:
attempt to open /usr/local/lib/libgmpxx.so succeeded -lgmpxx (/usr/local/lib/libgmpxx.so)
This tells me that the linker is picking up the right version of the library. Keep us informed. Cheers
Roberto-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it
----------------------------------------- Nitin Kulkarni Graduate Student Computer Science and Engineering Dept., IIT Bombay, Mumbai, India. -----------------------------------------