Bug#979569: marked as done (frama-c ftbfs on armel, mipsel and mips64el)
Your message dated Fri, 08 Jan 2021 21:18:26 +0000
with message-id <E1kxz9O-000Bwa-Ht@fasolo.debian.org>
and subject line Bug#979569: fixed in frama-c 20201209+titanium-3
has caused the Debian Bug report #979569,
regarding frama-c ftbfs on armel, mipsel and mips64el
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.)
--
979569: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=979569
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package:src:frama-c
Version: 20201209+titanium-2
Severity: serious
Tags: sid bullseye
[...]
ocamlfind: Not supported in your configuration: ocamlopt
make[1]: *** [share/Makefile.generic:88: src/libraries/stdlib/extlib.cmx] Error 2
make[1]: *** Waiting for unfinished jobs....
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_auto_build: error: make -j4 returned exit code 2
--- End Message ---
--- Begin Message ---
Source: frama-c
Source-Version: 20201209+titanium-3
Done: Ralf Treinen <treinen@debian.org>
We believe that the bug you reported is fixed in the latest version of
frama-c, 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 979569@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated frama-c 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: SHA256
Format: 1.8
Date: Fri, 08 Jan 2021 21:32:55 +0100
Source: frama-c
Architecture: source
Version: 20201209+titanium-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 979569
Changes:
frama-c (20201209+titanium-3) unstable; urgency=medium
.
* Patch 0001-E-ACSL-avoid-cmx-dependencies-when-in-a-byte-only-ar.patch:
fix FTBFS on bytecode architectures (closes: #979569).
Thanks to André Maroneze for the patch
* Add Recommends libwhy3-ocaml-dev, as it is needed by frama-c to run why3.
* Test wp:
- add test-dependency libwhy3-ocaml-dev
- run why3 config
Checksums-Sha1:
d3798960a1951d34a589d4b2b4987a49eb4b3515 2367 frama-c_20201209+titanium-3.dsc
97aabdd2df5477d3366b9127e0fdfb6ae832e7cc 15924 frama-c_20201209+titanium-3.debian.tar.xz
a52e44d3c6b8939852e12861c0cd679066116baa 15723 frama-c_20201209+titanium-3_source.buildinfo
Checksums-Sha256:
72f884ba7dcb8fe28951899f76f015c07c0d826c84fe1149e94eaf3eb8c99911 2367 frama-c_20201209+titanium-3.dsc
cdb46bb4b366829f2083666d12975ec3dfb159139f243a46ac08483f4b244e88 15924 frama-c_20201209+titanium-3.debian.tar.xz
01b47ae4b32bc8cb89f6dbbed22bf0eeb0c6745185125cd823cd4a44a3ba0877 15723 frama-c_20201209+titanium-3_source.buildinfo
Files:
95012496c270a37380cf9a31f1dae33f 2367 devel optional frama-c_20201209+titanium-3.dsc
bc1250ec1e3442eefaca49f6e419b96c 15924 devel optional frama-c_20201209+titanium-3.debian.tar.xz
12c17ba925f16280694398cf8e2c46a5 15723 devel optional frama-c_20201209+titanium-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl/4yPsACgkQdFxHZtTK
zf9sgw//WqwYOGc12KOTawzpk9dMxa/0nEi2IglH14GvJ1GUtH9S8SKqgsXH2MYp
jQVY1PhcQUGgQSD8SG02Q1cqsBoRQvsIeQALsHg5qgUcxydaCsaGDp2LbKotq6gl
26MRHka4hlrSZIpy/b3hwG5tVhLHRPruXRDIXtCRXqcdwN4K9YAggW4boMqtqLRJ
RZZ64OMociF5mEnbwhazkFziRSnPLYE0N4euEgVmqgAtLwGsgurkhBdnnElkNNpK
2FWDb59uYuY7bS5HH8irBXfXByVtABm60SIMu2oEHIn3rtVTaLowZnpDxRnZENp9
8mQGmZxWmwn+RwI2qPKBwFeGMmGtW4hiCuDoZN6aO8reHXY6OMZP9asTRq9qS5lZ
qyAVzxrBRWMM2KmoxluJ4a7oTvdxEihEtxpTisu9GEjWta3YCMcckOgYfelu8rzE
dTlyImrDCPbZY4dD7rBWdgHUV8BKiKpnEFXTwCvOuOE+uNZD7qfxqSiNvbQznC2a
HAUCWVm5+NLCTSqJINHcJitb/Q6lCzpJFsnwGtigchz4LCnYxCWE7lDyUCJijTb0
KFfiGQDuL9pptakI7L1nTzXW19/vRxwO3vpmOSXITofVf1B97aJOB/6CLFigqBrl
gxyif6CHaAmj3oHXNFQaHT1KNSBeKeLF3+KhKJaauOZb8B0+GF8=
=2xtn
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: