Transcript written on refman.log.
> make[2]: *** [Makefile:6: refman.pdf] Error 1
>
Thanks for the report. This has just been fixed with the
following commit.
commit addd0535f36e4a2734b9b5321e2e0ad398c5e20c
Author: Roberto Bagnara
Date: Fri May 4 09:26:25 2018 +0200
Disable Kp
on.
>
> Thanks,
> Tobias
>
> Ben file:
>
> title = "ppl";
> is_affected = .depends ~ "libppl13v5" | .depends ~ "libppl14";
> is_good = .depends ~ "libppl14";
> is_bad = .depends ~ "libppl13v5";
Just to say that u
the
problem will be solved very quickly.
Kind regards,
Roberto
> On Sat, 6 Aug 2016 14:34:14 +0200 Roberto Bagnara
> wrote:
>> The new version upstream (PPL 1.2, released in February 2016) solves
>> all problems wrt GCC 6. If upgrading to the latest upstream release
&g
On 08/06/2016 03:50 PM, Jonas Smedegaard wrote:
> Hi Roberto,
>
> Quoting Roberto Bagnara (2016-08-06 14:34:14)
>> On 08/06/2016 02:27 PM, Jonas Smedegaard wrote:
>>> Quoting Dmitry Tsarkov (2016-08-04 22:09:56)
>>>> I'm the implementer of the origina
GCC 6. If upgrading to the latest upstream release
is not wanted (why?), then patches have been provided in this very issue.
Kind regards,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagn...@cs.unipr.it
2.
Cheers,
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
em 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 - U
message.
For the little I understand, I am in favor of the resolutions
you propose, but I don't know how to implement them (I mean,
without changing upstream code). If you can send more detailed
instructions, we will be glad to try and implement them.
Kind regards,
Roberto
--
Prof. R
.0
> APT prefers stable
> APT policy: (900, 'stable')
> Architecture: amd64 (x86_64)
>
> Kernel: Linux 3.16.0-4-amd64 (SMP w/4 CPU cores)
> Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8)
> Shell: /bin/sh linked to /bin/dash
> Init: systemd (via /
t.cgi?bug=669479#22.
Just wondering: do you have a strong reason to stick with PPL 0.11.2
and not to upgrade to PPL 1.0? PPL 0.11.2 is an old release and PPL 1.0
has lots of improvements over it, including important bug fixes.
Just my 2 cents.
Kind regards,
Roberto Bagnara
(PPL project l
e upstream?
Notice that we have been unable to reproduce the problem.
Cheers,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagn...@cs.unipr.it
--
To UNSUBSCRIBE, email to debian-bu
ded 06:58:18, 1434876k disk space
I see. Please let us know whether/how we can help.
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagn...@cs.unipr.it
--
To UNSUBSCRI
are only a few weeks
from the release of PPL 0.10, but we will do all what we can to
simplify the life of packagers.
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:[EMAIL
13 matches
Mail list logo
