September 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 affinepreimage6.cc excep ...
by Elisa Ricci 30 Sep '02

30 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-30 11:32:02 Modified files: tests : Makefile.am affinepreimage6.cc exceptions1.cc exceptions2.cc Added files: tests : affinepreimage7.cc polyhull7.cc Log message: Added new tests for some methods of the class Polyhedron. Corrected a comment in the test affinepreimage6.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage7.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull7.cc.diff?cvsro… 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/affinepreimage6.cc.diff… 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

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 29 Sep '02

29 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-09-29 18:37:57 Modified files: htdocs/Credits : Credits.raw Log message: Acknowledge the COFIN 2001 project. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl src/ConSys.cc src/ConSys.defs.hh src/GenSy ...
by Roberto Bagnara 29 Sep '02

29 Sep '02

1 0

ppl src/Status.cc tests/Makefile.am tests/asci ...
by Elisa Ricci 29 Sep '02

29 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-29 11:16:53 Modified files: src : Status.cc tests : Makefile.am Added files: tests : ascii_dump_load1.cc Log message: Corrected an error in Status::ASCII_load(std::istream& s). Added a test to verify Polyhedron::ASCII_dump(std::ostream& s) and Polyhedron::ASCII_load(std::istream& s). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=pp… 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/Makefile.am.diff?cvsroo…

1 0

w3ppl/htdocs/Bugs Bugs.raw
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 20:29:48 Modified files: htdocs/Bugs : Bugs.raw Log message: Better explanation of the bug affecting affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

ppl ./NEWS tests/affineimage5.cc
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 20:28:40 Modified files: . : NEWS tests : affineimage5.cc Log message: Test affineimage5 made silent. The bug affecting affine_image() could have produced wrong results (not just violate a library invariant). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.38… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage5.cc.diff?cv…

1 0

ppl ./NEWS src/ConSys.cc src/GenSys.cc src/Pol ...
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: zaffanella(a)cs.unipr.it 2002-09-27 20:22:56 Modified files: . : NEWS src : ConSys.cc GenSys.cc Polyhedron.cc tests : Makefile.am Added files: tests : affineimage4.cc affineimage5.cc Log message: The correction of the bug affecting Polyhedron::affine_image() and Polyhedron::affine_preimage() reported on ppl-0_4-branch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_wi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… 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/tests/affineimage4.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage5.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl doc/definitions.dox src/Polyhedron.defs.hh
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 15:41:48 Modified files: doc : definitions.dox src : Polyhedron.defs.hh Log message: Fixed documentation reference for the generalized_affine_image operator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 27 Sep '02

27 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-27 15:39:52 Modified files: src : Polyhedron.cc Log message: Methods Polyhedron::affine_image() and Polyhedron::affine_preimage() now only call ConSys::affine_preimage() and GenSys::affine_image() with a strictly positive denominator. Added draft implementation of generalized_affine_image() for the case of a strict relation operator (only for NNC polyhedra). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0