August 2009 - PPL-devel - BUGSENG Mailman

Compiling the PPL Debian package with SWI Prolog support
by Israel Herraiz 05 Aug '09

05 Aug '09

Hi all, I am trying to obtain a PPL Debian package with Prolog support, because the official package is only compiled with C and C++ support. However, I am facing a strange problem while trying to compile the package, because one of the tests is not passed. The Debian package scripts execute the configure script with the following options (for my laptop): ./configure --build i486-linux-gnu --host i486-linux-gnu --enable-interfaces=c,cxx,swi_prolog --disable-ppl_lpsol --disable_ppl_lcdd --prefix=/usr --mandir=${prefix}/share/man --infodir=${prefix}/share/info CFLAGS=-Wall -g -O2 Then make is called with the following options: make -j2 Everything goes right until the SWI Prolog tests are done. One of them fails. The conflicting test is called "ppl_prolog_generated_test", in the interfaces/Prolog/SWI directory, and it fails with the following error: ERROR: ppl_new_C_Polyhedron_from_constraints_2_test/0: Undefined procedure: member/2 (full output available at http://pastebin.com/f478e4360) This is strange, because member/2 is part of SWI Prolog, and AFAIK it should be available by default. The test tries to execute the Prolog programs using a modified version of SWI Prolog, with a binary called ppl_pl, that is linked against some of the PPL libraries. Interestingly, when trying to execute or compile the same programs from a "standard" SWI Prolog session, it runs fine. I can still build the package skipping those tests. But I want to file a bug report against the Debian package to get SWI Prolog support included in the official package, and I suspect that it has not yet been included because of this issue. It might be related to SWI Prolog instead of PPL. But maybe someone in this list has faced a similar problem before. Any clue about why is this failing? Cheers, Israel PS: I am not subscribed to the list. Thanks for replying to me in CC.

2 5

[GIT] ppl/ppl(master): Make sure a definition for member/2 and append/ 3 is available.
by Roberto Bagnara 05 Aug '09

05 Aug '09

Module: ppl/ppl Branch: master Commit: 21c69b39730e0fb032395b07467b2ac3936ca124 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. --- interfaces/Prolog/SWI/swi_prolog_generated_test.pl | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/SWI/swi_prolog_generated_test.pl b/interfaces/Prolog/SWI/swi_prolog_generated_test.pl index a10edbb..92f8e08 100644 --- a/interfaces/Prolog/SWI/swi_prolog_generated_test.pl +++ b/interfaces/Prolog/SWI/swi_prolog_generated_test.pl @@ -20,6 +20,14 @@ Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. For the most up-to-date information see the Parma Polyhedra Library site: http://www.cs.unipr.it/ppl/ . */ +member(X, [X|_]). +member(X, [_|T]) :- + member(X, T). + +append([], L, L). +append([H|T], L, [H|R]) :- + append(T, L, R). + :- ensure_loaded('ppl_prolog_generated_test_main.pl'). prolog_system('SWI').

1 0

[GIT] ppl/ppl(master): Removed useless, temporary addition of -lm to LIBS.
by Roberto Bagnara 03 Aug '09

03 Aug '09

Module: ppl/ppl Branch: master Commit: f5a20e1b7ed8f902b3698346843125364aeaac71 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.) --- m4/ac_check_fpu_control.m4 | 3 --- 1 files changed, 0 insertions(+), 3 deletions(-) diff --git a/m4/ac_check_fpu_control.m4 b/m4/ac_check_fpu_control.m4 index 30f8b98..933f1ec 100644 --- a/m4/ac_check_fpu_control.m4 +++ b/m4/ac_check_fpu_control.m4 @@ -22,8 +22,6 @@ dnl site: http://www.cs.unipr.it/ppl/ . AC_DEFUN([AC_CHECK_FPU_CONTROL], [ -ac_save_LIBS="$LIBS" -LIBS="$LIBS -lm" AC_LANG_PUSH(C++) AC_CHECK_HEADERS([fenv.h ieeefp.h]) AC_MSG_CHECKING([if it is possible to control the FPU]) @@ -146,5 +144,4 @@ AM_CONDITIONAL(CAN_CONTROL_FPU, test $ac_cv_can_control_fpu = 1) AC_DEFINE_UNQUOTED(PPL_CAN_CONTROL_FPU, $ac_cv_can_control_fpu, [Not zero if the FPU can be controlled.]) AC_LANG_POP(C++) -LIBS="$ac_save_LIBS" ])

1 0

[GIT] ppl/ppl(master): Checks reordered.
by Roberto Bagnara 03 Aug '09

