[PPL-devel] Re: About 'undefined symbol: __gmp_asprintf_memory'

[Roberto Bagnara]

pengyu wrote:
> Dear Roberto:
> 
> Thank you for your help.
> I'm sorry it isn't the PLL problem.(I use gmp only)
> I test the gmp 4.1 in GCC 3.2(OS is Red Hat 8.0), the problem has
> disappeared.
> I think the problem is caused by the older version of GCC.
> In GMP manual, it commend us use GCC 2.9 if we want to use C++ interface
> supported by GMP.
> But when I use GCC 2.96, it still has the problem.

I believe the problem may be caused by the fact that different
versions of g++ are not compatible with eachother.  So you
must make sure you compile both GMP and your own test program
with the same version of the compiler.
All the best

     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