#1149269 ocaml-domainslib: FTBFS: E: Build killed with signal TERM after 60 minutes of inactivity

#1149269#5
Date:
2026-09-28 23:08:39 UTC
From:
To:
Hello.

When I try to build this package on a VM with 1 CPU, the build never
ends and sbuild has to kill the dpkg-buildpackage process (see below).

Full build log available here:

https://people.debian.org/~sanvila/build-logs/202609/

Apparently this happens because of this line in kcas_integration:

num_domains = Domain.recommended_domain_count () - 2.

which yields 1 - 2 = -1, a negative value. The consequences of this
are explained in the forwarded URL above.

The attached trivial patch, which I also forwarded upstream, should fix it.

The build error may be reproduced easily with GRUB_CMDLINE_LINUX="nr_cpus=1",
but if that does not work, I can offer a VM for you to reproduce.

Thanks.
--------------------------------------------------------------------------------
[...]
Called from Dune__exe__Backtrace.main in file "test/backtrace.ml", lines 21-24, characters 2-46
Called from Dune__exe__Backtrace in file "test/backtrace.ml", line 29, characters 6-13
(cd _build/default/test && ./test_chan.exe)
Sender on domain 1 done
Receiver on domain 2 done
(cd _build/default/test && ./fib.exe)
fib(43) = 701408733
(cd _build/default/test && ./fib_par.exe)
fib(43) = 701408733
E: Build killed with signal TERM after 60 minutes of inactivity
--------------------------------------------------------------------------------

#1149269#12
Date:
2026-09-29 07:49:56 UTC
From:
To:
We believe that the bug you reported is fixed in the latest version of
ocaml-domainslib, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1149269@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated ocaml-domainslib package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
Format: 1.8
Date: Tue, 29 Sep 2026 09:18:28 +0200
Source: ocaml-domainslib
Architecture: source
Version: 0.5.2-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1149269
Changes:
 ocaml-domainslib (0.5.2-3) unstable; urgency=medium
 .
   * Fix hang on single CPU systems (Closes: #1149269)
Checksums-Sha1:
 7909d859162d70c6acc5b6eb32359d69dc4b1de0 2645 ocaml-domainslib_0.5.2-3.dsc
 5f68de07380b886c7659d749c6fb131be3578da7 3408 ocaml-domainslib_0.5.2-3.debian.tar.xz
 35588ecf811a3d4a37da206a7e853781a93ab36b 48732 ocaml-domainslib_0.5.2-3.git.tar.xz
 2ed35720636901770a0ae0e5fa49677b261d5404 17760 ocaml-domainslib_0.5.2-3_source.buildinfo
Checksums-Sha256:
 0bfff540fd63f8c0dd7312fc8afd4755f95aaca5835d2f44f50b62e3787d050c 2645 ocaml-domainslib_0.5.2-3.dsc
 2e2d42d37361c3052ae6b00605bd317e6b9fbc139c1ab831a120e2639948ac26 3408 ocaml-domainslib_0.5.2-3.debian.tar.xz
 24c886312c682d9ae2ce9b665aca61a45d9e4964a15fbaaba8bbd3f2ad0c06ab 48732 ocaml-domainslib_0.5.2-3.git.tar.xz
 5a74daf9e3997a110ec3079516fe18934c2c9c1df9477e3f3b30a6612ca47101 17760 ocaml-domainslib_0.5.2-3_source.buildinfo
Files:
 0bff77bb4f548e17397d9434cc2ca6bc 2645 ocaml optional ocaml-domainslib_0.5.2-3.dsc
 14965e16d4660b37a0200294ce109267 3408 ocaml optional ocaml-domainslib_0.5.2-3.debian.tar.xz
 8df9f1bbe4171bfcbb5116b906ebc408 48732 ocaml None ocaml-domainslib_0.5.2-3.git.tar.xz
 947cef0012ba04111429fa84aae7d395 17760 ocaml optional ocaml-domainslib_0.5.2-3_source.buildinfo
Git-Tag-Info: tag=aedc4409c3324830639311affd86e66a17f0b217 fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stéphane Glondu <steph@glondu.net>
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmq7Z9kACgkQYG0ITkaD
wHkPnxAA6L17PwM/f9v7MDmy5qGg5yIwhDfzCX97pzZ62t72QVZP1quedvZE2KMo
w2RM8oS31ceEUoq9dC1w1kZHHkBbyaTCacdzfwVwVxnnmfuWfqvJ5CiKm4OF7ofg
b9oNDDAyjtZBJDHsNKzlsnXK1Yk5w+BX+ZO//bHnPImzpAvf3mdF+GzP/iN0Pp72
EZgz6AZ7BreFpY5F6uKEAEzoNUERjFc3AJ4mLieDQt3EAdkS5sb0Jn/rejp6T03f
M5aVQViFatGaLm3dCOq2+9MLgMilDE9c6Swx5QaFlSIdPlO9hWIJCTrB+pKhZKJI
ifB0H4mlJRzQyWoVqlDjGojfB/ilNP6fwiSqqNYzqf5Q14lIFS2mlf6YjsvYoGC1
5Z/sslyGejv0RTzvoKI55mrf4YUrBTadK79E2laKkWHUPAbwKKmVDckOsNab7LTP
T1B2oZlH6euHP4ICqqY/VkBpwz25A07I7YQKuqfzawQszDQ+ERgtktTvyCFsl+th
GH2nyaB5WZPrSWagx9ozK0my9V+R882h+f+fSUC4JR5ZUiUpOk6wdxmqHco4ej3j
dAjcUZempp1OPVoZjf/N12rEMMXugiNgxR+tutESSLjKyEUWOi5XQszxq+4B8GQ4
tE+rfBYWYFH2Re458N/StPECOGDepMMDwRy/O0ZV7Qd4f9AU7do=
=Gm9e
-----END PGP SIGNATURE-----