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
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
