August 2009 - PPL-devel - BUGSENG Mailman

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

11 Aug '09

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" -----Original Message----- From: Sebastian Pop [mailto:sebpop@gmail.com] Sent: Monday, August 10, 2009 1:19 PM To: Roberto Bagnara Cc: Tovrea, George W (US SSA); The Parma Polyhedra Library developers' list Subject: Re: [PPL-devel] Undefined PPL references attempting to build cloog-ppl On Mon, Aug 10, 2009 at 13:26, Roberto Bagnara<bagnara(a)cs.unipr.it> wrote: > Tovrea, George W (US SSA) wrote: >> >> As pointed to in the config.log: >> >> tovrea@siamese%/net/whistler/auto/users/tovrea/local/sol2/bin/m4 >> --version >> m4 (GNU M4) 1.4.13 > Could you please send us the output of # echo $PATH If you have your system m4 in the path before your local gnu M4, that could be the reason for the incompatible output. Sebastian > 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) > > This file is created automatically, with m4 and Perl: > I have no idea where the spurious underscores are coming from. > If you can discover that, the problem will be solved. > Otherwise we should find a way to reproduce the problem on > a machine we can have access to. > 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 > _______________________________________________ > PPL-devel mailing list > PPL-devel(a)cs.unipr.it > http://www.cs.unipr.it/mailman/listinfo/ppl-devel >

2 1

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

10 Aug '09

As pointed to in the config.log: tovrea@siamese%/net/whistler/auto/users/tovrea/local/sol2/bin/m4 --version m4 (GNU M4) 1.4.13 -----Original Message----- From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] Sent: Monday, August 10, 2009 10:18 AM To: Tovrea, George W (US SSA) Cc: The Parma Polyhedra Library developers' list Subject: Re: [PPL-devel] Undefined PPL references attempting to build cloog-ppl Tovrea, George W (US SSA) wrote: > Sorry, I don't have access to bzip2. Files are attached. > > -----Original Message----- > From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] > Sent: Monday, August 10, 2009 9:37 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 > > Tovrea, George W (US SSA) wrote: >> I encountered the following undefined references attempting to compile >> clog-ppl. I could not find any references to these types except in >> ./interfaces/C/C_interface.dox and some html documentation - none in > the >> installed header files. >> >> /net/whistler/auto/users/tovrea/local/sol2/bin/gcc -DHAVE_CONFIG_H -I. >> -I.. -I./include/cloog -I./include -I../include >> -I/net/whistler/auto/users/tovrea/local/sol2/include >> -I/net/whistler/auto/users/tovrea/local/sol2/include >> -I/net/whistler/auto/users/tovrea/local/sol2/include -Wall >> -fomit-frame-pointer -g -O2 -MT domain.lo -MD -MP -MF .deps/domain.Tpo >> -c ../source/ppl/domain.c -fPIC -DPIC -o .libs/domain.o >> ../source/ppl/domain.c: In function 'cloog_domain_simplify': >> ../source/ppl/domain.c:899: error: >> 'ppl_Pointset_Powerset_C_Polyhedron_t' undeclared (first use in this >> function) >> ../source/ppl/domain.c:899: error: (Each undeclared identifier is >> reported only once >> ../source/ppl/domain.c:899: error: for each function it appears in.) >> ../source/ppl/domain.c:899: error: expected ';' before 'ps1' >> ../source/ppl/domain.c:903: warning: implicit declaration of function >> 'ppl_new_Pointset_Powerset_C_Polyhedron_from_space_dimension' >> ../source/ppl/domain.c:903: error: 'ps1' undeclared (first use in this >> function) >> ../source/ppl/domain.c:909: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_add_disjunct' >> ../source/ppl/domain.c:917: error: 'ps2' undeclared (first use in this >> function) >> ../source/ppl/domain.c:929: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_simplify_using_context_assign' >> ../source/ppl/domain.c:932: error: >> 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t' undeclared > (first >> use in this function) >> ../source/ppl/domain.c:932: error: expected ';' before 'i' >> ../source/ppl/domain.c:933: warning: implicit declaration of function >> 'ppl_new_Pointset_Powerset_C_Polyhedron_const_iterator' >> ../source/ppl/domain.c:933: error: 'i' undeclared (first use in this >> function) >> ../source/ppl/domain.c:934: error: expected ';' before 'end' >> ../source/ppl/domain.c:935: error: 'end' undeclared (first use in this >> function) >> ../source/ppl/domain.c:936: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_begin' >> ../source/ppl/domain.c:937: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_end' >> ../source/ppl/domain.c:938: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_equal_test' >> ../source/ppl/domain.c:939: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_increment' >> ../source/ppl/domain.c:942: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_dereference' >> ../source/ppl/domain.c:943: warning: passing argument 1 of >> 'cloog_translate_ppl_polyhedron' discards qualifiers from pointer > target >> type >> ../source/ppl/domain.c:659: note: expected 'ppl_Polyhedron_t' but >> argument is of type 'ppl_const_Polyhedron_t' >> ../source/ppl/domain.c:947: warning: implicit declaration of function >> 'ppl_delete_Pointset_Powerset_C_Polyhedron_const_iterator' >> ../source/ppl/domain.c:949: warning: implicit declaration of function >> 'ppl_delete_Pointset_Powerset_C_Polyhedron' >> make[1]: *** [domain.lo] Error 1 >> make[1]: Leaving directory >> `/net/whistler/auto/users/tovrea/GCC_SGI/cloog-ppl-0.15.5/build_sol2' >> make: *** [all-recursive] Error 1 > > Hi Bill, > > something wrong is happening here. Can I have access to the machine > where you are observing this? Or to a machine with the same > environment? > Otherwise, please send the following files (compressed with bzip2): > > 1) the config.log generated by the configure command you gave for the > PPL; > 2) the file ppl_c.h as installed by PPL's `make install'. It seems a bug in your m4 installation: which version is it? -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

