#995333 polyml: Intermittent FTBFS on arm64

Package:
src:polyml
Source:
polyml
Submitter:
Sebastian Ramacher
Date:
2025-08-17 17:49:26 UTC
Severity:
important
Tags:
#995333#5
Date:
2021-09-29 20:17:52 UTC
From:
To:
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@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
#995333#10
Date:
2021-10-28 13:35:17 UTC
From:
To:
Built ok after a give back, so not sure what’s up...

Jess
#995333#17
Date:
2021-10-28 13:35:17 UTC
From:
To:
Built ok after a give back, so not sure what’s up...

Jess