03 Aug '09

Module: ppl/ppl Branch: master Commit: 49f717edef1e1264cbf322532ec908c7fe459475 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. --- configure.ac | 20 ++++++++++---------- 1 files changed, 10 insertions(+), 10 deletions(-) diff --git a/configure.ac b/configure.ac index 07a4817..817e21f 100644 --- a/configure.ac +++ b/configure.ac @@ -611,23 +611,18 @@ then AC_DEFINE(PPL_GMP_INTEGERS, 1, [Defined if the integral type to be used for coefficients is GMP's one.]) fi -# Allow additions to C and C++ compilation flags. - +# Allow additions to C compilation flags. AC_ARG_WITH(cflags, AS_HELP_STRING([--with-cflags=XXX], [add XXX to the options for the C compiler]), CFLAGS="$CFLAGS $with_cflags") +# Allow additions to C++ compilation flags. AC_ARG_WITH(cxxflags, AS_HELP_STRING([--with-cxxflags=XXX], [add XXX to the options for the C++ compiler]), CXXFLAGS="$CXXFLAGS $with_cxxflags") -# Check for Perl. -AC_PATH_PROG([PERL], perl, no) -AC_SUBST([PERL]) -AM_CONDITIONAL(HAVE_PERL, test x"$PERL" != xno) - # Checks for C typedefs, structures, compiler and architecture characteristics. AC_LANG(C) AC_C_CONST @@ -651,9 +646,17 @@ AC_CHECK_SIZEOF(long double) AC_CHECK_SIZEOF([int*]) AC_CHECK_SIZEOF([fp], [], [typedef int *(*fp)();]) +# Check for Perl. +AC_PATH_PROG([PERL], perl, no) +AC_SUBST([PERL]) +AM_CONDITIONAL(HAVE_PERL, test x"$PERL" != xno) + # Use C++ for the remaining checks. AC_LANG(C++) +# The PPL uses <cmath> for sqrt and other functions in several places. +AC_SEARCH_LIBS([sqrt], [m]) + # Check for the possibility to control the FPU. AC_CHECK_FPU_CONTROL @@ -713,9 +716,6 @@ AC_CHECK_DECLS([fma,fmaf,fmal,rintf,rintl], , , [#include <cmath>]) # Checks for the availability of "fast" integral types. AC_CHECK_TYPES([int_fast16_t,int_fast32_t,int_fast64_t,uint_fast16_t,uint_fast32_t,uint_fast64_t]) -# The PPL uses <cmath> for sqrt and other functions in several places. -AC_SEARCH_LIBS([sqrt], [m]) - # Checks on the GMP library.

1 0

Re: [PPL-devel] Including ppl in a gcc build...
by Tovrea, George W (US SSA) 03 Aug '09

03 Aug '09

Roberto, Thanks for the help. I have the gcc-debug mail group to be rather unresponsive to my questions about configuration and build failures. So I really appreciate you taking the time to look into this for me. I am absolutely not a configure expert so I might have seen what you pointed out below and not had a clue what it meant. Thanks again, Bill Tovrea -----Original Message----- From: Roberto Bagnara [mailto:bagnara@cs.unipr.it] Sent: Monday, August 03, 2009 11:22 AM To: Tovrea, George W (US SSA) Cc: ppl-devel(a)cs.unipr.it Subject: Re: [PPL-devel] Including ppl in a gcc build... Tovrea, George W (US SSA) wrote: > Does ppl (and cloog) build automatically if you use > > --with-ppl=<dir> > --with-cloog=<dir> > > options in the gcc configure command? I know gmp and mpfr build > automatically if you unzip them in the gcc source directory (or provide > soft links to their location). Hi Bill, even though this is a question for the GCC people, I have checked GCC's configuration machinery, and it seems that the PPL and CLooG are indeed treated like GMP and MPFR. For instance, in GCC's root directory Makefile.in you can find: @if ppl maybe-configure-ppl: configure-ppl configure-ppl: @r=`${PWD_COMMAND}`; export r; \ s=`cd $(srcdir); ${PWD_COMMAND}`; export s; \ test ! -f $(HOST_SUBDIR)/ppl/Makefile || exit 0; \ $(SHELL) $(srcdir)/mkinstalldirs $(HOST_SUBDIR)/ppl ; \ $(HOST_EXPORTS) \ echo Configuring in $(HOST_SUBDIR)/ppl; \ cd "$(HOST_SUBDIR)/ppl" || exit 1; \ case $(srcdir) in \ /* | [A-Za-z]:[\\/]*) topdir=$(srcdir) ;; \ *) topdir=`echo $(HOST_SUBDIR)/ppl/ | \ sed -e 's,\./,,g' -e 's,[^/]*/,../,g' `$(srcdir) ;; \ esac; \ srcdiroption="--srcdir=$${topdir}/ppl"; \ libsrcdir="$$s/ppl"; \ $(SHELL) $${libsrcdir}/configure \ $(HOST_CONFIGARGS) --build=${build_alias} --host=none-${host_vendor}-${host_os} \ --target=none-${host_vendor}-${host_os} $${srcdiroption} --disable-shared --with-libgmp-prefix=$$r/$(HOST_SUBDIR)/gmp/ --with-libgmpxx-prefix=$$r/$(HOST_SUBDIR)/gmp/ \ || exit 1 @endif ppl I hope this helps. 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

Including ppl in a gcc build...
by Tovrea, George W (US SSA) 03 Aug '09

03 Aug '09

Does ppl (and cloog) build automatically if you use --with-ppl=<dir> --with-cloog=<dir> options in the gcc configure command? I know gmp and mpfr build automatically if you unzip them in the gcc source directory (or provide soft links to their location). Thanks, 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): Typo fixed.
by Roberto Bagnara 03 Aug '09

03 Aug '09

Module: ppl/w3ppl Branch: master Commit: 4a9d7ec8d4d7a6e3c2a773e3e0ca507fd357e4ce URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=4a9d7ec8d4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 14:06:07 2009 +0200 Typo fixed. --- htdocs/Documentation/ppl.bib | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index 12301af..54a6121 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -876,7 +876,7 @@ Journal = "Theoretical Computer Science", Publisher = "Elsevier", Year = 2009, - Note = "To appear in print. Available unline at + Note = "To appear in print. Available online at \url{http://dx.doi.org/10.1016/j.tcs.2009.07.033}.", Abstract = "Convex polyhedra are the basis for several abstractions used in static analysis and computer-aided verification

1 0

[GIT] ppl/w3ppl(master): BagnaraHZ09TCS updated.
by Roberto Bagnara 03 Aug '09

03 Aug '09

Module: ppl/w3ppl Branch: master Commit: 63e597dfcc81819efa03dca686a5f0b5e7b0df85 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=63e597dfcc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Aug 3 14:03:54 2009 +0200 BagnaraHZ09TCS updated. --- htdocs/Documentation/ppl.bib | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index cdd3d58..12301af 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -876,7 +876,8 @@ Journal = "Theoretical Computer Science", Publisher = "Elsevier", Year = 2009, - Note = "To appear.", + Note = "To appear in print. Available unline at + \url{http://dx.doi.org/10.1016/j.tcs.2009.07.033}.", Abstract = "Convex polyhedra are the basis for several abstractions used in static analysis and computer-aided verification of complex and sometimes mission critical systems. For

1 0

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

02 Aug '09

Module: ppl/ppl Branch: master Commit: 1d5c936a3dd3af7d46538d26d76cca997953a355 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. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 1225d53..07a4817 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.11pre4], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11pre5], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Use AC_SEARCH_LIBS to detect whether -lm must be provided to the linker.
by Roberto Bagnara 02 Aug '09

02 Aug '09

Module: ppl/ppl Branch: master Commit: 0d398d757a50f6205581bd43d0c544d1b491b532 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.) --- configure.ac | 8 +++++--- 1 files changed, 5 insertions(+), 3 deletions(-) diff --git a/configure.ac b/configure.ac index d1fb09e..1225d53 100644 --- a/configure.ac +++ b/configure.ac @@ -713,10 +713,11 @@ AC_CHECK_DECLS([fma,fmaf,fmal,rintf,rintl], , , [#include <cmath>]) # Checks for the availability of "fast" integral types. AC_CHECK_TYPES([int_fast16_t,int_fast32_t,int_fast64_t,uint_fast16_t,uint_fast32_t,uint_fast64_t]) -# Must link everything with libm. -extra_libraries="${extra_libraries} -lm" +# The PPL uses <cmath> for sqrt and other functions in several places. +AC_SEARCH_LIBS([sqrt], [m]) -# GMP library. + +# Checks on the GMP library. AC_CHECK_GMP if test x"$have_gmp" = xno @@ -1483,6 +1484,7 @@ then fi fi + AC_SUBST(LIBEXT, [$libext]) AC_SUBST(SHREXT, [$shrext_cmds]) AC_SUBST(extra_includes)

1 0