June 2013 - PPL-devel - BUGSENG Mailman

pre-image operation
by Zhoulai 04 Jul '13

04 Jul '13

Hello, Is there any reference publication for PPL's pre-image operation? The operation is explained at sect. 1.6.9 of user manual but no references is mentioned. I am puzzled how you implemented tpre-image? Thank you. Zhoulai

2 1

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 23 Jun '13

23 Jun '13

Module: ppl/ppl Branch: master Commit: 0b2e3fd90fce1d3618bcfe570747d7635a9ca3f5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b2e3fd90fce… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jun 23 08:59:06 2013 +0200 Updated. --- compile | 2 +- config.guess | 167 +++++++++++++----------- config.sub | 55 ++++----- depcomp | 410 +++++++++++++++++++++++++++++----------------------------- missing | 405 +++++++++++++++++++++------------------------------------- 5 files changed, 472 insertions(+), 567 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=0b2e3fd9…

1 0

[GIT] ppl/ppl(master): Put under Git control.
by Roberto Bagnara 23 Jun '13

23 Jun '13

Module: ppl/ppl Branch: master Commit: 772c80b14cb0919a06b794acce9c7073ef6dd490 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=772c80b14cb0… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jun 23 08:48:29 2013 +0200 Put under Git control. --- test-driver | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/test-driver b/test-driver new file mode 120000 index 0000000..29fa213 --- /dev/null +++ b/test-driver @@ -0,0 +1 @@ +/usr/local/share/automake-1.14/test-driver \ No newline at end of file

1 0

[GIT] ppl/ppl(master): Use the `subdir-objects' Automake option.
by Roberto Bagnara 23 Jun '13

23 Jun '13

Module: ppl/ppl Branch: master Commit: b6c28667ce94102916879cc23d0b8dde3ad35e3b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6c28667ce94… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Jun 23 08:47:54 2013 +0200 Use the `subdir-objects' Automake option. --- interfaces/Prolog/Ciao/Makefile.am | 2 ++ interfaces/Prolog/GNU/Makefile.am | 2 ++ interfaces/Prolog/SICStus/Makefile.am | 2 ++ interfaces/Prolog/SWI/Makefile.am | 2 ++ interfaces/Prolog/XSB/Makefile.am | 2 ++ interfaces/Prolog/YAP/Makefile.am | 2 ++ 6 files changed, 12 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/Ciao/Makefile.am b/interfaces/Prolog/Ciao/Makefile.am index b228713..4bb083e 100644 --- a/interfaces/Prolog/Ciao/Makefile.am +++ b/interfaces/Prolog/Ciao/Makefile.am @@ -21,6 +21,8 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . +AUTOMAKE_OPTIONS = subdir-objects + CIAO_CFLI_FILES = ciao_cfli.hh EXTRA_DIST = \ diff --git a/interfaces/Prolog/GNU/Makefile.am b/interfaces/Prolog/GNU/Makefile.am index 41d09d4..4cbfc1e 100644 --- a/interfaces/Prolog/GNU/Makefile.am +++ b/interfaces/Prolog/GNU/Makefile.am @@ -21,6 +21,8 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . +AUTOMAKE_OPTIONS = subdir-objects + GPROLOG_CFLI_FILES = gprolog_cfli.hh EXTRA_DIST = \ diff --git a/interfaces/Prolog/SICStus/Makefile.am b/interfaces/Prolog/SICStus/Makefile.am index fe651b2..396e6c8 100644 --- a/interfaces/Prolog/SICStus/Makefile.am +++ b/interfaces/Prolog/SICStus/Makefile.am @@ -21,6 +21,8 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . +AUTOMAKE_OPTIONS = subdir-objects + SICSTUS_CFLI_FILES = sicstus_cfli.h sicstus_cfli.ic sicstus_cfli.cc EXTRA_DIST = \ diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 26d08c8..5f3b8e3 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -21,6 +21,8 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . +AUTOMAKE_OPTIONS = subdir-objects + if VALGRIND_TESTS_ENABLED CHECKER = \ diff --git a/interfaces/Prolog/XSB/Makefile.am b/interfaces/Prolog/XSB/Makefile.am index 862766f..825d88f 100644 --- a/interfaces/Prolog/XSB/Makefile.am +++ b/interfaces/Prolog/XSB/Makefile.am @@ -21,6 +21,8 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . +AUTOMAKE_OPTIONS = subdir-objects + XSB_CFLI_FILES = xsb_cfli.hh EXTRA_DIST = \ diff --git a/interfaces/Prolog/YAP/Makefile.am b/interfaces/Prolog/YAP/Makefile.am index 69cfe19..ded9b1b 100644 --- a/interfaces/Prolog/YAP/Makefile.am +++ b/interfaces/Prolog/YAP/Makefile.am @@ -21,6 +21,8 @@ # For the most up-to-date information see the Parma Polyhedra Library # site: http://bugseng.com/products/ppl/ . +AUTOMAKE_OPTIONS = subdir-objects + YAP_CFLI_FILES = yap_cfli.hh EXTRA_DIST = \

1 0

Infinite loop (ab)using the parallel test harness facility
by Roberto Bagnara 23 Jun '13

23 Jun '13

Hi there. The solution we use since several years in the Parma Polyhedra Library to the problem described in this thread http://lists.gnu.org/archive/html/automake/2005-10/msg00058.html does not work with the parallel test harness facility. The symptom is that recompilation with the same set of flags is repeated over and over again. The problem goes away if one reverts to the obsolete serial test harness facility, which would very much like to avoid. A Makefile.am and script affected by this issue are http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blob_plain;f=tests/BD… http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blob_plain;f=tests/BD… Does anyone spot the cause of the problem? Kind regards, Roberto P.S. Reading the manual we took note of the fact that we should make changes to Makefile.am, such as using LOG_COMPILER instead of TESTS_ENVIRONMENT, but these are orthogonal issue (i.e., the observation above is with an empty TESTS_ENVIRONMENT). -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com

1 0