Bug#995333: polyml: FTBFS on arm64: Segmentation fault ./polyimport polytemp.txt -I . < ./exportPoly.sml

[Jessica Clarke]

Control: severity -1 important
Control: title -1 polyml: Intermittent FTBFS on arm64

Built ok after a give back, so not sure what’s up...

Jess

> On 29 Sep 2021, at 21:17, Sebastian Ramacher <sramacher at debian.org> wrote:
> 
> Source: polyml
> Version: 5.7.1-4
> Severity: serious
> Tags: ftbfs sid bookworm
> Justification: fails to build from source (but built successfully in the past)
> X-Debbugs-Cc: sramacher at debian.org
> 
> | Use: basis/MONO_VECTOR_SLICE.sml
> | Use: basis/MONO_ARRAY.sml
> | Use: basis/MONO_ARRAY_SLICE.sml
> | Use: basis/StringSignatures.sml
> | Use: basis/String.sml
> | /bin/bash: line 1: 3933030 Segmentation fault      ./polyimport polytemp.txt -I . < ./exportPoly.sml
> | make[3]: *** [Makefile:1174: polyexport.o] Error 139
> 
> See
> https://buildd.debian.org/status/fetch.php?pkg=polyml&arch=arm64&ver=5.7.1-4%2Bb1&stamp=1632490442&raw=0
> 
> Cheers
> -- 
> Sebastian Ramacher
>