- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_11-branch): Replaced $(cmd) with `cmd` in m4 autoconf files. Obsolete comment removed.
by Roberto Bagnara 19 Dec '10

19 Dec '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: e55d9eeaf1b677c7d05e14206b99f4f433b46c43 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e55d9eeaf1b6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 19 11:01:08 2010 +0100 Replaced $(cmd) with `cmd` in m4 autoconf files. Obsolete comment removed. --- m4/ac_check_sicstus_prolog.m4 | 6 ++---- m4/ac_check_xsb_prolog.m4 | 8 ++++---- 2 files changed, 6 insertions(+), 8 deletions(-) diff --git a/m4/ac_check_sicstus_prolog.m4 b/m4/ac_check_sicstus_prolog.m4 index 6d9c841..31cebdc 100644 --- a/m4/ac_check_sicstus_prolog.m4 +++ b/m4/ac_check_sicstus_prolog.m4 @@ -25,10 +25,8 @@ AC_DEFUN([AC_CHECK_SICSTUS_PROLOG], AC_PATH_PROG(sicstus_prolog, sicstus) if test x$sicstus_prolog != x then - dnl The following would fail to find the real base if `sicstus' - dnl is a symbolic link. - dnl sicstus_prolog_base=$(dirname $(dirname $sicstus_prolog)) - sicstus_prolog_base=$(dirname $($sicstus_prolog -f --goal "use_module(library(system)), environ('SP_APP_DIR', X), write(X), nl, halt.")) + sicstus_prolog_app_dir=`$sicstus_prolog -f --goal "use_module(library(system)), environ('SP_APP_DIR', X), write(X), nl, halt."` + sicstus_prolog_base=`dirname $sicstus_prolog_app_dir` SICSTUS_PROLOG_INCLUDE_OPTIONS="-I${sicstus_prolog_base}/include" ac_save_CPPFLAGS="$CPPFLAGS" CPPFLAGS="$CPPFLAGS $SICSTUS_PROLOG_INCLUDE_OPTIONS" diff --git a/m4/ac_check_xsb_prolog.m4 b/m4/ac_check_xsb_prolog.m4 index 7252b45..df03715 100644 --- a/m4/ac_check_xsb_prolog.m4 +++ b/m4/ac_check_xsb_prolog.m4 @@ -28,14 +28,14 @@ then dnl The foreign language interface include file is `cinterf.h', dnl but this resides in the emulator directory and is not installed dnl in any standard place. - xsb_emu_dir=$(xsb --nobanner --quietload --noprompt \ + xsb_emu_dir=`xsb --nobanner --quietload --noprompt \ -e "write('emudir='), \ xsb_configuration(emudir, X), write(X), nl, halt." \ - 2>/dev/null | sed "s/^emudir=//g") - xsb_config_dir=$(xsb --nobanner --quietload --noprompt \ + 2>/dev/null | sed "s/^emudir=//g"` + xsb_config_dir=`xsb --nobanner --quietload --noprompt \ -e "write('config_dir='), \ xsb_configuration(config_dir,X), write(X), nl, halt." \ - 2>/dev/null | sed "s/^config_dir=//g") + 2>/dev/null | sed "s/^config_dir=//g"` XSB_PROLOG_INCLUDE_OPTIONS="-I${xsb_emu_dir} -I${xsb_config_dir}" AC_SUBST(XSB_PROLOG_INCLUDE_OPTIONS) fi

1 0

[GIT] ppl/ppl(master): Obsolete comment removed.
by Roberto Bagnara 19 Dec '10

19 Dec '10

Module: ppl/ppl Branch: master Commit: b7c689f3a1f81f121aee717323f1d86b415209c4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7c689f3a1f8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 19 10:53:04 2010 +0100 Obsolete comment removed. --- m4/ac_check_sicstus_prolog.m4 | 3 --- 1 files changed, 0 insertions(+), 3 deletions(-) diff --git a/m4/ac_check_sicstus_prolog.m4 b/m4/ac_check_sicstus_prolog.m4 index ff30eb8..31cebdc 100644 --- a/m4/ac_check_sicstus_prolog.m4 +++ b/m4/ac_check_sicstus_prolog.m4 @@ -25,9 +25,6 @@ AC_DEFUN([AC_CHECK_SICSTUS_PROLOG], AC_PATH_PROG(sicstus_prolog, sicstus) if test x$sicstus_prolog != x then - dnl The following would fail to find the real base if `sicstus' - dnl is a symbolic link. - dnl sicstus_prolog_base=$(dirname $(dirname $sicstus_prolog)) sicstus_prolog_app_dir=`$sicstus_prolog -f --goal "use_module(library(system)), environ('SP_APP_DIR', X), write(X), nl, halt."` sicstus_prolog_base=`dirname $sicstus_prolog_app_dir` SICSTUS_PROLOG_INCLUDE_OPTIONS="-I${sicstus_prolog_base}/include"

1 0

[GIT] ppl/ppl(master): No longer include BD_Shape<int8_t> among the instantiations enabled by default.
by Roberto Bagnara 19 Dec '10

19 Dec '10

Module: ppl/ppl Branch: master Commit: b952f1fa47bca4f7715ad196c8fa470cb4da1fa3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b952f1fa47bc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 19 10:49:37 2010 +0100 No longer include BD_Shape<int8_t> among the instantiations enabled by default. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 0e93240..697bc61 100644 --- a/configure.ac +++ b/configure.ac @@ -1174,7 +1174,7 @@ fi # Different instantiations are separated by a '@' character. di=" Polyhedron @ Grid" di="${di} @ Rational_Box" -di="${di} @ BD_Shape<int8_t> @ BD_Shape<mpz_class> @ BD_Shape<mpq_class>" +di="${di} @ BD_Shape<mpz_class> @ BD_Shape<mpq_class>" di="${di} @ Octagonal_Shape<mpz_class> @ Octagonal_Shape<mpq_class>" di="${di} @ Constraints_Product<C_Polyhedron, Grid>" di="${di} @ Pointset_Powerset<C_Polyhedron>"

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Version number bumped.
by Roberto Bagnara 19 Dec '10

19 Dec '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 6f2b35c452c1b4443e096cbcf44e70a0d83f175b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f2b35c452c1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 19 10:14:48 2010 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 261a539..898e077 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.11.1pre2], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11.1pre3], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Version number bumped.
by Roberto Bagnara 19 Dec '10

19 Dec '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 393baaaf9aa146586e34d25fa483bd0d5ca68399 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=393baaaf9aa1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 19 10:11:18 2010 +0100 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 6dd13ad..261a539 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.11.1pre1], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11.1pre2], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Replaced $(cmd) with `cmd` in m4 autoconf files.
by Abramo Bagnara 19 Dec '10

19 Dec '10

Module: ppl/ppl Branch: master Commit: 99a25a1ecae28222bb8ee84fc6d4d5d1219ad34f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a25a1ecae2… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Dec 19 10:08:48 2010 +0100 Replaced $(cmd) with `cmd` in m4 autoconf files. --- m4/ac_check_sicstus_prolog.m4 | 3 ++- m4/ac_check_xsb_prolog.m4 | 8 ++++---- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/m4/ac_check_sicstus_prolog.m4 b/m4/ac_check_sicstus_prolog.m4 index 6d9c841..ff30eb8 100644 --- a/m4/ac_check_sicstus_prolog.m4 +++ b/m4/ac_check_sicstus_prolog.m4 @@ -28,7 +28,8 @@ then dnl The following would fail to find the real base if `sicstus' dnl is a symbolic link. dnl sicstus_prolog_base=$(dirname $(dirname $sicstus_prolog)) - sicstus_prolog_base=$(dirname $($sicstus_prolog -f --goal "use_module(library(system)), environ('SP_APP_DIR', X), write(X), nl, halt.")) + sicstus_prolog_app_dir=`$sicstus_prolog -f --goal "use_module(library(system)), environ('SP_APP_DIR', X), write(X), nl, halt."` + sicstus_prolog_base=`dirname $sicstus_prolog_app_dir` SICSTUS_PROLOG_INCLUDE_OPTIONS="-I${sicstus_prolog_base}/include" ac_save_CPPFLAGS="$CPPFLAGS" CPPFLAGS="$CPPFLAGS $SICSTUS_PROLOG_INCLUDE_OPTIONS" diff --git a/m4/ac_check_xsb_prolog.m4 b/m4/ac_check_xsb_prolog.m4 index 7252b45..df03715 100644 --- a/m4/ac_check_xsb_prolog.m4 +++ b/m4/ac_check_xsb_prolog.m4 @@ -28,14 +28,14 @@ then dnl The foreign language interface include file is `cinterf.h', dnl but this resides in the emulator directory and is not installed dnl in any standard place. - xsb_emu_dir=$(xsb --nobanner --quietload --noprompt \ + xsb_emu_dir=`xsb --nobanner --quietload --noprompt \ -e "write('emudir='), \ xsb_configuration(emudir, X), write(X), nl, halt." \ - 2>/dev/null | sed "s/^emudir=//g") - xsb_config_dir=$(xsb --nobanner --quietload --noprompt \ + 2>/dev/null | sed "s/^emudir=//g"` + xsb_config_dir=`xsb --nobanner --quietload --noprompt \ -e "write('config_dir='), \ xsb_configuration(config_dir,X), write(X), nl, halt." \ - 2>/dev/null | sed "s/^config_dir=//g") + 2>/dev/null | sed "s/^config_dir=//g"` XSB_PROLOG_INCLUDE_OPTIONS="-I${xsb_emu_dir} -I${xsb_config_dir}" AC_SUBST(XSB_PROLOG_INCLUDE_OPTIONS) fi

