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 <sramac...@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: sramac...@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 >