3 2

Re: [PPL-devel] Undefined PPL references attempting to build cloog-ppl
by Roberto Bagnara 10 Aug '09

10 Aug '09

Tovrea, George W (US SSA) wrote: > Sorry, I don't have access to bzip2. Files are attached. > > -----Original Message----- > From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] > Sent: Monday, August 10, 2009 9:37 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 > > Tovrea, George W (US SSA) wrote: >> I encountered the following undefined references attempting to compile >> clog-ppl. I could not find any references to these types except in >> ./interfaces/C/C_interface.dox and some html documentation - none in > the >> installed header files. >> >> /net/whistler/auto/users/tovrea/local/sol2/bin/gcc -DHAVE_CONFIG_H -I. >> -I.. -I./include/cloog -I./include -I../include >> -I/net/whistler/auto/users/tovrea/local/sol2/include >> -I/net/whistler/auto/users/tovrea/local/sol2/include >> -I/net/whistler/auto/users/tovrea/local/sol2/include -Wall >> -fomit-frame-pointer -g -O2 -MT domain.lo -MD -MP -MF .deps/domain.Tpo >> -c ../source/ppl/domain.c -fPIC -DPIC -o .libs/domain.o >> ../source/ppl/domain.c: In function 'cloog_domain_simplify': >> ../source/ppl/domain.c:899: error: >> 'ppl_Pointset_Powerset_C_Polyhedron_t' undeclared (first use in this >> function) >> ../source/ppl/domain.c:899: error: (Each undeclared identifier is >> reported only once >> ../source/ppl/domain.c:899: error: for each function it appears in.) >> ../source/ppl/domain.c:899: error: expected ';' before 'ps1' >> ../source/ppl/domain.c:903: warning: implicit declaration of function >> 'ppl_new_Pointset_Powerset_C_Polyhedron_from_space_dimension' >> ../source/ppl/domain.c:903: error: 'ps1' undeclared (first use in this >> function) >> ../source/ppl/domain.c:909: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_add_disjunct' >> ../source/ppl/domain.c:917: error: 'ps2' undeclared (first use in this >> function) >> ../source/ppl/domain.c:929: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_simplify_using_context_assign' >> ../source/ppl/domain.c:932: error: >> 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t' undeclared > (first >> use in this function) >> ../source/ppl/domain.c:932: error: expected ';' before 'i' >> ../source/ppl/domain.c:933: warning: implicit declaration of function >> 'ppl_new_Pointset_Powerset_C_Polyhedron_const_iterator' >> ../source/ppl/domain.c:933: error: 'i' undeclared (first use in this >> function) >> ../source/ppl/domain.c:934: error: expected ';' before 'end' >> ../source/ppl/domain.c:935: error: 'end' undeclared (first use in this >> function) >> ../source/ppl/domain.c:936: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_begin' >> ../source/ppl/domain.c:937: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_end' >> ../source/ppl/domain.c:938: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_equal_test' >> ../source/ppl/domain.c:939: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_increment' >> ../source/ppl/domain.c:942: warning: implicit declaration of function >> 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_dereference' >> ../source/ppl/domain.c:943: warning: passing argument 1 of >> 'cloog_translate_ppl_polyhedron' discards qualifiers from pointer > target >> type >> ../source/ppl/domain.c:659: note: expected 'ppl_Polyhedron_t' but >> argument is of type 'ppl_const_Polyhedron_t' >> ../source/ppl/domain.c:947: warning: implicit declaration of function >> 'ppl_delete_Pointset_Powerset_C_Polyhedron_const_iterator' >> ../source/ppl/domain.c:949: warning: implicit declaration of function >> 'ppl_delete_Pointset_Powerset_C_Polyhedron' >> make[1]: *** [domain.lo] Error 1 >> make[1]: Leaving directory >> `/net/whistler/auto/users/tovrea/GCC_SGI/cloog-ppl-0.15.5/build_sol2' >> make: *** [all-recursive] Error 1 > > Hi Bill, > > something wrong is happening here. Can I have access to the machine > where you are observing this? Or to a machine with the same > environment? > Otherwise, please send the following files (compressed with bzip2): > > 1) the config.log generated by the configure command you gave for the > PPL; > 2) the file ppl_c.h as installed by PPL's `make install'. It seems a bug in your m4 installation: which version is it? -- 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

