MLton understands about running out of memory, so it shouldn't just segfault. If it isn't too hard, could you try it with Linux overcommit turned off?
On Thu, Jan 6, 2022 at 1:57 PM John David Anglin <dave.ang...@bell.net> wrote: > > Source: mlton > Version: 20130715-3 > Severity: normal > > Dear Maintainer, > > Because of dependency problems mlton_20210117+dfsg-3 had to built > manually on hppa. However, it seems mlton_20210117+dfsg-3 cannot > rebuild itself on hppa. > > See log: > https://buildd.debian.org/status/fetch.php?pkg=mlton&arch=hppa&ver=20210117%2Bdfsg-3&stamp=1641492022&raw=0 > > It fails with a reproducible segmentation fault. I noticed the compiler > had allocated more than 2G at this point, so there was probably a memory > allocation issue. hppa is a 32-bit architecture. > > Regards, > Dave Anglin > > -- System Information: > Debian Release: bookworm/sid > APT prefers buildd-unstable > APT policy: (500, 'buildd-unstable'), (500, 'unstable') > Architecture: hppa (parisc64) > > Kernel: Linux 5.16.0-rc8+ (SMP w/4 CPU threads) > Locale: LANG=C, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set > Shell: /bin/sh linked to /bin/dash > Init: systemd (via /run/systemd/system) >
