December 2002 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am
by Roberto Bagnara 15 Dec '02

15 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-15 20:58:14 Modified files: tests : Makefile.am Log message: The -lm flag for *randphull2 is in addition to the other LDFLAGS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 15 Dec '02

15 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-15 19:46:57 Modified files: tests : Makefile.am Log message: The randphull2 and nnc_randphull2 test programs need to be linked against the math library. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

Re: About 'undefined symbol: __gmp_asprintf_memory'
by Roberto Bagnara 15 Dec '02

15 Dec '02

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@cs.unipr.it

1 0

[Fwd: Re: About 'undefined symbol: __gmp_asprintf_memory']
by Roberto Bagnara 15 Dec '02

15 Dec '02

-------- Original Message -------- Subject: Re: About 'undefined symbol: __gmp_asprintf_memory' Date: Sun, 15 Dec 2002 20:18:34 +0800 From: pengyu <pengyu(a)crypto.ee.ncku.edu.tw> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <002901c2a420$cf2fa4b0$8ba3748c@Alan> <3DFC685C.9080202(a)cs.unipr.it> 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. pengyu -------------------------------------------- Pengyu Hsieh, Master student Cryptography and Network Security Lab. Department of Electrical Engineering National Cheng Kung University, Taiwan ---------------------------------------------------------------------------- ---- The original environment: OS: Red Hat 7.2 GCC version is 2.96 GMP version is 4.1 ---------------------------------------------------------------------------- ---- The command I configure it with is as following.(configure GMP) ./configure --enable-cxx ---------------------------------------------------------------------------- ---- I use the following command to compiler the file.(no warnning, no error) g++ gmp_test.cpp -o gmp_test -lgmpxx When I execute the executable file. The error message is as following ./gmp_test: error while loading shared libraries: /usr/local/lib/libgmpxx.so.3: undefined symbol __gmp_asprintf_memory > Dear Pengyu, > > in order to help you we need some information, such as the version of > GMP you are using and the command you used to configure it, the exact > compiler version, the system where you are trying to compile the PPL. > It would be great if you could, in addition, send us the file "config.log" > that you have obtained when configuring the PPL. > Please send all the information to ppl-devel(a)cs.unipr.it and we will > do our best in order to help you. > Cheers > > Roberto > > P.S. Vajirapan solved the problem by correcting a mistake he had > done, but I think he didn't tell us which mistake it was. > > -- > Prof. Roberto Bagnara > Computer Science Group > Department of Mathematics, University of Parma, Italy > http://www.cs.unipr.it/~bagnara/ > mailto:bagnara@cs.unipr.it -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

About 'undefined symbol: __gmp_asprintf_memory'
by pengyu 15 Dec '02

15 Dec '02

Hello, I'm sorry to bother you. I have a question that I want to ask you. Did you solve the problem [PPL-devel] PPL compile/run time errors . I have the same problem. If you have any suggestion , tell me ,please. Thanks pengyu -------------------------------------------------------------------------------- Hello While trying to compile my program using the command: %g++ -lppl -lgmp -lgmpxx -o test PPL-test.cpp I encountered an error message stating that libgmpxx can't be found anywhere. So I ran %/sbin/ldconfig -n /usr/local/lib (my GMP was installed in /usr/local/lib) but to no avail. The same problem still occured. So I tried this command instead: %g++ -lppl -L/usr/local/lib -o test PPL-test.cpp This time the compiler returned long list of errors saying something like /usr.../libppl.so: undefined reference to '__gmp_{name}' So I linked those files, libgmp, libgmpxx and ppl directory, in /usr/local/lib to /usr/lib and compiled the program again. This time the compiler returned no error, but when I tried to run the program %./test the error appeared saying; relocation error: /usr/lib/libgmpxx.so.3: undefined symbol: __gmp_asprintf_memory' I checked with 'ldd test' and it seems like all the libraries has been found successfully. Did I do something wrong? Can anyone suggest me anything? I'm using GCC 3.2 with GMP 4.1 installed with --enable-cxx and PPL 4.0.1 TIA Cheers, Vaji -- Vajirapan Panumong Knowledge Representation and Reasoning Group School of Computing University of Leeds, Leeds, UK. LS2 9JT

2 1

ppl/tests shuffledim1.cc
by Roberto Bagnara 15 Dec '02

15 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-15 12:03:11 Modified files: tests : shuffledim1.cc Log message: Define print_function() only when noisy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/shuffledim1.cc.diff?cvs…

1 0

ppl/tests randphull2.cc
by Roberto Bagnara 15 Dec '02

15 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-15 12:02:28 Modified files: tests : randphull2.cc Log message: Define M_PI unless it is already defined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randphull2.cc.diff?cvsr…

1 0

ppl/tests limitedbhrz03widening1.cc limitedbbr ...
by Roberto Bagnara 14 Dec '02

14 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-14 21:09:18 Added files: tests : limitedbhrz03widening1.cc Removed files: tests : limitedbbrz02widening1.cc Log message: The new widening is now nicknamed BHRZ03. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbhrz03widening1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbbrz02widening1.…

1 0

ppl/tests affineimage8.cc affinepreimage10.cc
by Roberto Bagnara 14 Dec '02

14 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-14 20:56:54 Modified files: tests : affineimage8.cc affinepreimage10.cc Log message: Use the NOISY flag to control noisiness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage8.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage10.cc.dif…

1 0

ppl/tests addconstraints13.cc addgenerators12. ...
by Roberto Bagnara 14 Dec '02

14 Dec '02

1 0