Undefined PPL references attempting to build cloog-ppl
by Tovrea, George W (US SSA) 10 Aug '09

10 Aug '09

I encountered the following undefined references attempting to compile clog-ppl. I could not find any references to these types except in ./interfaces/C/C_interface.dox and some html documentation - none in the installed header files. /net/whistler/auto/users/tovrea/local/sol2/bin/gcc -DHAVE_CONFIG_H -I. -I.. -I./include/cloog -I./include -I../include -I/net/whistler/auto/users/tovrea/local/sol2/include -I/net/whistler/auto/users/tovrea/local/sol2/include -I/net/whistler/auto/users/tovrea/local/sol2/include -Wall -fomit-frame-pointer -g -O2 -MT domain.lo -MD -MP -MF .deps/domain.Tpo -c ../source/ppl/domain.c -fPIC -DPIC -o .libs/domain.o ../source/ppl/domain.c: In function 'cloog_domain_simplify': ../source/ppl/domain.c:899: error: 'ppl_Pointset_Powerset_C_Polyhedron_t' undeclared (first use in this function) ../source/ppl/domain.c:899: error: (Each undeclared identifier is reported only once ../source/ppl/domain.c:899: error: for each function it appears in.) ../source/ppl/domain.c:899: error: expected ';' before 'ps1' ../source/ppl/domain.c:903: warning: implicit declaration of function 'ppl_new_Pointset_Powerset_C_Polyhedron_from_space_dimension' ../source/ppl/domain.c:903: error: 'ps1' undeclared (first use in this function) ../source/ppl/domain.c:909: warning: implicit declaration of function 'ppl_Pointset_Powerset_C_Polyhedron_add_disjunct' ../source/ppl/domain.c:917: error: 'ps2' undeclared (first use in this function) ../source/ppl/domain.c:929: warning: implicit declaration of function 'ppl_Pointset_Powerset_C_Polyhedron_simplify_using_context_assign' ../source/ppl/domain.c:932: error: 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_t' undeclared (first use in this function) ../source/ppl/domain.c:932: error: expected ';' before 'i' ../source/ppl/domain.c:933: warning: implicit declaration of function 'ppl_new_Pointset_Powerset_C_Polyhedron_const_iterator' ../source/ppl/domain.c:933: error: 'i' undeclared (first use in this function) ../source/ppl/domain.c:934: error: expected ';' before 'end' ../source/ppl/domain.c:935: error: 'end' undeclared (first use in this function) ../source/ppl/domain.c:936: warning: implicit declaration of function 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_begin' ../source/ppl/domain.c:937: warning: implicit declaration of function 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_end' ../source/ppl/domain.c:938: warning: implicit declaration of function 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_equal_test' ../source/ppl/domain.c:939: warning: implicit declaration of function 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_increment' ../source/ppl/domain.c:942: warning: implicit declaration of function 'ppl_Pointset_Powerset_C_Polyhedron_const_iterator_dereference' ../source/ppl/domain.c:943: warning: passing argument 1 of 'cloog_translate_ppl_polyhedron' discards qualifiers from pointer target type ../source/ppl/domain.c:659: note: expected 'ppl_Polyhedron_t' but argument is of type 'ppl_const_Polyhedron_t' ../source/ppl/domain.c:947: warning: implicit declaration of function 'ppl_delete_Pointset_Powerset_C_Polyhedron_const_iterator' ../source/ppl/domain.c:949: warning: implicit declaration of function 'ppl_delete_Pointset_Powerset_C_Polyhedron' make[1]: *** [domain.lo] Error 1 make[1]: Leaving directory `/net/whistler/auto/users/tovrea/GCC_SGI/cloog-ppl-0.15.5/build_sol2' make: *** [all-recursive] Error 1 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