1 0

Threes scripts in ppl 0.10.2 that need to be tweaked for Solaris
by Dennis Clarke 19 Dec '10

19 Dec '10

Minor annoyance but trivial to repair. The following scripts all should refer to /bin/bash as the shell to execute in. The two utils will fail on Solaris as the "read" function fails with a note about the '-r' option being incorrect. This occurs because the read may be /usr/xpg4/bin/read or it may be /usr/bin/read where the base shell seems to solve all this with an internal function. Thus : $ diff configure configure.backup 1c1 < #!/bin/bash --- > #! /bin/sh $ diff utils/cm_cleaner.sh utils/cm_cleaner.sh.backup 1c1 < #!/bin/bash --- > #!/bin/sh $ diff utils/cm_splitter.sh utils/cm_splitter.sh.backup 1c1 < #!/bin/bash --- > #!/bin/sh -- Dennis Clarke dclarke(a)opensolaris.ca <- Email related to the open source Solaris dclarke(a)blastwave.org <- Email related to open source for Solaris

2 1

[GIT] ppl/ppl(ppl-0_11-branch): Avoid using identifier `PS', since Solaris has a macro with that name.
by Roberto Bagnara 19 Dec '10

19 Dec '10

Module: ppl/ppl Branch: ppl-0_11-branch Commit: a183a1a076fe6a29767487831c4ae232f5712d6c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a183a1a076fe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 19 08:27:57 2010 +0100 Avoid using identifier `PS', since Solaris has a macro with that name. --- doc/definitions.dox | 8 ++++---- instchk.hh | 4 ++-- tests/Powerset/powerset1.cc | 18 +++++++++--------- 3 files changed, 15 insertions(+), 15 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index b94d2e8..fd1ceb4 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -103,10 +103,10 @@ where: Other semantic GDs, the <EM>compound classes</EM>, can be constructed (also recursively) from all the GDs classes. These include: - - \link Parma_Polyhedra_Library::Pointset_Powerset \c Pointset_Powerset\<PS\> \endlink, + - \link Parma_Polyhedra_Library::Pointset_Powerset \c Pointset_Powerset\<PSET\> \endlink, - \link Parma_Polyhedra_Library::Partially_Reduced_Product <CODE>Partially_Reduced_Product\<D1, D2, R\></CODE> \endlink, . -where \c PS, \c D1 and \c D2 can be any semantic GD classes and \c R is the +where \c PSET, \c D1 and \c D2 can be any semantic GD classes and \c R is the reduction operation to be applied to the component domains of the product class. @@ -2689,10 +2689,10 @@ not themselves occur as one of their argument domains. Therefore their use comes with the following warning. \warning -The <CODE>Pointset_Powerset<PS></CODE> and +The <CODE>Pointset_Powerset<PSET></CODE> and <CODE>Partially_Reduced_Product<D1, D2, R></CODE> should only be used with the following instantiations -for the disjunct domain template \p PS and component domain +for the disjunct domain template \p PSET and component domain templates \p D1 and \p D2: <CODE>C_Polyhedron</CODE>, <CODE>NNC_Polyhedron</CODE>, diff --git a/instchk.hh b/instchk.hh index 0a07a08..e848172 100644 --- a/instchk.hh +++ b/instchk.hh @@ -247,11 +247,11 @@ public: } }; -template <typename PS> +template <typename PSET> class Pointset_Powerset { public: static bool valid_instantiation() { - return PS::valid_Pointset_Powerset_argument(); + return PSET::valid_Pointset_Powerset_argument(); } }; diff --git a/tests/Powerset/powerset1.cc b/tests/Powerset/powerset1.cc index 09ab286..2c1e3f6 100644 --- a/tests/Powerset/powerset1.cc +++ b/tests/Powerset/powerset1.cc @@ -27,14 +27,14 @@ namespace { // Uses every public Powerset method. bool test01() { - typedef Powerset<FCAIBVP> PS; + typedef Powerset<FCAIBVP> PSET; Variable A(0); - PS ps1; + PSET ps1; ps1.add_disjunct(FCAIBVP(A)); - PS ps2 = ps1; + PSET ps2 = ps1; if (ps2 != ps1 || !(ps2 == ps1)) return false; @@ -43,7 +43,7 @@ test01() { nout << "ps1:" << endl << ps1 << endl; FCAIBVP d(A); - PS ps3(d); + PSET ps3(d); if (!ps1.definitely_entails(ps3)) return false; @@ -67,35 +67,35 @@ test01() { // Iterator. dimension_type count = 0; - for (PS::iterator i = ps3.begin(); i != ps3.end(); ++i) + for (PSET::iterator i = ps3.begin(); i != ps3.end(); ++i) ++count; if (count != 1) return false; // Constant iterator. count = 0; - for (PS::const_iterator i = ps3.begin(); i != ps3.end(); ++i) + for (PSET::const_iterator i = ps3.begin(); i != ps3.end(); ++i) ++count; if (count != 1) return false; // Reverse iterator. count = 0; - for (PS::reverse_iterator i = ps3.rbegin(); i != ps3.rend(); ++i) + for (PSET::reverse_iterator i = ps3.rbegin(); i != ps3.rend(); ++i) ++count; if (count != 1) return false; // Constant reverse iterator. count = 0; - for (PS::const_reverse_iterator i = ps3.rbegin(), + for (PSET::const_reverse_iterator i = ps3.rbegin(), ps3_rend = ps3.rend(); i != ps3_rend; ++i) ++count; if (count != 1) return false; ps2 = ps3; - PS ps_empty; + PSET ps_empty; ps2.drop_disjunct(ps2.begin()); if (ps2 != ps_empty) return false;

