On 11/23/2015 07:45 PM, Tobias Frost wrote:
> it seems that this error is now gone...
>
> However, it now crashes later during the testsuite.
>
> (Log attached; Note that I also built it in a pbuilder enviorment with
> the same result)
We have tried to reproduce the problem without success.
Anyway, to accommodate SWI-Prolog version 7.x the attached
patches should be applied. Please mail ppl-de...@cs.unipr.it
if you have further details to allow us reproduce the problem.
Kind regards,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagn...@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagn...@bugseng.com
>From 142a58fa623e5b875efa4bd73f1071688a38f0ed Mon Sep 17 00:00:00 2001
From: Roberto Bagnara <roberto.bagn...@bugseng.com>
Date: Tue, 24 Nov 2015 10:05:15 +0100
Subject: [PATCH 1/2] Warnings avoided.
---
.../tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4
index 7b553e3..b2f7c32 100644
--- a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4
+++ b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4
@@ -947,7 +947,7 @@ ppl_@CLASS@_frequency_6_test :-
F_N == F_Nexptd, F_D == F_Dexptd,
V_N == V_Nexptd, V_D == V_Dexptd)
;
- \+ ppl_@CLASS@_frequency(PS, LE, F_N, F_D, V_N, V_D)
+ \+ ppl_@CLASS@_frequency(PS, LE, _F_N, _F_D, _V_N, _V_D)
),
ppl_@CLASS@_OK(PS),
ppl_delete_@CLASS@(PS)
--
2.1.4
>From c9b20bc27d2a9931f131b6c3350eadf3c7f33405 Mon Sep 17 00:00:00 2001
From: Roberto Bagnara <roberto.bagn...@bugseng.com>
Date: Tue, 24 Nov 2015 10:05:32 +0100
Subject: [PATCH 2/2] Adapted to SWI-Prolog version 7.x.
---
interfaces/Prolog/SWI/pl_clpq.pl | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/interfaces/Prolog/SWI/pl_clpq.pl b/interfaces/Prolog/SWI/pl_clpq.pl
index 3b87de4..ca1854f 100644
--- a/interfaces/Prolog/SWI/pl_clpq.pl
+++ b/interfaces/Prolog/SWI/pl_clpq.pl
@@ -21,7 +21,8 @@ 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://bugseng.com/products/ppl/ . */
-eat_eol.
+eat_eol :-
+ get_code(user_input, _EOL).
main :-
% FIXME: clearing the prompt as it is done here is a temporary workaround.
--
2.1.4