[GIT] ppl/w3ppl(master): Improved BagnaraHZ09TCS and BagnaraHZ09FMSD. Added BagnaraHZ09TRb.
by Roberto Bagnara 10 Aug '09

10 Aug '09

Module: ppl/w3ppl Branch: master Commit: 8a95832e633f6c4c224baa179f5a333fd5ddf0f8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=8a95832e63… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 10 14:50:11 2009 +0200 Improved BagnaraHZ09TCS and BagnaraHZ09FMSD. Added BagnaraHZ09TRb. --- htdocs/Documentation/BagnaraHZ09TRb.pdf | Bin 0 -> 346789 bytes htdocs/Documentation/ppl.bib | 48 +++++++++++++++++++++++++++--- 2 files changed, 43 insertions(+), 5 deletions(-) diff --git a/htdocs/Documentation/BagnaraHZ09TRb.pdf b/htdocs/Documentation/BagnaraHZ09TRb.pdf new file mode 100644 index 0000000..d4c6300 Binary files /dev/null and b/htdocs/Documentation/BagnaraHZ09TRb.pdf differ diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index 54a6121..27cec84 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -904,7 +904,7 @@ Journal = "Formal Methods in System Design", Publisher = "Springer-Verlag, Berlin", Year = 2009, - Note = "Available online at + Note = "To appear in print. Available online at \url{http://www.springerlink.com/content/d40842574t1r5877/}", Abstract = "Weakly-relational numeric constraints provide a compromise between complexity and expressivity that is @@ -943,10 +943,11 @@ Type = "Quaderno", Institution = "Dipartimento di Matematica, Universit\`a di Parma, Italy", Year = 2009, - Note = "Available at \url{http://www.cs.unipr.it/Publications/}. - An improved version (typos corrected in statement and proof - of Theorem~6.8) has been published as {\tt arXiv:cs.CG/0904.1783}, - available from \url{http://arxiv.org/}.", + Note = "Available at \url{http://www.cs.unipr.it/Publications/}. A + corrected and improved version (corrected an error in the + statement of condition (3) of Theorem~3.6, typos corrected + in statement and proof of Theorem~6.8) has been published + in \cite{BagnaraHZ09TRb}.", Abstract = "Deciding whether the union of two convex polyhedra is a convex polyhedron is a basic problem in polyhedral computation having important applications in the field @@ -975,6 +976,43 @@ URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraHZ09TRa.pdf" } +@Misc{BagnaraHZ09TRb, + Author = "R. Bagnara and P. M. Hill and E. Zaffanella", + Title = "Exact Join Detection for Convex Polyhedra + and Other Numerical Abstractions", + Howpublished = "Report {\tt arXiv:cs.CG/0904.1783}", + Year = 2009, + Note = "Available at \url{http://arxiv.org/} + and \url{http://www.cs.unipr.it/ppl/}", + Abstract = "Deciding whether the union of two convex polyhedra is + itself a convex polyhedron is a basic problem in + polyhedral computations; having important applications + in the field of constrained control and in the + synthesis, analysis, verification and optimization of + hardware and software systems. In such application + fields though, general convex polyhedra are just one + among many, so-called, \emph{numerical abstractions}, + which range from restricted families of (not necessarily + closed) convex polyhedra to non-convex geometrical + objects. We thus tackle the problem from an abstract + point of view: for a wide range of numerical + abstractions that can be modeled as bounded + join-semilattices ---that is, partial orders where any + finite set of elements has a least upper bound---, we + show necessary and sufficient conditions for the + equivalence between the lattice-theoretic join and the + set-theoretic union. For the case of closed convex + polyhedra ---which, as far as we know, is the only one + already studied in the literature--- we improve upon the + state-of-the-art by providing a new algorithm with a + better worst-case complexity. The results and + algorithms presented for the other numerical + abstractions are new to this paper. All the algorithms + have been implemented, experimentally validated, and + made available in the Parma Polyhedra Library.", + URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraHZ09TRb.pdf" +} + @InProceedings{BalasundaramK89, Author = "V. Balasundaram and K. Kennedy", Title = "A Technique for Summarizing Data Access

1 0

Re: [PPL-devel] ppl build error...
by Tovrea, George W (US SSA) 08 Aug '09

08 Aug '09

Everything compiled perfectly using ppl-0.11pre6. Thanks for the help and the quick responses to my questions. Now on to CLooG ;-))) Bill T. -----Original Message----- From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] Sent: Friday, August 07, 2009 11:47 PM To: Tovrea, George W (US SSA) Cc: ppl-devel(a)cs.unipr.it Subject: Re: [PPL-devel] ppl build error... Roberto Bagnara wrote: > Tovrea, George W (US SSA) wrote: >> make[4]: Entering directory >> `/net/whistler/auto/users/tovrea/GCC_SGI/ppl-0.10.2/build_sol2/interface >> s' >> make[4]: Nothing to be done for `all-am'. >> make[4]: Leaving directory >> `/net/whistler/auto/users/tovrea/GCC_SGI/ppl-0.10.2/build_sol2/interface >> s' >> Making all in C >> make[4]: Entering directory >> `/net/whistler/auto/users/tovrea/GCC_SGI/ppl-0.10.2/build_sol2/interface >> s/C' >> make[4]: Warning: File >> `../../interfaces/ppl_interface_instantiations.m4' has modification time >> 1.8e+02 s in the future >> /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 >> ../../utils/build_header \ >> -I ../../interfaces/C -I ../../../src \ >> ../../../interfaces/C/ppl_c_header.h >ppl_c.h >> /net/whistler/auto/users/tovrea/local/sol2/bin/m4 --prefix-builtin -I.. >> -I../../../interfaces/C -I../../../interfaces/C/.. \ >> ../../../interfaces/C/ppl_interface_generator_c_hh_files.m4 \ >> > ppl_c_hh_blob >> ../../../utils/cm_cleaner.sh < ppl_c_hh_blob >> ../../../utils/cm_cleaner.sh: -r: is not an identifier > > Hmmm, I think this is our fault. In cm_cleaner.sh we have the line > > while IFS= read -r line > > However, as the Autoconf manual says > (http://www.gnu.org/software/hello/manual/autoconf/Limitations-of-Builti ns.html#Limitations-of-Builtins): > > > read > No options are portable, not even support -r (Solaris /bin/sh for > example). > > We will try to come up with a solution as soon as possible. Hi Bill, in ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ you will find a snapshot of PPL 0.11 that solves this problem. The relevant commit is http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a8779 5dec3abeb12d95d4bb11f788a20d127dcbd;hp=c3daa332122e99b11b7bec098c2404d6f 501607d in case, for some reason, you need to backport this to PPL 0.10.2. 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 0

Re: [PPL-devel] ppl build error...
by Tovrea, George W (US SSA) 08 Aug '09

08 Aug '09

Ooops. I meant to say "I am NOW" getting the indicated error... -----Original Message----- From: Tovrea, George W (US SSA) Sent: Thursday, August 06, 2009 10:06 AM To: 'ppl-devel(a)cs.unipr.it' Subject: ppl build error... Having resolved my configure issues and "undefined" issues and old version of m4 issues, I am not getting the following error: make[4]: Entering directory `/net/whistler/auto/users/tovrea/GCC_SGI/ppl-0.10.2/build_sol2/interface s' make[4]: Nothing to be done for `all-am'. make[4]: Leaving directory `/net/whistler/auto/users/tovrea/GCC_SGI/ppl-0.10.2/build_sol2/interface s' Making all in C make[4]: Entering directory `/net/whistler/auto/users/tovrea/GCC_SGI/ppl-0.10.2/build_sol2/interface s/C' make[4]: Warning: File `../../interfaces/ppl_interface_instantiations.m4' has modification time 1.8e+02 s in the future /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 ../../utils/build_header \ -I ../../interfaces/C -I ../../../src \ ../../../interfaces/C/ppl_c_header.h >ppl_c.h /net/whistler/auto/users/tovrea/local/sol2/bin/m4 --prefix-builtin -I.. -I../../../interfaces/C -I../../../interfaces/C/.. \ ../../../interfaces/C/ppl_interface_generator_c_hh_files.m4 \ > ppl_c_hh_blob ../../../utils/cm_cleaner.sh < ppl_c_hh_blob ../../../utils/cm_cleaner.sh: -r: is not an identifier make[4]: *** [ppl_c_implementation_domains.hh] Error 1 make[4]: Leaving directory `/net/whistler/auto/users/tovrea/GCC_SGI/ppl-0.10.2/build_sol2/interface s/C' make[3]: *** [all-recursive] Error 1 make[3]: Leaving directory `/net/whistler/auto/users/tovrea/GCC_SGI/ppl-0.10.2/build_sol2/interface s' make[2]: *** [all] Error 2 make[2]: Leaving directory `/net/whistler/auto/users/tovrea/GCC_SGI/ppl-0.10.2/build_sol2/interface s' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/net/whistler/auto/users/tovrea/GCC_SGI/ppl-0.10.2/build_sol2' make: *** [all] Error 2 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

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 07 Aug '09