1 0

Re: [PPL-devel] ppl-0.11.1pre2 fails to compile on Solaris i386
by Dennis Clarke 14 Dec '10

14 Dec '10

> On 12/14/10 21:33, Dennis Clarke wrote: >> >> >> I think, after trying oover and over for about five days that ppl can >> not >> be compiled on Solaris. > > By chance, does Solaris define int8_t to be plain char > (that is, not `signed char', just `char')? That depends. On Solaris 8 in /usr/include/sys/int_types.h we see : /* * This file, <sys/int_types.h>, is part of the Sun Microsystems implementation * of <inttypes.h> as proposed in the ISO/JTC1/SC22/WG14 C committee's working * draft for the revision of the current ISO C standard, ISO/IEC 9899:1990 * Programming language - C. * * Programs/Modules should not directly include this file. Access to the * types defined in this file should be through the inclusion of one of the * following files: * * <sys/types.h> Provides only the "_t" types defined in this * file which is a subset of the contents of * <inttypes.h>. (This can be appropriate for * all programs/modules except those claiming * ANSI-C conformance.) * * <sys/inttypes.h> Provides the Kernel and Driver appropriate * components of <inttypes.h>. * * <inttypes.h> For use by applications. * * See these files for more details. * . . . /* * Basic / Extended integer types * * The following defines the basic fixed-size integer types. * * Implementations are free to typedef them to Standard C integer types or * extensions that they support. If an implementation does not support one * of the particular integer data types below, then it should not define the * typedefs and macros corresponding to that data type. Note that int8_t * is not defined in -Xs mode on ISAs for which the ABI specifies "char" * as an unsigned entity because there is not way to defined an eight bit * signed integral. */ #if defined(_CHAR_IS_SIGNED) typedef char int8_t; #else #if defined(__STDC__) typedef signed char int8_t; #endif #endif I recall that you had a valid login into the Blastwave server stack and then you could see all this if needed. -- Dennis Clarke dclarke(a)opensolaris.ca <- Email related to the open source Solaris dclarke(a)blastwave.org <- Email related to open source for Solaris

1 0

ppl-0.11.1pre2 fails configure instantly on Solaris
by Dennis Clarke 14 Dec '10

14 Dec '10

[titan] ./configure --prefix=/usr/local --with-libgmpxx-prefix=/usr/local \ > --with-cc=/opt/csw/gcc4/bin/gcc --with-cxx=/opt/csw/gcc4/bin/g++ \ > --enable-interfaces=cxx\ c --enable-arch=pentiumpro ./configure: syntax error at line 13710: `sicstus_prolog_base=$' unexpected [titan] This, again, is due to the use of /bin/sh as the preferred shell in the configure script when in fact you really want /bin/bash. Same with the scripts in the utils dir. -- Dennis Clarke dclarke(a)opensolaris.ca <- Email related to the open source Solaris dclarke(a)blastwave.org <- Email related to open source for Solaris

2 1