[PPL-devel] installation problem.

[nitinsk at cfdvs.iitb.ac.in]

Dear Roberto,

    following your instructions, i compiled the code snippet that you had 
sent. and as you had guessed, it did not compile. i am attaching a file 
containing the output of the compile command.

Thank you,
Nitin Kulkarni.


On Wed, 13 Aug 2003, Roberto Bagnara wrote:

> nitinsk at cfdvs.iitb.ac.in wrote:
>  >    i have a problem regarding the installation of ppl-0.5. It does not
>  > install on my system. configure exits saying that "gmp not found"
>  >    I have installed GMP on my machine. all self tests that come with GMP
>  > are also working fine. for gmp, i used the --enable-cxx option with
>  > configure. then make, make check, and finally make install as mentioned in
>  > the gmp installation instructions.
>  >    I start ppl installation with :
>  > [root at neem ppl-0.5]# ./configure --with-gmp-dir=/usr/local/lib
>  > --with-gmp-includes=/pkg2/GMP/gmp-4.1.2
>  >
>  > GMP source directory is /pkg2/GMP/gmp-4.1.2 and GMP libraries are
>  > installed in /usr/local/lib.
>  >
>  > is there something that i am missing? please help.
> 
> Dear Nitin,
> 
> from the files you sent, I gather that you configured GMP 4.1.2
> with the command
> 
>      ./configure --enable-cxx
> 
> Since you have not specified the `--prefix' option, the default
> installation prefix `/usr/local' should have been used.
> If this is correct, then I don't understand the command with which
> you have configured the PPL:
> 
>    ./configure --with-gmp-dir=/usr/local/lib \
>                --with-gmp-includes=/pkg2/GMP/gmp-4.1.2
> 
> I believe it should be
> 
>    ./configure --with-gmp-dir=/usr/local/lib \
>                --with-gmp-includes=/usr/local/include
> 
> Nonetheless, the origin of your problem seems to be another one.
> For some reasons, it seems in your system there is another version
> of GMP, perhaps compiled with a different (version of the) C++
> that is picked up by the linker during the PPL configuration process.
> In order to check if this is the problem, please try to compile
> the attached snippet (which is the same used in the PPL configuration
> script) with the command
> 
>    g++ -g -O2 -I/usr/local/include tgmp.cc -L/usr/local/lib -lgmpxx -lgmp
> 
> If this fails, please use the verbose option `-v', i.e.,
> 
>    g++ -v -g -O2 -I/usr/local/include tgmp.cc -L/usr/local/lib -lgmpxx -lgmp
> 
> and send us the messages printed out by the compiler.
> Cheers
> 
>      Roberto
> 
> --
> Prof. Roberto Bagnara
> Computer Science Group
> Department of Mathematics, University of Parma, Italy
> http://www.cs.unipr.it/~bagnara/
> mailto:bagnara at cs.unipr.it
> 
> 

-----------------------------------------
Nitin Kulkarni
Graduate Student
Computer Science and Engineering Dept.,
IIT Bombay, Mumbai, India.
-----------------------------------------

-------------- next part --------------

Reading specs from /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3/specs
Configured with: ../gcc-3.3/configure --enable-languages=c,c++,objc
Thread model: posix
gcc version 3.3
 /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3/cc1plus -quiet -v -I/usr/local/include -D__GNUC__=3 -D__GNUC_MINOR__=3 
-D__GNUC_PATCHLEVEL__=0
 -D_GNU_SOURCE tgmp.cc -D__GNUG__=3 -quiet -dumpbase tgmp.cc -auxbase tgmp -g -O2 -version -o /tmp/ccqrqNj7.s
GNU C++ version 3.3 (i686-pc-linux-gnu)
        compiled by GNU C version 2.96 20000731 (Red Hat Linux 7.1 2.96-81).
GGC heuristics: --param ggc-min-expand=38 --param ggc-min-heapsize=15838
ignoring nonexistent directory "NONE/include"
ignoring nonexistent directory "/usr/local/i686-pc-linux-gnu/include"
ignoring duplicate directory "/usr/local/include"
  as it is a non-system directory that duplicates a system directory
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/include/c++/3.3
 /usr/local/include/c++/3.3/i686-pc-linux-gnu
 /usr/local/include/c++/3.3/backward
 /usr/local/include
 /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3/include
 /usr/include
End of search list.
 as --traditional-format -V -Qy -o /tmp/ccd6xsj3.o /tmp/ccqrqNj7.s
GNU assembler version 2.11.90.0.8 (i386-redhat-linux) using BFD version 2.11.90.0.8
 /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3/collect2 -m elf_i386 -dynamic-linker /lib/ld-linux.so.2 /usr/lib/crt1.o /usr/lib/crti.o /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3/crtbegin.o -L/usr/local/lib -L/usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3 -L/usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3/../../.. /tmp/ccd6xsj3.o -lgmpxx -lgmp -lstdc++ -lm -lgcc_s -lgcc -lc -lgcc_s -lgcc /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.3/crtend.o /usr/lib/crtn.o
/usr/local/lib/libgmpxx.so: undefined reference to `cerr'
/usr/local/lib/libgmpxx.so: undefined reference to `endl(ostream &)'
/usr/local/lib/libgmpxx.so: undefined reference to `__out_of_range(char const *)'
/usr/local/lib/libgmpxx.so: undefined reference to `istream::get(char &)'
/usr/local/lib/libgmpxx.so: undefined reference to `__rethrow'
/usr/local/lib/libgmpxx.so: undefined reference to `ostream::operator<<(char const *)'
/usr/local/lib/libgmpxx.so: undefined reference to `terminate(void)'
/usr/local/lib/libgmpxx.so: undefined reference to `__length_error(char const *)'
/usr/local/lib/libgmpxx.so: undefined reference to `ostream::write(char const *, int)'
/usr/local/lib/libgmpxx.so: undefined reference to `streambuf::sputbackc(char)'
collect2: ld returned 1 exit status