07 Aug '09

Module: ppl/ppl Branch: master Commit: f3acefad3847d6f2412217e3008a1dfa9d051822 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. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 817e21f..ba08ec1 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.11pre5], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11pre6], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Useless, commented-out inclusion removed.
by Roberto Bagnara 07 Aug '09

07 Aug '09

Module: ppl/ppl Branch: master Commit: 7d61b662af670904ab9f1db2dfeea80dc4c90f84 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. --- .../ppl_interface_generator_prolog_cc_files.m4 | 2 -- 1 files changed, 0 insertions(+), 2 deletions(-) diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4 index a7d1b15..56a2046 100644 --- a/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4 +++ b/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4 @@ -52,8 +52,6 @@ m4_include(`ppl_interface_generator_copyright')`'dnl m4_divert`'dnl dnl -dnl `#'include "ppl_prolog_common.cc"`'dnl -dnl dnl Generate the non-fixed part of the file. m4_all_code`'dnl ___END_OF_FILE___

1 0

[GIT] ppl/ppl(master): Modified cm_splitter machinery to avoid use of 'read ' shell builtin.
by Abramo Bagnara 07 Aug '09

07 Aug '09

Module: ppl/ppl Branch: master Commit: a87795dec3abeb12d95d4bb11f788a20d127dcbd 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. --- interfaces/C/Makefile.am | 8 +- interfaces/C/ppl_interface_generator_c_cc_files.m4 | 4 +- interfaces/C/ppl_interface_generator_c_hh_files.m4 | 10 +- interfaces/Java/jni/Makefile.am | 4 +- ...pl_interface_generator_java_classes_cc_files.m4 | 4 +- .../Java/parma_polyhedra_library/Makefile.am | 4 +- .../ppl_interface_generator_java_classes_java.m4 | 25 ++- ...l_interface_generator_java_classes_java_code.m4 | 198 +++++++++++++------- interfaces/OCaml/Makefile.am | 8 +- .../ppl_interface_generator_ocaml_cc_files.m4 | 4 +- .../ppl_interface_generator_ocaml_hh_files.m4 | 10 +- interfaces/Prolog/Makefile.am | 8 +- .../ppl_interface_generator_prolog_cc_files.m4 | 8 +- .../ppl_interface_generator_prolog_hh_files.m4 | 10 +- interfaces/Prolog/tests/Makefile.am | 4 +- ...interface_generator_prolog_generated_test_pl.m4 | 23 ++- utils/cm_cleaner.sh | 21 +-- utils/cm_splitter.sh | 24 +-- 18 files changed, 233 insertions(+), 144 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a87795de…

1 0