Source: acl2 Version: 8.1dfsg-2 Severity: important acl2 version 8.1dfsg-2 contains the following change:
| * Limit number of jobs on memory restricted machines This change looks wrong and causes the build time to increase quite a lot on 32-bit architectures, even if they have a lot of RAM. For example on a fast i386 build daemon the build time went from ~5h to ~19h, which is not acceptable. The code computing the max number of jobs wrongly assume that the RAM corresponds to what a process can allocate on the heap. This is not true for 32-bit architectures, which can allocate only 2, 3 or 4GB per process depending on the architecture. -- System Information: Debian Release: buster/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 4.19.0-2-amd64 (SMP w/4 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled
