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 but I'll give it a couple of days and then release 5.7.1.
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