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 to be to get rid of the crow-bar thread completely.
However, I am releasing 44b7b88 as 5.7.1. The other changes can go into
master and fixes-5.7.1.
David
On 26/11/2017 10:49, Makarius wrote:
On 25/11/17 22:45, Makarius wrote:
This change a24f39a95ca9 causes a new problem when building
modules/IntInfAsInt:
...
echo "use \"./ROOT.sml\";" | ../../poly -q -error-exit
Error 1
Before emitting that error, it appears to "hang" for several seconds.
The build procedure is that of Isabelle, e.g.:
$ isabelle build_polyml -m32 -s sha1 polyml-git --with-gmp
$ isabelle build_polyml -m64 -s sha1 polyml-git --with-gmp
I've also seen the error with manual invocation of:
./configure --enable-intinf-as-int && make clean && make compiler
This effect is somewhat non-deterministic, but it appears quite reliably
on my reference machines for x86-linux and x86_64-linux (Ubuntu 12.04 LTS).
In most other system configurations it appears to work.
I have tested this once again with Ubuntu 12.04 or 14.04 systems with
x86 or x86_64. The problem can happen in all combinations, but more
frequently on 12.04 than 14.04 and on x86 than x86_64.
Makarius
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
