- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Escape backslashes in PPL_CONFIGURE_OPTIONS.
by Roberto Bagnara 27 Mar '18

27 Mar '18

Module: ppl/ppl Branch: master Commit: 2ad4d2017354a3331d1a6bc015c0be76c1a262a0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ad4d2017354… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 22:17:33 2018 +0200 Escape backslashes in PPL_CONFIGURE_OPTIONS. --- configure.ac | 9 +++++---- 1 files changed, 5 insertions(+), 4 deletions(-) diff --git a/configure.ac b/configure.ac index 3380534..6d62c66 100644 --- a/configure.ac +++ b/configure.ac @@ -68,10 +68,6 @@ AC_SUBST(PPL_VERSION_MINOR) AC_SUBST(PPL_VERSION_REVISION) AC_SUBST(PPL_VERSION_BETA) -AC_DEFINE_UNQUOTED(PPL_CONFIGURE_OPTIONS, "$ac_configure_args", [This contains the options with which `configure' was invoked.]) -PPL_CONFIGURE_OPTIONS="\"$ac_configure_args\"" -AC_SUBST(CONFIGURE_OPTIONS) - # Generate a configuration header file. AC_CONFIG_HEADER([config.h]) @@ -291,6 +287,11 @@ AC_PROG_CXXCPP AC_PROG_MAKE_SET AC_PROG_INSTALL +AC_DEFINE_UNQUOTED(PPL_CONFIGURE_OPTIONS, "`echo $ac_configure_args | $SED -e 's/\\\\/\\\\\\\\/g'`", [This contains the options with which `configure' was invoked.]) +PPL_CONFIGURE_OPTIONS="\"$ac_configure_args\"" +AC_SUBST(CONFIGURE_OPTIONS) + + # Compilation flags. COMP_FLAGS=""

1 0

[GIT] ppl/ppl(master): Better support for dynamically-loadable modules.
by Roberto Bagnara 27 Mar '18

27 Mar '18

Module: ppl/ppl Branch: master Commit: bc7ffae942e400c282f1e3abd06db6aa5d434035 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc7ffae942e4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 19:57:43 2018 +0200 Better support for dynamically-loadable modules. --- configure.ac | 8 ++++++++ interfaces/Java/jni/Makefile.am | 5 +++++ interfaces/Prolog/Ciao/Makefile.am | 3 +++ interfaces/Prolog/GNU/Makefile.am | 3 +++ interfaces/Prolog/SICStus/Makefile.am | 3 +++ interfaces/Prolog/SWI/Makefile.am | 3 +++ interfaces/Prolog/XSB/Makefile.am | 3 +++ interfaces/Prolog/YAP/Makefile.am | 3 +++ 8 files changed, 31 insertions(+), 0 deletions(-) diff --git a/configure.ac b/configure.ac index 7b360f6..3380534 100644 --- a/configure.ac +++ b/configure.ac @@ -1280,6 +1280,13 @@ fi AM_CONDITIONAL(BUILD_YAP_PROLOG_INTERFACE, test x$build_yap_prolog_interface = xyes) +# Allow extra Libtool flags (typically to set the rpath) for linking +# dynamically-loadable modules. +AC_ARG_WITH(module-flags, + AS_HELP_STRING([--with-module-flags=XXX], + [add XXX to the linking options for dynamically-loadable modules]), + module_flags="$with_module_flags") + # Test if some Prolog interfaces have to be built. if test x$build_ciao_prolog_interface = xyes \ || test x$build_gnu_prolog_interface = xyes \ @@ -1663,6 +1670,7 @@ AC_SUBST(required_instantiations_ocaml_cxx_headers) AC_SUBST(required_instantiations_ocaml_cxx_sources) AC_SUBST(required_instantiations_ocaml_cxx_objects) AC_SUBST(mlgmp_dir) +AC_SUBST(module_flags) AC_CONFIG_FILES(Makefile ppl.lsm diff --git a/interfaces/Java/jni/Makefile.am b/interfaces/Java/jni/Makefile.am index 0b0704d..0bd5d33 100644 --- a/interfaces/Java/jni/Makefile.am +++ b/interfaces/Java/jni/Makefile.am @@ -64,9 +64,12 @@ NO_UNDEFINED_FLAG = -no-undefined endif NO_UNDEFINED +MODULE_FLAGS = @module_flags@ + if HOST_OS_DARWIN libppl_java_la_LDFLAGS = \ +$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -avoid-version \ -shrext .jnilib @@ -76,6 +79,7 @@ else !HOST_OS_DARWIN if HOST_OS_MINGW libppl_java_la_LDFLAGS = \ +$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version \ @@ -84,6 +88,7 @@ $(NO_UNDEFINED_FLAG) \ else !HOST_OS_MINGW libppl_java_la_LDFLAGS = \ +$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version diff --git a/interfaces/Prolog/Ciao/Makefile.am b/interfaces/Prolog/Ciao/Makefile.am index 561c439..6e91715 100644 --- a/interfaces/Prolog/Ciao/Makefile.am +++ b/interfaces/Prolog/Ciao/Makefile.am @@ -156,7 +156,10 @@ $(top_builddir)/src/libppl.la \ libppl_ciao_la_DEPENDENCIES = \ @required_instantiations_prolog_cxx_objects@ +MODULE_FLAGS = @module_flags@ + libppl_ciao_la_LDFLAGS = \ +$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version diff --git a/interfaces/Prolog/GNU/Makefile.am b/interfaces/Prolog/GNU/Makefile.am index 4aef5cd..07d178d 100644 --- a/interfaces/Prolog/GNU/Makefile.am +++ b/interfaces/Prolog/GNU/Makefile.am @@ -151,7 +151,10 @@ $(top_builddir)/src/libppl.la \ libppl_gprolog_la_DEPENDENCIES = \ @required_instantiations_prolog_cxx_objects@ +MODULE_FLAGS = @module_flags@ + libppl_gprolog_la_LDFLAGS = \ +$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version diff --git a/interfaces/Prolog/SICStus/Makefile.am b/interfaces/Prolog/SICStus/Makefile.am index 2cc9061..2c8030a 100644 --- a/interfaces/Prolog/SICStus/Makefile.am +++ b/interfaces/Prolog/SICStus/Makefile.am @@ -184,7 +184,10 @@ $(top_builddir)/src/libppl.la \ libppl_sicstus_la_DEPENDENCIES = \ @required_instantiations_prolog_cxx_objects@ +MODULE_FLAGS = @module_flags@ + libppl_sicstus_la_LDFLAGS = \ +$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index dcb8954..18e7fbf 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -178,7 +178,10 @@ $(SWI_PROLOG_LD_OPTIONS) libppl_swiprolog_la_DEPENDENCIES = \ @required_instantiations_prolog_cxx_objects@ +MODULE_FLAGS = @module_flags@ + libppl_swiprolog_la_LDFLAGS = \ +$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version diff --git a/interfaces/Prolog/XSB/Makefile.am b/interfaces/Prolog/XSB/Makefile.am index ddce881..7ac1c79 100644 --- a/interfaces/Prolog/XSB/Makefile.am +++ b/interfaces/Prolog/XSB/Makefile.am @@ -174,7 +174,10 @@ $(top_builddir)/src/libppl.la \ libppl_xsb_la_DEPENDENCIES = \ @required_instantiations_prolog_cxx_objects@ +MODULE_FLAGS = @module_flags@ + libppl_xsb_la_LDFLAGS = \ +$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version diff --git a/interfaces/Prolog/YAP/Makefile.am b/interfaces/Prolog/YAP/Makefile.am index 85dbc2a..6b5f724 100644 --- a/interfaces/Prolog/YAP/Makefile.am +++ b/interfaces/Prolog/YAP/Makefile.am @@ -165,7 +165,10 @@ $(top_builddir)/src/libppl.la \ ppl_yap_la_DEPENDENCIES = \ @required_instantiations_prolog_cxx_objects@ +MODULE_FLAGS = @module_flags@ + ppl_yap_la_LDFLAGS = \ +$(MODULE_FLAGS) \ $(NO_UNDEFINED_FLAG) \ -module \ -avoid-version

1 0

[GIT] ppl/ppl(master): Typo fixed.
by Roberto Bagnara 27 Mar '18

27 Mar '18

Module: ppl/ppl Branch: master Commit: f85b36accc826ec0a869e7fda61450136939d445 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85b36accc82… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 12:39:08 2018 +0200 Typo fixed. --- interfaces/Prolog/SWI/Makefile.am | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 783f6a2..dcb8954 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -72,7 +72,7 @@ ppl_swiprolog.cc: $(interface_generator_dependencies) pkglib_LTLIBRARIES = libppl_swiprolog.la -pkginclude_HEADERS = +pkginclude_HEADERS = \ $(SWI_CFLI_FILES) \ ppl_swiprolog.hh

1 0

[GIT] ppl/ppl(master): Install also the header files required for static linking.
by Roberto Bagnara 27 Mar '18

27 Mar '18

Module: ppl/ppl Branch: master Commit: e4afe707bbc8dccae4bc43a13eb8c09fb3dc9b37 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4afe707bbc8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 27 12:36:06 2018 +0200 Install also the header files required for static linking. --- interfaces/Prolog/SWI/Makefile.am | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 0d44db7..783f6a2 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -72,6 +72,10 @@ ppl_swiprolog.cc: $(interface_generator_dependencies) pkglib_LTLIBRARIES = libppl_swiprolog.la +pkginclude_HEADERS = +$(SWI_CFLI_FILES) \ +ppl_swiprolog.hh + libppl_swiprolog_la_SOURCES = \ ppl_prolog_sysdep.hh \ ppl_swiprolog.hh \

1 0

[GIT] ppl/ppl(devel): Merge branch 'master' into devel
by Roberto Bagnara 11 Feb '18

11 Feb '18

Module: ppl/ppl Branch: devel Commit: a89aece754be8d974be0c96a32a9f966ea8ee28c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a89aece754be… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 11 09:13:38 2018 +0100 Merge branch 'master' into devel ---

1 0

[GIT] ppl/ppl(devel): Added missing "template" and "typename" keywords.
by Roberto Bagnara 11 Feb '18

11 Feb '18

Module: ppl/ppl Branch: devel Commit: c39f6a07b51f89e365b05ba4147aa2aa448febd7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c39f6a07b51f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 11 09:11:09 2018 +0100 Added missing "template" and "typename" keywords. (Thanks to Dmitrii Pasechnik.) --- src/Determinate_inlines.hh | 4 ++-- src/OR_Matrix_inlines.hh | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Determinate_inlines.hh b/src/Determinate_inlines.hh index 2749953..5b47275 100644 --- a/src/Determinate_inlines.hh +++ b/src/Determinate_inlines.hh @@ -289,8 +289,8 @@ operator()(Determinate& x, const Determinate& y) const { template <typename PSET> template <typename Binary_Operator_Assign> -inline -Determinate<PSET>::Binary_Operator_Assign_Lifter<Binary_Operator_Assign> +inline typename +Determinate<PSET>::template Binary_Operator_Assign_Lifter<Binary_Operator_Assign> Determinate<PSET>::lift_op_assign(Binary_Operator_Assign op_assign) { return Binary_Operator_Assign_Lifter<Binary_Operator_Assign>(op_assign); } diff --git a/src/OR_Matrix_inlines.hh b/src/OR_Matrix_inlines.hh index b20b697..8124b7f 100644 --- a/src/OR_Matrix_inlines.hh +++ b/src/OR_Matrix_inlines.hh @@ -97,7 +97,7 @@ OR_Matrix<T>::Pseudo_Row::Pseudo_Row(const Pseudo_Row<V>& y) template <typename T> template <typename U> -inline OR_Matrix<T>::Pseudo_Row& +inline typename OR_Matrix<T>::template Pseudo_Row& OR_Matrix<T>::Pseudo_Row::operator=(const Pseudo_Row& y) { first = y.first; #if PPL_OR_MATRIX_EXTRA_DEBUG

1 0

[GIT] ppl/ppl(master): Added missing "template" and "typename" keywords.
by Roberto Bagnara 11 Feb '18

11 Feb '18

Module: ppl/ppl Branch: master Commit: c39f6a07b51f89e365b05ba4147aa2aa448febd7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c39f6a07b51f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 11 09:11:09 2018 +0100 Added missing "template" and "typename" keywords. (Thanks to Dmitrii Pasechnik.) --- src/Determinate_inlines.hh | 4 ++-- src/OR_Matrix_inlines.hh | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Determinate_inlines.hh b/src/Determinate_inlines.hh index 2749953..5b47275 100644 --- a/src/Determinate_inlines.hh +++ b/src/Determinate_inlines.hh @@ -289,8 +289,8 @@ operator()(Determinate& x, const Determinate& y) const { template <typename PSET> template <typename Binary_Operator_Assign> -inline -Determinate<PSET>::Binary_Operator_Assign_Lifter<Binary_Operator_Assign> +inline typename +Determinate<PSET>::template Binary_Operator_Assign_Lifter<Binary_Operator_Assign> Determinate<PSET>::lift_op_assign(Binary_Operator_Assign op_assign) { return Binary_Operator_Assign_Lifter<Binary_Operator_Assign>(op_assign); } diff --git a/src/OR_Matrix_inlines.hh b/src/OR_Matrix_inlines.hh index b20b697..8124b7f 100644 --- a/src/OR_Matrix_inlines.hh +++ b/src/OR_Matrix_inlines.hh @@ -97,7 +97,7 @@ OR_Matrix<T>::Pseudo_Row::Pseudo_Row(const Pseudo_Row<V>& y) template <typename T> template <typename U> -inline OR_Matrix<T>::Pseudo_Row& +inline typename OR_Matrix<T>::template Pseudo_Row& OR_Matrix<T>::Pseudo_Row::operator=(const Pseudo_Row& y) { first = y.first; #if PPL_OR_MATRIX_EXTRA_DEBUG

1 0

Compiling PPL on x86-64 architecture on windows via cygwin
by Adam Matthew 06 Feb '18

06 Feb '18

Hello. I am having trouble compiling PPL in the stated environment. Your website (http://www.bugseng.com/parma-polyhedra-library/ppl-portability) lists the following tested environments which are related but I am not sure how much so: IA-32 running Cygwin IA-32 running Windows, via MinGW I am a research assistant at Boise State University and I am trying to use PPL for static analysis in combination with the Soot java library (from Sable). I freshly installed Cygwin (with all of the packages offered) on my Windows machine and ran the following commands (I have provided their respective printout files): $ ./configure --with-java=/cygdrive/c/Users/T3chma/Downloads/ppl-1.2/Java/jdk1.7.0_80 --with-cflags=-mcmodel=large --with-cxxflags=-mcmodel=large > configure_output.log $ make > make_output.log I used the flags: --with-cflags=-mcmodel=large --with-cxxflags=-mcmodel=large because I was having "relocation truncated to fit: R_X86_64_PC32 against undefined symbol `Parma_Polyhedra_Library::ppl_unreachable()'" errors. The jdk1.7 that I am pointing at is also know to work with the existing project I am wanting to integrate PPL into. At this point I am getting the following error: .libs/Linear_Expression.o:Linear_Expression.cc: (.rdata$.refptr._ZN23Parma_Polyhedra_Library15ppl_unreachableEv[.refptr._ZN23Parma_Polyhedra_Library15ppl_unreachableEv]+0x0): undefined reference to `Parma_Polyhedra_Library::ppl_unreachable()' collect2: error: ld returned 1 exit status make[3]: *** [Makefile:1299: libppl.la] Error 1 make[2]: *** [Makefile:1224: all] Error 2 make[1]: *** [Makefile:553: all-recursive] Error 1 make: *** [Makefile:482: all] Error 2 It seems like it must be something going wrong in the linker but I am not sure how to resolve the issue.

2 3

OpenMP & PPL
by Thomas LE MÉZO 05 Jan '18

05 Jan '18

Dear Enea, Dear all, I tried recently to implement a multi-thread version of my thesis code using PPL library. I used OpenMP and the last version of ppl on devel git branch as I read you have been working on a thread-safe implementation (thread-safe option with configure). I didn't succeed in writing a correct program; see for instance this simple code that return a segmentation fault : #include <omp.h> namespace PPL = Parma_Polyhedra_Library; int main(){ #pragma omp parallel for for(int i=0; i<1000; i++){ PPL::C_Polyhedron ph1(3); // => segmentation fault at line 83 of Linear_Expression.cc PPL::C_Polyhedron ph2(3); ph1.intersection_assign(ph2); } return 0; } Would you have any idea about what is wrong? Is PPL compatible with using OpenMP? Thanks a lot in advance, Thomas

2 5

[GIT] ppl/ppl(devel): Merge branch 'master' into devel.
by Roberto Bagnara 01 Jan '18

01 Jan '18

Module: ppl/ppl Branch: devel Commit: 6fc2c026450539ea8e0cff8b123833db9a1fd191 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6fc2c0264505… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 1 19:49:09 2018 +0100 Merge branch 'master' into devel. ---

1 0