How do I do that?
On 2022-01-06 3:27 p.m., Henry Cejtin wrote:
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)
--
John David Anglin dave.ang...@bell.net
