January 2002 - PPL-devel - BUGSENG Mailman

Re: PPL 0.2
by Roberto Bagnara 28 Jan '02

28 Jan '02

Remko Troncon wrote: > As promised, i looked at PPL 0.2. I am experiencing some troubles > compiling a very small test file against PPL though. Something goes > wrong when g++ tries to link my file. > I have attached the test program and the message log. Maybe you can tell me > what i'm doing wrong ? Dear Remko, the first thing that comes to mind is that you may have compiled the PPL library with one compiler (e.g., g++-2.96.98) and the program test.cpp with another one (e.g., g++-3.0.3). I say this because your link command starts with `g++-3.0', whereas the configuration and compilation mechanism of the PPL has probably invoked `g++'. In an attempt to reproduce the problem, I have tried the following: tar zxf ppl-0.2.tar.gz cd ppl-0.2 ./configure --prefix=/usr/local/ppl make su <pwd> make install exit cd .. g++ -I/usr/local/ppl/include -c test.cpp g++ -L/usr/local/ppl/lib -L/usr/local/gmp/lib test.o -o t -lgmp -lppl t <output follows> -A + B >= 0 -B >= -10 B >= 0 A >= 0 On my system, g++ _is_ g++-3.0.3 so that the library and test.cpp have been compiled with the same compiler. I have also tried compiling the PPL with a pre-3 version of the compiler and the errors I get are similar to yours (though not identical). Can you please try the commands `g++-3.0 -v' and `g++ -v'? If the outputs are different that may be the problem (the ABI of g++-3.x is not backward compatible with previous versions). If the above diagnosis makes sense, you can overcome the problem by adding `--with-cxx=g++-3.0' to the configure options for the PPL. If my diagnosis does not make sense, please come back to us. 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

2 1

ppl ./configure.ac ./ppl.spec.in doc/Makefile. ...
by Roberto Bagnara 27 Jan '02

27 Jan '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-01-27 22:42:34 Modified files: . : configure.ac ppl.spec.in doc : Makefile.am interfaces/Prolog/SICStus: Makefile.am src : Makefile.am tests : Makefile.am Log message: The move to libtool is complete: we can now build and distribute (with, e.g., RPM) static and dynamic versions of the library. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl config.h.in configure.ac ltmain.sh
by Roberto Bagnara 27 Jan '02

27 Jan '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-01-27 17:44:07 Modified files: . : config.h.in configure.ac Added files: . : ltmain.sh Log message: Start to migrate to libtool. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Constraint.defs.hh
by Enea Zaffanella 27 Jan '02

27 Jan '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-01-27 15:36:35 Modified files: src : Constraint.defs.hh Log message: Fixed a typo in a (documentation) comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

1 0

w3ppl/htdocs/Documentation Q_and_A.raw
by Enea Zaffanella 27 Jan '02

27 Jan '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-01-27 15:32:53 Modified files: htdocs/Documentation: Q_and_A.raw Log message: Resolving strange conflicts in the date field. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Q_and_…

1 0

w3ppl bin/update_web_site htdocs/Make.common h ...
by Enea Zaffanella 27 Jan '02

27 Jan '02

1 0

ppl/src ConSys.defs.hh ConSys.inlines.hh GenSy ...
by Roberto Bagnara 19 Jan '02

19 Jan '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-01-19 15:43:24 Modified files: src : ConSys.defs.hh ConSys.inlines.hh GenSys.defs.hh GenSys.inlines.hh Log message: ConSys and GenSys were both missing the assignment operator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cv…

1 0

ppl config.guess config.sub
by Roberto Bagnara 14 Jan '02

14 Jan '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-01-14 08:39:42 Modified files: . : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.sub.diff?cvsroot=ppl&r…

1 0