On 08/06/2016 02:27 PM, Jonas Smedegaard wrote:
> Hi Dmitry,
>
> Quoting Dmitry Tsarkov (2016-08-04 22:09:56)
>> I'm the implementer of the original FaCT++ system. After checking the
>> project's makefiles I found out that the dependency from the ppl
>> package is optional. The user might use additional commands to turn on
>> options that require this package, but by default it is not needed.
>> Could the dependencies for the Debian package be adjusted to reflect
>> that fact? Alternatively I can make an intermediate release to
>> completely remove the offending options.
>>
>> Thanks for supporting FaCT++ in Debian!
>
> Thanks a lot, both for writing FaCT++ at all and for caring about its
> health in Debian :-)
>
> If you can tell - e.g. by providing a patch - how to suppress ppl then
> that would be nice, and adequate for our redistribution of FaCT++ in
> case you prefer for postpone a release till you have other more exciting
> changes.
May I ask why ppl should be suppressed at all?
The new version upstream (PPL 1.2, released in February 2016) solves
all problems wrt 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
BUGSENG srl - http://bugseng.com
mailto:roberto.bagn...@bugseng.com
