- PPL-devel - BUGSENG Mailman

Question about compiling and running C-programs with PPL
by Martin Rohde 12 Jun '02

12 Jun '02

Hello, I'm trying to work with an older version (0.2) now (just to practice). I installed everything and "make check" confirmed that everything was OK. I took the inters1.cc file and replaced all include files with "ppl.hh". I also removed the print_constraints commands and namespace std. I tried to compile the code, but I get a huge amount of error messages saying 'undefined reference to...'. The compilation was started with gcc inters1.cc -L/opt/ppl-0.2/lib -I/opt/ppl-0.2/include -lgmp I think I do something stupid (as a beginner in using libraries), but I can't figure out what. Could you tell me how to use this library correctly in my code? Thank you! Martin Rohde Delft University of Technology Kramers Laboratorium voor Fysische Technologie Tel 0031 +152787084 Mail martin(a)klftfs01.tn.tudelft.nl

2 1

Re: [PPL-devel] Installing PPL
by Roberto Bagnara 12 Jun '02

12 Jun '02

Martin Rohde wrote: > Dear Roberto, > > thank you for your quick response. Here the information: > > I installed GMP 4.1 (the latest version from the gnu website) > > The prefix just points to a test directory, because it is not yet > installed officially on our lab. So I created the directory /tmp/gmp in > order to test the GMP library, together with PPL. But this should work > anyhow. I have the feeling that, though the --with-gmp* are used, PPL uses > the default GMP directory, where version 3 is installed. Our administrator > doesn't want to change to version 4 immediately, because of the links to > other applications... > > The output of g++ -v is > gcc version 2.96 20000731 (Red Hat Linux 7.1 2.96-81) > > The output of uname-a is > Linux klftdh07.tn.tudelft.nl 2.4.8-ac2 #4 Mon Aug 13 15:02:24 CEST 2001 > i686 unknown > > The config.log file can be found as an attachment in this mail. > > I hope you can help me, because the library looks very interesting and > powerful! Dear Martin, here is the diagnosis of the problem you are experiencing. GMP 4.0.1 had a misfeature that was hiding a bug in the configuration mechanism of PPL 0.3. This problem of GMP was reported in http://www.cs.unipr.it/pipermail/ppl-devel/2002-March/001417.html and then fixed in GMP 4.1. In summary, with GMP 4.1 the bug in PPL 0.3 becomes apparent and does not allow you to build the library. There are two possible solution: installing GMP 4.0.1 instead of GMP 4.1 and then install PPL 0.3 or, much better, wait a few hours so that we can prepare a snapshot of PPL 0.4 (due to be released very soon) for you. We warmly suggest the second solution. I will send you a mail when the snapshot is on our web site for you to download. 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 1

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 12 Jun '02

12 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-12 08:45:43 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Started writing the documentation for the GNU Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src globals.hh
by Roberto Bagnara 12 Jun '02

12 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-12 08:45:12 Modified files: src : globals.hh Log message: Document struct From_Bounding_Box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

[Fwd: Re: Bug affecting mpq_class::get_num() and mpq_class::get_den()?]
by Roberto Bagnara 12 Jun '02

12 Jun '02

-------- Original Message -------- Subject: Re: Bug affecting mpq_class::get_num() and mpq_class::get_den()? Date: Wed, 12 Jun 2002 10:25:03 +1000 From: Kevin Ryde <user42(a)zip.com.au> To: gerardo.ballabio(a)unimib.it (Ballabio Gerardo - Dip. di Scienza dei Materiali) CC: Roberto Bagnara <bagnara(a)cs.unipr.it>, Torbjorn Granlund <tege(a)swox.se> References: <87k7p9bdqi.fsf(a)zip.com.au> <20020610122024.C4790(a)nettunio.mater.unimib.it> gerardo.ballabio(a)unimib.it (Ballabio Gerardo - Dip. di Scienza dei Materiali) writes: > > but I don't know very much about the internals of > mpz_t and mpq_t, and I'm not sure that such "symlinking" can be done An mpq_t is just two mpz_t's, nothing more. mpq_numref and mpq_denref give pointers to the respective fields. Would it work to cast to an "mpz_class *" or "mpz_class &"? Or would that be too nasty. > (actually, I looked into gmp.h, but I'm quite confused about mpz_t > being defined as "typedef __mpz_struct mpz_t[1];"). That trickery means when mpz_t is used to define a variable, it gets space for one __mpz_struct, but if mpz_t is used as a function parameter then it's just a pointer which is passed, giving "call by reference". > Otherwise, I can only suggest to leave the code as it is, and to > change the documentation like this: Thanks, I'll do that for now, and maybe put a note in the limitations section about why. -- 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

ppl/doc definitions.dox
by Enea Zaffanella 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-11 17:28:06 Modified files: doc : definitions.dox Log message: Added a few words on the double description method. Adjusted capitalizations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src GenSys.cc Polyhedron.cc
by Enea Zaffanella 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-11 15:02:41 Modified files: src : GenSys.cc Polyhedron.cc Log message: Enforcing normalization of constraints and generators in Polyhedron methods strongly_minimize_generators(), add_generator(), time_elapse_assign() and topological_closure_assign(); the same for method GenSys::add_corresponding_closure_points(). Patches: 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…

1 0

Re: [PPL-devel] Installing PPL (fwd)
by Martin Rohde 11 Jun '02

11 Jun '02

Sorry, maybe I should have sent this mail to this address. Martin Rohde ----------------------------------------------------------------------- Dear Roberto, thank you for your quick response. Here the information: I installed GMP 4.1 (the latest version from the gnu website) The prefix just points to a test directory, because it is not yet installed officially on our lab. So I created the directory /tmp/gmp in order to test the GMP library, together with PPL. But this should work anyhow. I have the feeling that, though the --with-gmp* are used, PPL uses the default GMP directory, where version 3 is installed. Our administrator doesn't want to change to version 4 immediately, because of the links to other applications... The output of g++ -v is gcc version 2.96 20000731 (Red Hat Linux 7.1 2.96-81) The output of uname-a is Linux klftdh07.tn.tudelft.nl 2.4.8-ac2 #4 Mon Aug 13 15:02:24 CEST 2001 i686 unknown The config.log file can be found as an attachment in this mail. I hope you can help me, because the library looks very interesting and powerful! Thank you. Martin Rohde On Tue, 11 Jun 2002, Roberto Bagnara wrote: > Martin Rohde wrote: > > Hello, > > > > I'm trying to install PPL, but everytime I do > > > > ./configure --prefix=/tmp/ppl > > > > I get the message that GMP4 cannot be found. The /tmp dir is in PATH and I > > installed GMP with the --enable-cxx option and set CPPFLAGS to > > -fexceptions. > > > > Who can help me? > > > > Thank you > > > > Martin Rohde > > > > Delft University of Technology > > Kramers Laboratorium voor Fysische Technologie > > Tel 0031 +152787084 > > Mail martin(a)klftfs01.tn.tudelft.nl > > > > _______________________________________________ > > PPL-devel mailing list > > PPL-devel(a)cs.unipr.it > > http://www.cs.unipr.it/mailman/listinfo/ppl-devel > > > Dear Martin, > > as you see, I have forwarded your message to ppl-devel(a)cs.unipr.it, > which is the right list for this kind of issues > (ppl-announce(a)cs.unipr.it is a moderated list that we only use for > important annoucements such as the release of new versions of the > library). > > In order to help you, we need some information. Which version of > GMP did you install? How did you configure GMP exactly (the prefix > you used is particularly important)? Which version of GCC did you use > (send us the output of `g++ -v')? Which architecture (send us the > output of `uname -a')? > Could you send us the file called config.log that has been created > in the directory where you run the PPL configure script? > Later > > 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 > > Martin Rohde Delft University of Technology Kramers Laboratorium voor Fysische Technologie Tel 0031 +152787084 Mail martin(a)klftfs01.tn.tudelft.nl The following attachment was sent, but NOT saved in the Fcc copy: A Text/PLAIN segment of about 8,412 bytes.

1 0

ppl/src Constraint.cc Constraint.defs.hh Gener ...
by Enea Zaffanella 11 Jun '02

11 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-11 12:40:11 Modified files: src : Constraint.cc Constraint.defs.hh Generator.cc Log message: Added method Constraint::OK() to check for normalization of constraints. Added the same check to method Generator::OK(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

Installing PPL
by Martin Rohde 11 Jun '02

11 Jun '02

Hello, I'm trying to install PPL, but everytime I do ./configure --prefix=/tmp/ppl I get the message that GMP4 cannot be found. The /tmp dir is in PATH and I installed GMP with the --enable-cxx option and set CPPFLAGS to -fexceptions. Who can help me? Thank you Martin Rohde Delft University of Technology Kramers Laboratorium voor Fysische Technologie Tel 0031 +152787084 Mail martin(a)klftfs01.tn.tudelft.nl

2 1