October 2002 - PPL-devel - BUGSENG Mailman

PPL compile/run time errors
by V Panumong 04 Oct '02

04 Oct '02

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 5

ppl/tests Makefile.am exceptions1.cc exception ...
by Elisa Ricci 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-03 17:58:05 Modified files: tests : Makefile.am exceptions1.cc exceptions2.cc Added files: tests : generalizedaffineimage9.cc Log message: Added some new tests for Polyhedron::generalized_affine_image(lhs, r, rhs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage9… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl/tests Makefile.am ascii_dump_load1.cc asci ...
by Roberto Bagnara 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-03 15:26:52 Modified files: tests : Makefile.am ascii_dump_load1.cc ascii_dump_load2.cc files.cc files.hh Log message: Several improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load2.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.hh.diff?cvsroot=p…

1 0

ppl/tests Makefile.am ascii_dump_load3.cc file ...
by Roberto Bagnara 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-03 15:18:02 Modified files: tests : Makefile.am ascii_dump_load3.cc Added files: tests : files.cc files.hh Log message: Avoid spaghetti-coding. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.cc?cvsroot=ppl&re… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/files.hh?cvsroot=ppl&re… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load3.cc.dif…

1 0

ppl/tests generalizedaffineimage7.cc
by Elisa Ricci 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-03 15:01:13 Modified files: tests : generalizedaffineimage7.cc Log message: Corrected the test: we want "return 1" if there is at least a test that exits with "return 1". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage7…

1 0

ppl/tests Makefile.am ascii_dump_load2.cc asci ...
by Elisa Ricci 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-03 12:23:49 Modified files: tests : Makefile.am ascii_dump_load2.cc Added files: tests : ascii_dump_load3.cc Log message: Added a new test for Polyhedron::ascii_dump() and Polyhedron::ascii_load(). Corrected an error in the comment of ascii_dump_load2.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load3.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load2.cc.dif…

1 0

ppl src/Polyhedron.cc src/Polyhedron.defs.hh t ...
by Enea Zaffanella 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-03 12:08:15 Modified files: src : Polyhedron.cc Polyhedron.defs.hh tests : generalizedaffineimage1.cc generalizedaffineimage7.cc Log message: When the lhs of the generalized affine image is an arbitrary LinExpression, there is no need of having a denominator for the rhs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage7…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-03 12:01:11 Modified files: doc : definitions.dox Log message: Added missing transposition signs in documentation of affine images. Improved comment of generalized affine images. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl NEWS
by Enea Zaffanella 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-03 11:59:59 Modified files: . : NEWS Log message: Reported the bug on minimization of zero-dim-universe NNC polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.39…

1 0

ppl/src ConSys.cc
by Enea Zaffanella 03 Oct '02

03 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-03 11:59:04 Modified files: src : ConSys.cc Log message: Fixed a couple of comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0