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

[Sebastian Ramacher]

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