Bug#1049958: marked as done (coccinelle: FTBFS on armhf - Fatal error: out of memory)
Your message dated Thu, 17 Aug 2023 12:06:21 +0000
with message-id <E1qWbld-003IMc-K7@fasolo.debian.org>
and subject line Bug#1049958: fixed in coccinelle 1.1.1.deb-4
has caused the Debian Bug report #1049958,
regarding coccinelle: FTBFS on armhf - Fatal error: out of memory
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
1049958: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1049958
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: coccinelle
Version: 1.1.1.deb-3
Severity: serious
Tags: sid ftbfs
User: debian-arm@lists.debian.org
Usertags: armhf
Hi,
coccinelle fails to build from source on armhf with a "out of memory"
error.
(1) The error seems to be a red herring given that the machine on
which I'm building the package has 32G of memory, of which only about 4G
are in use when the build fails.
(2) On armel the package builds correctly.
OCAMLOPT engine/ctlcocci_integration.ml
OCAMLOPT -o engine/engine.cmxa
Fatal error: out of memory
Aborted
make[1]: *** [Makefile:423: parsing_cocci/parser_cocci_menhir.cmx] Error 134
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_auto_build: error: make -j8 returned exit code 2
make: *** [debian/rules:24: binary-arch] Error 25
--- End Message ---
--- Begin Message ---
Source: coccinelle
Source-Version: 1.1.1.deb-4
Done: Stéphane Glondu <glondu@debian.org>
We believe that the bug you reported is fixed in the latest version of
coccinelle, 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 1049958@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 coccinelle 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)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 17 Aug 2023 13:35:00 +0200
Source: coccinelle
Architecture: source
Version: 1.1.1.deb-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1049958
Changes:
coccinelle (1.1.1.deb-4) unstable; urgency=medium
.
* Team upload
* Disable native code compilation on armhf (Closes: #1049958) and
riscv64
Checksums-Sha1:
f9c0bacfeb3dbe62d689a87a9884be7c78b58040 2210 coccinelle_1.1.1.deb-4.dsc
b710b53000ebba436413a3b7ace50ea0f2333ea2 12400 coccinelle_1.1.1.deb-4.debian.tar.xz
Checksums-Sha256:
abbd3180ad2b507dc52575714f5a594296016f6279ea63587c13fbb4711bf592 2210 coccinelle_1.1.1.deb-4.dsc
669ad0d63c0f2f252ac14c7ef2da749958abcd36d127f0ee0cfb3f4ba9b843b0 12400 coccinelle_1.1.1.deb-4.debian.tar.xz
Files:
257cb46bbe2312e8e2f09810ce289705 2210 devel optional coccinelle_1.1.1.deb-4.dsc
85479c72927cc91c499a5f2a4a12e8bf 12400 devel optional coccinelle_1.1.1.deb-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmTeCkgSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBXeEH/2dDyqm9vhkDgJzzkAT3hS5NbEYQ76RP
gJMqlTzNenkdtuBkx5l4YiemRxgoeKoy1+IWJqAhEO5KrdggLwwhQkzZ0X3Id5Gw
nROePW1wCW+efJKG25LB7DKqMsVBSo8b4zrehFWp5JJnzCB37UFK+iCUnIKHo/1A
QNVbPVqRHV5+ajNaiN+cCxklamKdTUKPwu7N+75uTs52Sxi4mUBSWUT0AI7Eeddh
njo9T4H9++mux1eAQpA1vkSdCxNvHrboBKrgBrVvyNZE+9WZjZEiyFHKH9i5kezl
TdOqAlGMf2n1joZOsqEJ24jrBOz3x3FrmV77ZMFfX4WDdrWrYWvPFFM=
=JOci
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: