[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1000491: marked as done (FTBFS with Why3 1.4.0)

Your message dated Wed, 23 Mar 2022 08:34:02 +0000
with message-id <E1nWwRO-000H3F-38@fasolo.debian.org>
and subject line Bug#1000491: fixed in frama-c 20211203-chromium-1
has caused the Debian Bug report #1000491,
regarding FTBFS with Why3 1.4.0
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.)


-- 
1000491: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1000491
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: frama-c
Version: 20201209+titanium-4.1
Severity: serious
Tags: ftbfs

Dear Maintainer,

Frama-c FTBFS with Why3 1.4.0:
> [...]
> File "src/plugins/wp/Why3Provers.ml", line 31, characters 19-61:
> 31 |       let config = Why3.Whyconf.load_default_config_if_needed config in
>                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> Error: Unbound value Why3.Whyconf.load_default_config_if_needed
> make[1]: *** [share/Makefile.generic:78: src/plugins/wp/Why3Provers.cmo] Error 2
> make[1]: *** Waiting for unfinished jobs....
> make[1]: Leaving directory '/<<PKGBUILDDIR>>'
> dh_auto_build: error: make -j4 returned exit code 2
> make: *** [debian/rules:45: binary-arch] Error 25
> dpkg-buildpackage: error: debian/rules binary-arch subprocess returned exit status 2

This may be fixed by the new upstream release v23 (Vanadium).


Cheers,

-- 
Stéphane


-- System Information:
Debian Release: bookworm/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 5.14.0-4-amd64 (SMP w/4 CPU threads)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

--- End Message ---
--- Begin Message --- 
Source: frama-c
Source-Version: 20211203-chromium-1
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 1000491@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: Tue, 22 Mar 2022 08:02:03 +0100
Source: frama-c
Architecture: source
Version: 20211203-chromium-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 1000491
Changes:
 frama-c (20211203-chromium-1) unstable; urgency=medium
 .
   * New upstream release. This release fixes FTBFS with why3 >= 1.4.0
     (closes: #1000491)
     - drop patch 0001-E-ACSL-avoid-cmx-dependencies-when-in-a-byte-only-ar
       which has been applied upstream.
     - refresh remaining patches
   * install: move libeacsl-dlmalloc.a from usr/lib to usr/lib/frama-c/e-acsl
   * d/copyright: remove some file patterns that no longer apply.
   * d/tests/wp: update call to "why3 config"
   * Standards-Version 4.6.0 (no change)
Checksums-Sha1:
 8e5bb20456069aa542968ef477083a5dee8a9028 2367 frama-c_20211203-chromium-1.dsc
 a83bf5d7cd318e8cc4b244c0113e6fe65f40b7b7 7874109 frama-c_20211203-chromium.orig.tar.gz
 e03987fedcea6440e3d5934734cbc4a5cfc77b28 15884 frama-c_20211203-chromium-1.debian.tar.xz
 76a56bec14da5e2f36dcd8ccf6f4fdfcc2a97ec4 13613 frama-c_20211203-chromium-1_source.buildinfo
Checksums-Sha256:
 a019264d6a1a2fac6f2c3ae4fa077b5ec2331825debcf44ff88102d17b12813b 2367 frama-c_20211203-chromium-1.dsc
 f679af29e0169bb55ea9b5823ed61c112be4a003b64ab894c82390d5b37e75e9 7874109 frama-c_20211203-chromium.orig.tar.gz
 adfdd2c9a896216f34e6392dac0fdd2284cb07439746c64755581989559eb84e 15884 frama-c_20211203-chromium-1.debian.tar.xz
 6a3b21c04a79c0cbf6a97d94a05a712bd453de6750423617eefec11d923520d0 13613 frama-c_20211203-chromium-1_source.buildinfo
Files:
 1379c9b1623c273c9b35ce13b0075278 2367 devel optional frama-c_20211203-chromium-1.dsc
 94a007badc034dc0ec4c09c51b13fa97 7874109 devel optional frama-c_20211203-chromium.orig.tar.gz
 e5e67031a4a4a5c15edf8a9e1bea8157 15884 devel optional frama-c_20211203-chromium-1.debian.tar.xz
 d8b76cf730b3b58057a5edf95a66c76a 13613 devel optional frama-c_20211203-chromium-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmI60ygACgkQdFxHZtTK
zf/JTA/9Hf56lk2ALhn7adzE3P3Na3dFq8fRcnHbwXLSm0FDKB5/QTgqQKWKg0Jw
OKs+nlwrrzUgK9TiuJ76h4T2mpIv6S3arxREpRxRlNkoc+mbolJpDLPHDmtOkMF4
cb4T6VLrLLtzuTQX8CrSf0IBFZknSfZeXOXgVTwEX0vH1VyG9387I84QPXTvZSlR
aAHPPLUnfbO+lr0ogVeL7+HceeF0G/g9vrZXlnl+wvRsJumaAQSM/EfeyWOltGrf
4CbsgZLIWLZsBpEq9wyUD7oAiLw7rhw3euq50kFyHjz5IOOIH8acrvznhuM/0iCD
1RJxj4tq/O9c4yrzCRs58RuHvCivYGtMzTCx/FxycWpsJUM5/1DDmqcQZZRo6bg5
C14EbJKai5pFu+ULRqX8xpnNoLhsa0Ty1xAfq8v1fUr24HCkmPcvz8K9XUWFgEmY
FMpmfdRy4sYlVql3Z9UbZoRd/B63vsh/JRXw+PYJuR+FPNRs3rWhCXughZeVfWkT
nQHjFRFJdtaEQzwuHQr+qKM7RTmri9B6quzT6VdoTOH7Ryr0FhHKAL3k94mtS/YV
nKtkJIK8sVm241s3VT8TdyAHw91HiGlizndYKyKXmOZIEThU/lmITxARkHhg7xvF
e+EH5bhwVyqhW4YQfQ8/Hdxc000Qr5ysH6pyKYXX+ub7vIr0/PM=
=tgBc
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: