[PPL-devel] Re: About 'undefined symbol: __gmp_asprintf_memory'
bagnara at cs.unipr.it
Sun Dec 15 13:43:19 CET 2002
> 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
> 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
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel