August 2009 - PPL-devel - BUGSENG Mailman

Problems with test suite on alpha
by Michael Tautschnig 09 Sep '10

09 Sep '10

Hi PPL developers, I've reported problems with some test cases because of suspected gcc bugs on alpha earlier already. Now it seems that even more test cases are broken, most probably because of the very same bug (I suspect it to be http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8966). My question now is: How to proceed? Shall I specifically disable the failing test cases by surrounding them with an #ifndef __alpha__ or disable the entire test suite on alpha? Thanks, Michael

2 6

Parametric integer linear programming solver
by Sebastian Pop 22 Nov '09

22 Nov '09

Hello, I would like to know whether there exists a parametric integer linear programming solver that can be called from the PPL interface, or how we could use from PPL an existing solver, like http://piplib.org We would need such a tool to improve the precision of the data dependence analysis of Graphite by computing the reaching definitions of array accesses. Thank you, Sebastian Pop -- AMD - GNU Tools

4 10

PPL fails to build on SGI - with config.log.bz2
by Tovrea, George W (US SSA) 01 Sep '09

01 Sep '09

Knowing how you love to see the config.log, I've attached it. -----Original Message----- From: Tovrea, George W (US SSA) Sent: Monday, August 31, 2009 11:08 AM To: ppl-devel(a)cs.unipr.it Subject: PPL fails to build on SGI System: uname -m = IP35 uname -r = 6.5 uname -s = IRIX64 uname -v = 07010238 /usr/bin/uname -p = mips /bin/uname -X = unknown Error: /home/users/tovrea/local/sgi6/bin/g++ -DHAVE_CONFIG_H -I. -I/home/users/tovrea/GCC_SGI2/ppl-0.10.2/src -I.. -I.. -I/home/users/tovrea/GCC_SGI2/ppl-0.10.2/src -I/home/users/tovrea/local/sgi6/include -g -O2 -frounding-math -W -Wall -MT ppl-config.o -MD -MP -MF .deps/ppl-config.Tpo -c -o ppl-config.o ppl-config.cc ppl-config.cc:131: error: 'no_argument' was not declared in this scope ppl-config.cc:132: error: 'required_argument' was not declared in this scope ppl-config.cc:133: error: 'required_argument' was not declared in this scope ppl-config.cc:134: error: 'no_argument' was not declared in this scope ppl-config.cc:135: error: 'no_argument' was not declared in this scope ppl-config.cc:136: error: 'optional_argument' was not declared in this scope ppl-config.cc:137: error: 'optional_argument' was not declared in this scope ppl-config.cc:138: error: 'no_argument' was not declared in this scope ppl-config.cc:139: error: 'no_argument' was not declared in this scope ppl-config.cc:140: error: 'no_argument' was not declared in this scope ppl-config.cc:141: error: 'no_argument' was not declared in this scope ppl-config.cc:142: error: 'no_argument' was not declared in this scope ppl-config.cc:143: error: 'no_argument' was not declared in this scope ppl-config.cc:144: error: 'no_argument' was not declared in this scope ppl-config.cc:145: error: 'no_argument' was not declared in this scope ppl-config.cc:146: error: 'no_argument' was not declared in this scope ppl-config.cc:147: error: 'no_argument' was not declared in this scope ppl-config.cc:148: error: 'no_argument' was not declared in this scope ppl-config.cc:149: error: 'no_argument' was not declared in this scope ppl-config.cc:150: error: 'no_argument' was not declared in this scope ppl-config.cc:151: error: 'no_argument' was not declared in this scope ppl-config.cc:152: error: 'no_argument' was not declared in this scope ppl-config.cc:153: error: 'no_argument' was not declared in this scope ppl-config.cc:154: error: 'no_argument' was not declared in this scope ppl-config.cc:155: error: 'no_argument' was not declared in this scope ppl-config.cc:156: error: 'no_argument' was not declared in this scope ppl-config.cc:158: error: elements of array '<unnamed>::option <unnamed>::long_options []' have incomplete type ppl-config.cc:158: error: storage size of '<unnamed>::long_options' isn't known ppl-config.cc: In function 'void<unnamed>::process_options(int, char**)': ppl-config.cc:254: error: 'getopt_long' was not declared in this scope ma Bill Tovrea BAE Systems 16550 West Bernardo Drive San Diego, CA 92127 Telephone: (858) 592-5292 Pager: (888) 971-4964 E-mail: George.Tovrea(a)baesystems.com

2 2

PPL fails to build on SGI
by Tovrea, George W (US SSA) 31 Aug '09

31 Aug '09

System: uname -m = IP35 uname -r = 6.5 uname -s = IRIX64 uname -v = 07010238 /usr/bin/uname -p = mips /bin/uname -X = unknown Error: /home/users/tovrea/local/sgi6/bin/g++ -DHAVE_CONFIG_H -I. -I/home/users/tovrea/GCC_SGI2/ppl-0.10.2/src -I.. -I.. -I/home/users/tovrea/GCC_SGI2/ppl-0.10.2/src -I/home/users/tovrea/local/sgi6/include -g -O2 -frounding-math -W -Wall -MT ppl-config.o -MD -MP -MF .deps/ppl-config.Tpo -c -o ppl-config.o ppl-config.cc ppl-config.cc:131: error: 'no_argument' was not declared in this scope ppl-config.cc:132: error: 'required_argument' was not declared in this scope ppl-config.cc:133: error: 'required_argument' was not declared in this scope ppl-config.cc:134: error: 'no_argument' was not declared in this scope ppl-config.cc:135: error: 'no_argument' was not declared in this scope ppl-config.cc:136: error: 'optional_argument' was not declared in this scope ppl-config.cc:137: error: 'optional_argument' was not declared in this scope ppl-config.cc:138: error: 'no_argument' was not declared in this scope ppl-config.cc:139: error: 'no_argument' was not declared in this scope ppl-config.cc:140: error: 'no_argument' was not declared in this scope ppl-config.cc:141: error: 'no_argument' was not declared in this scope ppl-config.cc:142: error: 'no_argument' was not declared in this scope ppl-config.cc:143: error: 'no_argument' was not declared in this scope ppl-config.cc:144: error: 'no_argument' was not declared in this scope ppl-config.cc:145: error: 'no_argument' was not declared in this scope ppl-config.cc:146: error: 'no_argument' was not declared in this scope ppl-config.cc:147: error: 'no_argument' was not declared in this scope ppl-config.cc:148: error: 'no_argument' was not declared in this scope ppl-config.cc:149: error: 'no_argument' was not declared in this scope ppl-config.cc:150: error: 'no_argument' was not declared in this scope ppl-config.cc:151: error: 'no_argument' was not declared in this scope ppl-config.cc:152: error: 'no_argument' was not declared in this scope ppl-config.cc:153: error: 'no_argument' was not declared in this scope ppl-config.cc:154: error: 'no_argument' was not declared in this scope ppl-config.cc:155: error: 'no_argument' was not declared in this scope ppl-config.cc:156: error: 'no_argument' was not declared in this scope ppl-config.cc:158: error: elements of array '<unnamed>::option <unnamed>::long_options []' have incomplete type ppl-config.cc:158: error: storage size of '<unnamed>::long_options' isn't known ppl-config.cc: In function 'void<unnamed>::process_options(int, char**)': ppl-config.cc:254: error: 'getopt_long' was not declared in this scope ma Bill Tovrea BAE Systems 16550 West Bernardo Drive San Diego, CA 92127 Telephone: (858) 592-5292 Pager: (888) 971-4964 E-mail: George.Tovrea(a)baesystems.com

2 1

[Fwd: Re: gmp-4.3.1 header and library version mismatch]
by Roberto Bagnara 26 Aug '09

26 Aug '09

-------- Original Message -------- Subject: Re: [PPL-devel] gmp-4.3.1 header and library version mismatch Date: Wed, 26 Aug 2009 18:16:09 +0200 From: Karl-Werner Beszus <kwbes(a)gmx.de> Reply-To: kwbes(a)online.de To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <200908251156.45852.kwbes(a)gmx.de> <4A94D216.8090805(a)cs.unipr.it> Am Mittwoch, 26. August 2009 08:11 hast du geschrieben "Re: [PPL-devel] gmp-4.3.1 header and library version mismatch": > Hi Karl-Werner, > > perhaps you have two installation of GMP in your system? I would need to > see the config.log file to tell you better. Please send it in compressed > form. You are right in that, that there are more libgmp* on my system, than just the ones in /usr/lib. Especially "openssl" and "sse2" uses there own ones in separate dirs, but the compiletest is explicitly done with: "g++ -o conftest conftest.cpp /usr/lib/libgmpxx.so /usr/lib/libgmp.so", which points to libgmp.so.3.5.0 and libgmpxx.so.4.1.0 (in /usr/lib of course). Anyhow, attached you find the requested "config.log". -- 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 2

gmp-4.3.1 header and library version mismatch
by Karl-Werner Beszus 26 Aug '09

26 Aug '09

When compiling (configuring) ppl-0.10.2, I get the error: "configure: error: Cannot find GMP version 4.1.3 or higher." in config.log (short): g++ -o conftest conftest.cpp /usr/lib/libgmpxx.so /usr/lib/libgmp.so Involved is "configure" from ppl-0.10.2: ---codeschnipp #include <gmpxx.h> .... #if __GNU_MP_VERSION < 4 || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR < 1) || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR == 1 && __GNU_MP_VERSION_PATCHLEVEL < 3) #GMP version 4.1.3 or higher is required #endif int main() { std::string header_version; { std::ostringstream s(header_version); s << __GNU_MP_VERSION << "." << __GNU_MP_VERSION_MINOR; // Starting from GMP version 4.3.0, the gmp_version variable // always contains three parts. In previous versions the // patchlevel was omitted if it was 0. if (__GNU_MP_VERSION_PATCHLEVEL != 0 || __GNU_MP_VERSION > 4 || (__GNU_MP_VERSION == 4 && __GNU_MP_VERSION_MINOR >= 3)) s << "." << __GNU_MP_VERSION_PATCHLEVEL; header_version = s.str(); } std::string library_version = gmp_version; if (header_version != library_version) { std::cerr << "GMP header (gmp.h) and library (ligmp.*) version mismatch:\n" << "header gives " << header_version << ";\n" << "library gives " << library_version << "." << std::endl; return 1; } .... ---codeschnipp It looks like there's something wrong with "gmp_version", but I couldn't find, where/how this is defined in the code of gmp-4.3.1. The __GNU_MP_VERSION* ones are OK. I commented out the block with the comparing of header_version and library_version, and the configure && make && make check of ppl-0.10.2 runs without an error. BTW: gmp-4.3.1 compiles to: libgmp.so.3.5.0 and libgmpxx.so.4.1.0 (--enable-cxx)

2 1

[GIT] ppl/ppl(pip): Typo fixed.
by Roberto Bagnara 25 Aug '09

25 Aug '09

Module: ppl/ppl Branch: pip Commit: 362c6c0bcf47be85d7b4c9848738be5f84b17c93 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=362c6c0bcf47… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Aug 25 21:06:10 2009 +0200 Typo fixed. --- src/PIP_Tree.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/PIP_Tree.defs.hh b/src/PIP_Tree.defs.hh index 82a1d3a..fa3c9c7 100644 --- a/src/PIP_Tree.defs.hh +++ b/src/PIP_Tree.defs.hh @@ -102,7 +102,7 @@ public: //! Returns a const pointer to the \p b (true or false) branch of \p *this. const PIP_Tree_Node* child_node(bool b) const; - //! Returns a pointer to the \v (true or false) branch of \p *this. + //! Returns a pointer to the \p v (true or false) branch of \p *this. PIP_Tree_Node* child_node(bool v); //! Returns the system of constraints controlling \p *this.

1 0

Re: [PPL-devel] Undefined PPL references attempting to build cloog-ppl
by Tovrea, George W (US SSA) 21 Aug '09

21 Aug '09

One problem is in configure (from configure.ac) at # Avoid extra blanks. # required_instantiations=`echo "${enableval}" | sed -e 's/[[ ]][[ ]]*/ /g' -e 's/[[ ]]*$[[@<>,]]$[[ ]]*/\1/g' -e 's/>>/> >/g' -e 's/^[[ ]]//g' -e 's/[[ ]]$//g'` At this point, enableval = "Polyhedron@Grid@Rational_Box@BD_Shape<mpz_class>@ BD_Shape<mpq_class>@ Octagonal_Shape<mpz_class>@ Octagonal_Shape<mpq_class>@ Constraints_Product<C_Polyhedron,Grid>@ Pointset_Powerset<C_Polyhedron>@ Pointset_Powerset<NNC_Polyhedron>" Which is already incorrect, but the sed command above fails to remove the extra blanks. Tried this on a Linux machine also with following results (same as Solaris): tovrea@challenger%set alist = "Polyhedron@Grid@Rational_Box@BD_Shape<mpz_class>@ BD_Shape<mpq_class>@ Octagonal_Shape<mpz_class>@ Octagonal_Shape<mpq_class>@ Constraints_Product<C_Polyhedron,Grid>@ Pointset_Powerset<C_Polyhedron>@ Pointset_Powerset<NNC_Polyhedron>" tovrea@challenger%echo $alist | sed -e 's/[[ ]][[ ]]*/ /g' -e 's/[[ ]]*$[[@<>,]]$[[ ]]*/\1/g' -e 's/>>/> >/g' -e 's/^[[ ]]//g' -e 's/[[ ]]$//g' Polyhedron@Grid@Rational_Box@BD_Shape<mpz_class>@ BD_Shape<mpq_class>@ Octagonal_Shape<mpz_class>@ Octagonal_Shape<mpq_class>@ Constraints_Product<C_Polyhedron,Grid>@ Pointset_Powerset<C_Polyhedron>@ Pointset_Powerset<NNC_Polyhedron> Hard coded the correct list in configure and the names were generated correctly. Also, ClooG compiled without the undefined references experienced prior to the kludge. -----Original Message----- From: P M Hill [mailto:hill@comp.leeds.ac.uk] Sent: Sunday, August 16, 2009 1:22 AM To: Tovrea, George W (US SSA) Cc: ppl-devel(a)cs.unipr.it Subject: RE: [PPL-devel] Undefined PPL references attempting to build cloog-ppl On Thu, 13 Aug 2009, Tovrea, George W (US SSA) wrote: > Any other ideas about how to fix this issue? Only that the configure file generates the Makefiles, including the one with the buggy names. In your generated configure file you should have: required_instantiations_canonical_names=`echo "${required_instantiations}" | sed -e 's/> //g' -e 's/>//g' -e 's/[< ,]/_/g'` which will be used to generate the "interface" or "canonical" names from the C++ names - for example - BD_Shape_mpq_class from BD_Shape<mpq_class> So I can only suggest that you check your configure file that the above line is correct there. Pat > > -----Original Message----- > From: Tovrea, George W (US SSA) > Sent: Tuesday, August 11, 2009 1:45 PM > To: 'P M Hill' > Subject: RE: [PPL-devel] Undefined PPL references attempting to build > cloog-ppl > > Yes, they are also messed up there: > > required_instantiations_c_cxx_headers = ppl_c_Polyhedron.hh > ppl_c_Grid.hh ppl_c_Rational_Box.hh ppl_c_BD_Shape_mpz_class.hh > ppl_c__BD_Shape_mpq_class.hh ppl_c__Octagonal_Shape_mpz_class.hh > ppl_c__Octagonal_Shape_mpq_class.hh > ppl_c__Constraints_Product_C_Polyhedron_Grid.hh > ppl_c__Pointset_Powerset_C_Polyhedron.hh > ppl_c__Pointset_Powerset_NNC_Polyhedron.hh > required_instantiations_c_cxx_objects = ppl_c_Polyhedron.lo > ppl_c_Grid.lo ppl_c_Rational_Box.lo ppl_c_BD_Shape_mpz_class.lo > ppl_c__BD_Shape_mpq_class.lo ppl_c__Octagonal_Shape_mpz_class.lo > ppl_c__Octagonal_Shape_mpq_class.lo > ppl_c__Constraints_Product_C_Polyhedron_Grid.lo > ppl_c__Pointset_Powerset_C_Polyhedron.lo > ppl_c__Pointset_Powerset_NNC_Polyhedron.lo > required_instantiations_c_cxx_sources = ppl_c_Polyhedron.cc > ppl_c_Grid.cc ppl_c_Rational_Box.cc ppl_c_BD_Shape_mpz_class.cc > ppl_c__BD_Shape_mpq_class.cc ppl_c__Octagonal_Shape_mpz_class.cc > ppl_c__Octagonal_Shape_mpq_class.cc > ppl_c__Constraints_Product_C_Polyhedron_Grid.cc > ppl_c__Pointset_Powerset_C_Polyhedron.cc > ppl_c__Pointset_Powerset_NNC_Polyhedron.cc > required_instantiations_canonical_names = > Polyhedron@Grid@Rational_Box@BD_Shape_mpz_class@_BD_Shape_mpq_class@_Oct > agonal_Shape_mpz_class@_Octagonal_Shape_mpq_class@_Constraints_Product_C > _Polyhedron_Grid@_Pointset_Powerset_C_Polyhedron@_Pointset_Powerset_NNC_ > Polyhedron > > -----Original Message----- > From: P M Hill [mailto:hill@comp.leeds.ac.uk] > Sent: Tuesday, August 11, 2009 1:42 PM > To: Tovrea, George W (US SSA) > Cc: Sebastian Pop; The Parma Polyhedra Library developers' list; Roberto > Bagnara > Subject: Re: [PPL-devel] Undefined PPL references attempting to build > cloog-ppl > > Also check the Makefile in the same directory. If they are messed up > there, then the problem appears to be with autoreconf. > > Pat > > On Tue, 11 Aug 2009, Tovrea, George W (US SSA) wrote: > >> Yes, I have looked at that file (ppl_interface_instantiations.m4) and >> the names are messed up in there, as you can see: >> >> m4_define(`m4_interface_classes_names', >> > `Polyhedron@Grid@Rational_Box@BD_Shape_mpz_class@_BD_Shape_mpq_class@_Oc >> > tagonal_Shape_mpz_class@_Octagonal_Shape_mpq_class@_Constraints_Product_ >> > C_Polyhedron_Grid@_Pointset_Powerset_C_Polyhedron@_Pointset_Powerset_NNC >> _Polyhedron') >> m4_define(`m4_cplusplus_classes_names', >> `Polyhedron@Grid@Rational_Box@BD_Shape<mpz_class>@ > BD_Shape<mpq_class>@ >> Octagonal_Shape<mpz_class>@ Octagonal_Shape<mpq_class>@ >> Constraints_Product<C_Polyhedron,Grid>@ > Pointset_Powerset<C_Polyhedron>@ >> Pointset_Powerset<NNC_Polyhedron>') >> >> -----Original Message----- >> From: P M Hill [mailto:hill@comp.leeds.ac.uk] >> Sent: Tuesday, August 11, 2009 1:31 PM >> To: Tovrea, George W (US SSA) >> Cc: Roberto Bagnara; The Parma Polyhedra Library developers' list; >> Sebastian Pop >> Subject: Re: [PPL-devel] Undefined PPL references attempting to build >> cloog-ppl >> >> Here are a few observations wrt the code you have sent and maybe they >> might help us find the bug. >> >> I have noticed in your snippets of code that the interface names with >> the >> extra "_" are always the same - and it is added before the main root. >> (Either "_" precedes the name or "ppl_c__" precedes the name where the >> double "__" should be a single "_".) A list of these names is built by >> the >> configure as the default interface classes and are placed in the >> Makefile >> in the interfaces directory. When make is executed, the Makefile >> generates >> a file called ppl_interface_instantiations.m4 in the interfaces >> directory. >> >> Assuming the default configuration is used, this should contain the >> following: >> >> m4_define(`m4_interface_classes_names', >> > `Polyhedron@Grid@Rational_Box@BD_Shape_mpz_class@BD_Shape_mpq_class@Octa >> > gonal_Shape_mpz_class@Octagonal_Shape_mpq_class@Constraints_Product_C_Po >> > lyhedron_Grid@Pointset_Powerset_C_Polyhedron@Pointset_Powerset_NNC_Polyh >> edron@Double_Box@BD_Shape_double@Octagonal_Shape_double') >> m4_define(`m4_cplusplus_classes_names', >> > `Polyhedron@Grid@Rational_Box@BD_Shape<mpz_class>@BD_Shape<mpq_class>@Oc >> > tagonal_Shape<mpz_class>@Octagonal_Shape<mpq_class>@Constraints_Product< >> > C_Polyhedron,Grid>@Pointset_Powerset<C_Polyhedron>@Pointset_Powerset<NNC >> _Polyhedron>@Double_Box@BD_Shape<double>@Octagonal_Shape<double>') >> >> and is then used by the m4 to generate the C code for each of these >> classes. >> >> So it may be helpful to check that if one or both of these generated >> files >> have the names correctly (ie as above). I suspect that some names may >> already be buggy and have the extra "_". In which case, it could be >> autoreconf or even make that could be the problem and not m4. >> >> HTH >> >> Pat >> >> On Tue, 11 Aug 2009, Tovrea, George W (US SSA) wrote: >> >>> In a previous mail, you wrote: >>> >>> Strange: this is the same version I use. I don't know what to say: >>> in ppl_c.h you should end up with >>> >>> PPL_TYPE_DECLARATION(Polyhedron) >>> PPL_TYPE_DECLARATION(Grid) >>> PPL_TYPE_DECLARATION(Rational_Box) >>> PPL_TYPE_DECLARATION(BD_Shape_mpz_class) >>> PPL_TYPE_DECLARATION(BD_Shape_mpq_class) >>> PPL_TYPE_DECLARATION(Octagonal_Shape_mpz_class) >>> PPL_TYPE_DECLARATION(Octagonal_Shape_mpq_class) >>> PPL_TYPE_DECLARATION(Constraints_Product_C_Polyhedron_Grid) >>> PPL_TYPE_DECLARATION(Pointset_Powerset_C_Polyhedron) >>> PPL_TYPE_DECLARATION(Pointset_Powerset_NNC_Polyhedron) >>> >>> whereas you have >>> >>> PPL_TYPE_DECLARATION(Polyhedron) >>> PPL_TYPE_DECLARATION(Grid) >>> PPL_TYPE_DECLARATION(Rational_Box) >>> PPL_TYPE_DECLARATION(BD_Shape_mpz_class) >>> PPL_TYPE_DECLARATION(_BD_Shape_mpq_class) >>> PPL_TYPE_DECLARATION(_Octagonal_Shape_mpz_class) >>> PPL_TYPE_DECLARATION(_Octagonal_Shape_mpq_class) >>> PPL_TYPE_DECLARATION(_Constraints_Product_C_Polyhedron_Grid) >>> PPL_TYPE_DECLARATION(_Pointset_Powerset_C_Polyhedron) >>> PPL_TYPE_DECLARATION(_Pointset_Powerset_NNC_Polyhedron) >>> >>> Note that all the declarations that are in error above have a double >>> underscore after ppl_c in the snippet below. All the ones that are >>> correct have a single underscore after ppl_c. For example, >>> BD_Shape_mpz_class above relates to ppl_c_BD_Shape_mpz_class whereas >>> _BD_Shape_mpq_class above relates to ppl_c__BD_Shape_mpq_class below. >>> Seems more than coincidental. However, I modified config.status >> changing >>> all ppl_c__ tp ppl_c_. This did not build (still looking for some >>> ppl_c__ files). I am currently trying to debug >>> >>> /net/whistler/auto/users/tovrea/local/sol2/bin/m4 --prefix-builtin >> -I.. >>> -I../../../interfaces/C -I../../../interfaces/C/.. \ >>> ../../../interfaces/C/ppl_interface_generator_c_h.m4 > >>> ppl_c_domains.h >>> >>> >>> ppl_c_domains.h contains all the ppl_c__ names >>> >>> >>> -----Original Message----- >>> From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] >>> Sent: Tuesday, August 11, 2009 12:54 AM >>> To: Tovrea, George W (US SSA) >>> Cc: Sebastian Pop; The Parma Polyhedra Library developers' list >>> Subject: Re: [PPL-devel] Undefined PPL references attempting to build >>> cloog-ppl >>> >>> Tovrea, George W (US SSA) wrote: >>>> The names are already messed up after running configure. From >>> config.status: >>>> >>>> S["required_instantiations_c_cxx_objects"]="ppl_c_Polyhedron.lo >>> ppl_c_Grid.lo ppl_c_Rational_Box.lo ppl_c_BD_Shape_mpz_class.lo >>> ppl_c__BD_Shape_mpq_class.lo ppl_c__Octagonal_Shape_mpz_class.lo"\ >>>> " ppl_c__Octagonal_Shape_mpq_class.lo >>> ppl_c__Constraints_Product_C_Polyhedron_Grid.lo >>> ppl_c__Pointset_Powerset_C_Polyhedron.lo ppl_c__Pointset_Powers"\ >>>> "et_NNC_Polyhedron.lo" >>>> S["required_instantiations_c_cxx_sources"]="ppl_c_Polyhedron.cc >>> ppl_c_Grid.cc ppl_c_Rational_Box.cc ppl_c_BD_Shape_mpz_class.cc >>> ppl_c__BD_Shape_mpq_class.cc ppl_c__Octagonal_Shape_mpz_class.cc"\ >>>> " ppl_c__Octagonal_Shape_mpq_class.cc >>> ppl_c__Constraints_Product_C_Polyhedron_Grid.cc >>> ppl_c__Pointset_Powerset_C_Polyhedron.cc ppl_c__Pointset_Powers"\ >>>> "et_NNC_Polyhedron.cc" >>>> S["required_instantiations_c_cxx_headers"]="ppl_c_Polyhedron.hh >>> ppl_c_Grid.hh ppl_c_Rational_Box.hh ppl_c_BD_Shape_mpz_class.hh >>> ppl_c__BD_Shape_mpq_class.hh ppl_c__Octagonal_Shape_mpz_class.hh"\ >>>> " ppl_c__Octagonal_Shape_mpq_class.hh >>> ppl_c__Constraints_Product_C_Polyhedron_Grid.hh >>> ppl_c__Pointset_Powerset_C_Polyhedron.hh ppl_c__Pointset_Powers"\ >>>> "et_NNC_Polyhedron.hh" >>> >>> Hi Bill, >>> >>> I see nothing messed up in this snippet. >>> Can you explain? >>> All the best, >>> >>> Roberto >>> >>> >> >> _______________________________________________ >> PPL-devel mailing list >> PPL-devel(a)cs.unipr.it >> http://www.cs.unipr.it/mailman/listinfo/ppl-devel >> > >

