Re: [polyml] Approaching release of 5.7.1

2017-11-26 Thread Phil Clayton
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

Re: [polyml] Approaching release of 5.7.1

2017-11-26 Thread Rob Arthan
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

Re: [polyml] Approaching release of 5.7.1

2017-11-26 Thread David Matthews
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

Re: [polyml] Approaching release of 5.7.1

2017-11-26 Thread Makarius
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

Re: [polyml] Approaching release of 5.7.1

2017-11-26 Thread Makarius
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

Re: [polyml] Approaching release of 5.7.1

2017-11-26 Thread David Matthews
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