David,
As Rob says, I am using Linux (4.13.12-100.fc25.x86_64 from Fedora 25
updates).
I have tried the updated version (ga24f39a) and this fixes the issue.
ProofPower builds in the expected time. However, I have tried a few
more tests and find that some compiled applications are very
David,
> On 26 Nov 2017, at 09:14, David Matthews
> wrote:
>
> I don't see that myself but it's certainly possible. A delay followed by
> Error 1 suggests that it is relying on the crow-bar thread to stop. The fact
> that this only happens on some platforms
I tried it on Ubuntu 16.04 and indeed it showed the problem. I had been
testing on Debian stable. It seems to be a race condition which only
showed up because this latest change removed the delay which was
"fixing" the race. I don't know why it only showed up in Ubuntu but the
answer seems
On 25/11/17 22:45, Makarius wrote:
> On 25/11/17 18:44, David Matthews wrote:
>
>> I've had a better look and I found that I was seeing this as well. I've
>> pushed a fix and it no longer seems to be doing it. It's a very small
>> change so I would be very surprised if it has broken anything
On 26/11/17 10:14, David Matthews wrote:
>
> In view of this I'm inclined to release the version without this change
> (44b7b88) as 5.7.1 and investigate the problem later. Are you certain
> the problem you've identified doesn't happen in that version?
Yes, 44b7b88 works on these Ubuntu 12.04
I don't see that myself but it's certainly possible. A delay followed
by Error 1 suggests that it is relying on the crow-bar thread to stop.
The fact that this only happens on some platforms suggests a race
condition.
In view of this I'm inclined to release the version without this change