2 1

[GIT] ppl/ppl(pip): New commits
by Roberto Bagnara 21 Aug '09

21 Aug '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71c24b0bbde9… Merge: 1f2678a35a2e13b22456a380a9e0b974939232a9 6a96e861272517118cfef7806f7b696dccd4d7e6 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 21 09:42:04 2009 +0200 Merge branch 'master' into pip Conflicts: fedora/ppl.spec URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a96e8612725… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Aug 15 10:05:48 2009 +0200 Mention correction of bug in Pointset_Powerset maximize/minimize methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba692c7b2002… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Aug 15 08:18:50 2009 +0200 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b52a2d273f4f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Aug 15 08:15:14 2009 +0200 Corrected a bug in Pointset_Powerset methods minimize() and maximize(). We now return false if the powerset is found to be empty. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfff7e13e881… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Aug 15 08:10:19 2009 +0200 Corrected a few expected results in Powerset/maxmin1.cc. This uncovered a bug in Pointset_Powerset methods maximize() and minimize(), whereby we are returning true even for empty powersets. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3acefad3847… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 7 17:37:17 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d61b662af67… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Aug 7 16:15:28 2009 +0200 Useless, commented-out inclusion removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a87795dec3ab… Author: Abramo Bagnara <abramo(a)localhost.localdomain> Date: Fri Aug 7 12:40:53 2009 +0200 Modified cm_splitter machinery to avoid use of 'read' shell builtin. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3daa332122e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Aug 7 11:43:54 2009 +0200 Mention a bug that was recently corrected. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=325ba80abd8c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Aug 7 10:39:38 2009 +0200 Corrected implementation of NNC_Polyhedron::upper_bound_assign_if_exact(). Added a few tests for regression checking. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21c69b39730e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Aug 5 14:48:04 2009 +0200 Make sure a definition for member/2 and append/3 is available. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5a20e1b7ed8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 20:32:32 2009 +0200 Removed useless, temporary addition of -lm to LIBS. (Thanks to Joseph Prostko.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49f717edef1e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 20:32:17 2009 +0200 Checks reordered. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d5c936a3dd3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 18:55:02 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d398d757a50… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 18:37:14 2009 +0200 Use AC_SEARCH_LIBS to detect whether -lm must be provided to the linker. (Thanks to Joseph Prostko.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bfd79445fd0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 17:41:35 2009 +0200 Do not add -lm to LDADD for *randphull1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a41facee8e5c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Aug 2 09:28:50 2009 +0200 Do not link with -lm here. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65bab4f76a1b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jul 31 13:15:39 2009 +0200 Improved and generalized the detection of YAP. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba9c7d438434… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 30 10:02:34 2009 +0200 Updated from Autoconf 2.64. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08eaee8c4564… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 28 14:31:41 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=272435922ed6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 28 14:30:07 2009 +0200 On Windows, the console version of SWI-Prolog is called `plcon'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d276a484e1cb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jul 15 14:04:49 2009 +0200 Adjusted weight thresholds. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=092abc98a2ac… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 19:33:20 2009 +0200 Debugging prints improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55dda35b30c6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 19:29:20 2009 +0200 Weights adjusted. Added more debugging prints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12ab9f366276… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 19:14:50 2009 +0200 More weights adjusted. Added a couple of debugging prints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b64d72bae2be… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 18:49:35 2009 +0200 Added printing of MIP solver recursion level for (noisy) debugging. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a17f3bf228fb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 17:36:47 2009 +0200 Added some weights. Added some debugging prints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01c5219d84f3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 16:07:36 2009 +0200 Todo items reorganized. Removed the one about NOT_EQUAL. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5beb16e7b88… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 16:05:30 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=456f042c8e04… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 14 14:39:00 2009 +0200 The *_and_minimize/N predicates have gone: remove residual references to them. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80fe52b084cf… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 15:05:11 2009 +0200 Added WEIGHT_BEGIN and corrected WEIGHT_ADD_MUL macro. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd670303e2a9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 14:59:48 2009 +0200 Added WEIGHT_BEGIN() macros and reset a few weights. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2947b482bb0a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jul 14 11:36:08 2009 +0200 Added profiled weights. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=232f4f623dad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 11:05:13 2009 +0200 Modified computational weight for propagate_constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae0073bd4dd5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jul 14 09:18:37 2009 +0200 Added tentative computational weights to MIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67572f7617f6… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jul 14 00:09:12 2009 +0200 Fixed WEIGHT_ADD use. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3b1c746d42b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 22:32:16 2009 +0200 WEIGHT_ADD moved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4984c996e750… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 22:16:04 2009 +0200 Removed forgotten WEIGHT_ADD. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61df49cc3d5f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 22:03:05 2009 +0200 Don't compile Weight_Profiler if it's not used. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27ce45ef5e47… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 21:58:44 2009 +0200 Minor formatting improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30c4076e092b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 21:48:50 2009 +0200 Use less simplistic weights. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b72e693fc9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 21:48:31 2009 +0200 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f53a31830c3e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 20:10:39 2009 +0200 Added additional info about Traits template parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3b243ef0142… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 18:46:47 2009 +0200 Converted weight threshold to unsigned long long. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f41bc98bc45b… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 18:36:51 2009 +0200 Added weight profiler URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5ea4dfdfcca… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 17:39:45 2009 +0200 In the Ocaml tests, timeouts are now reset unconditionally. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db905fa95a0e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 16:21:35 2009 +0200 Drafted a few missing comments. To be completed (by the author). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=603691e1fc7d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 16:04:22 2009 +0200 Added the documentation of some parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b5711e19f0b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 16:01:19 2009 +0200 Doxygen reference fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0808b5bf1789… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 15:55:59 2009 +0200 Fixed several documentation bugs signalled by Doxygen. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e03b09806640… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 15:39:17 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d1496c72855… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 15:47:56 2009 +0200 Removed repeated declaration. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18547b9dda76… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 15:13:27 2009 +0200 Moved in_assert in Implementation namespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3f9c1cc75c5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 14:50:55 2009 +0200 Warnings avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78a7c4b60e7e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 14:47:51 2009 +0200 Warnings avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b767ed368ed… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 14:47:39 2009 +0200 Spurious parenthesis removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35bcf04d2922… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 14:32:04 2009 +0200 Announced availability of the deterministic timeout facilities. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b1f6a84ec048… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Jul 13 14:28:04 2009 +0200 Converted assert in PPL_ASSERT. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a0fb124afab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 14:04:22 2009 +0200 A couple of minor doxygen documentation corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8da16bedab39… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 13:02:56 2009 +0200 Added determinisitc timeout functionality to the Ocaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f998de27be99… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 10:46:44 2009 +0200 Added deterministic timeout functionality to the Java language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62c817602e25… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 09:42:35 2009 +0200 Weightwatch test fixed so as to behave properly under arithmetic overflows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff28fdbc4a1f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 09:24:12 2009 +0200 Added deterministic timeout predicates to the Prolog language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d81e62914cde… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jul 13 08:56:27 2009 +0200 Now we throw/catch ad hoc exceptions for deterministic timeouts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=70437eb7512d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jul 13 06:47:50 2009 +0200 These tests fail also with 32-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08dfb6fea094… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:39:46 2009 +0200 New configure option --with-gmp-prefix supersedes the (now removed) options --with-libgmp-prefix and --with-libgmpxx-prefix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acac3c72eafc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:21:04 2009 +0200 These tests fail also with 16-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81f1af6d0c63… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:19:21 2009 +0200 Private typedef renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=557898faabc4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:19:12 2009 +0200 Removed spurious blank line. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5622bea5c074… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:15:32 2009 +0200 Comment improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89b767163dfb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 21:14:09 2009 +0200 Drafted the news for PWL 0.8. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1a81fe4089f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:08:36 2009 +0200 Unused temp removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66ccf323a04d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:07:58 2009 +0200 Warnings avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a645e6094ee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 20:51:38 2009 +0200 Fixed INPUT variable in Doxygen configuration for devref. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cda644cec9a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:05:01 2009 +0200 Updated for PWL 0.8. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ead85490a5fa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:00:19 2009 +0200 These tests fail with 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42c630cd1c01… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 18:58:15 2009 +0200 Added a test for deterministic timeouts in the C language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6ed324723fa… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 18:36:43 2009 +0200 The deterministic timeout facilities are in the C language interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f2de79bb0db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 17:16:20 2009 +0200 Got rid of the REACTIVE_ABANDONING macro. It was controlling tests whose cost is negligible, and defining it to 0 we would not honor what we promise in the documentation of abandon_expensive_computations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae4fb56b8dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 17:12:20 2009 +0200 Force rebuild. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a349f75ba19a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jul 12 13:55:14 2009 +0200 Converted watchdog time argument to unsigned. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1a9519f0771… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:48:29 2009 +0200 Item improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d2fd5e5653a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:47:36 2009 +0200 Synchronized with the current reality. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1175ae2b9f76… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:46:02 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fdc5887541… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:24:28 2009 +0200 Require Automake 1.11, enable lzma tar archives and silent rules. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0742e3828ce4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 11:12:29 2009 +0200 Avoid dummy parameter in constructor for Threshold_Watcher::Initialize. Renamed `initialize' to `init' to avoid visual clash with `Initialize'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5b0647b63bd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:15:18 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f36bad689490… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 10:13:04 2009 +0200 Require Automake 1.11, enable lzma tar archives and silent rules. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fec820348a7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 09:18:13 2009 +0200 Added a first test for the deterministic timeout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4cb9790c6f74… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 09:14:52 2009 +0200 Added Weightwatch_Traits class (from Abramo). Modified maybe_abandon(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78c8fb6cebda… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 08:11:22 2009 +0200 Minor improvements: prefer direct header file inclusions to indirect ones. Avoid unnecessarily long lines. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=133d39ca584c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 20:12:09 2009 +0200 Converted Weightwatch in more generic Threshold_Watcher. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6fd8437f2e56… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 18:25:10 2009 +0200 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99d4c96253e1… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 18:14:42 2009 +0200 Forgotten file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8e99fc18a85… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 18:13:39 2009 +0200 Weightwatch are now generic threshold watchdog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2845d771766… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Jul 11 14:07:36 2009 +0200 Weightwatch are now independent from client code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98c1aa19dbcd… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Jul 10 21:20:57 2009 +0200 Added Weightwatch. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9806b1f8969f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Jul 10 18:05:14 2009 +0200 Fixed a (potential) exception safety bug in class MIP_Problem. Added an helper class (implementing RAII technique) to safely relax a MIP problem into an LP problem and ensure that integer variables are restored even in the presence of exceptional execution paths. Improved interface (and a few comments) for private methods dealing with MIP optimization and satisfiability. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d986d5bcaf0a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 19 12:54:28 2009 +0200 The `gprolog' and `yap' packages are not available on the sparc64 and sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and `ppl-yap'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d8e88610e89… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Jun 18 10:54:46 2009 +0200 Added proof of concept for Python interface.

1 0

Re: [PPL-devel] configure failing on Linux...
by Tovrea, George W (US SSA) 18 Aug '09

18 Aug '09

Thanks. It seems you cannot "make bootstrap" gcc including gmp and using a previous version of gcc, in this case gcc (GCC) 3.4.6 20060404 (Red Hat 3.4.6-9). I guess I will have to make gmp separately using the gcc 4.4.0 created by "make bootstrap", then make ppl. I seem to have misplaced the mail with the code snippet but I believe it was just a simple "Hello World" example. Regards, Bill T. -----Original Message----- From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] Sent: Tuesday, August 18, 2009 7:01 AM To: Tovrea, George W (US SSA) Cc: ppl-devel(a)cs.unipr.it Subject: Re: [PPL-devel] configure failing on Linux... Tovrea, George W (US SSA) wrote: > Attached. The relevant section is this one: configure:16375: checking for the GMP library version 4.1.3 or above configure:16495: /home/users/tovrea/local/linux/bin/g++ -o conftest -g -O2 -frounding-math -I/home/users/tovrea/local/linux/include -I/home/users/tovrea/local/linux/include -L/home/users/tovrea/local/linux/lib -L/home/users/tovrea/local/linux/lib/gcc/x86_64-unknown-linux-gnu/4.4.0 -L/home/users/tovrea/local/linux/lib/gcc/x86_64-unknown-linux-gnu/lib64 conftest.cpp /home/users/tovrea/local/linux/lib/libgmpxx.a /home/users/tovrea/local/linux/lib/libgmp.a >&5 configure:16499: $? = 0 configure:16505: ./conftest ./conftest: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.9' not found (required by ./conftest) ./conftest: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.11' not found (required by ./conftest) configure:16509: $? = 1 configure: program exited with status 1 configure: failed program was: Apparently, your environment is messed up. You compile with /home/users/tovrea/local/linux/bin/g++ and, presumably, you are linking with a different, incompatible version of libstdc++, the one in /usr/lib64/libstdc++.so.6. This has nothing to do with the PPL. You should arrive to the point where your environment is able to compile a simple C++ program (like the one I sent you earlier) with your C++ compiler (and standard library) and GMP. 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