Bug#1051485: frama-c FTBFS with why3 1.6.0

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#1051485: frama-c FTBFS with why3 1.6.0
From: Adrian Bunk <bunk@debian.org>
Date: Fri, 08 Sep 2023 18:21:03 +0300
Message-id: <[🔎] 169418646377.4585.16158802535733376892.reportbug@localhost>
Reply-to: Adrian Bunk <bunk@debian.org>, 1051485@bugs.debian.org

Source: frama-c
Version: 20220511-manganese-4
Severity: serious
Tags: ftbfs

https://buildd.debian.org/status/fetch.php?pkg=frama-c&arch=amd64&ver=20220511-manganese-4%2Bb5&stamp=1694181938&raw=0

...
File "src/plugins/wp/ProverWhy3.ml", line 1129, characters 12-36:
1129 |   let drv = Why3.Whyconf.load_driver (Why3.Whyconf.get_main config)
                   ^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound value Why3.Whyconf.load_driver
make[1]: *** [share/Makefile.generic:77: src/plugins/wp/ProverWhy3.cmo] Error 2

Reply to:

Follow-Ups:
- Processed: Bug#1051485 marked as pending in frama-c
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>
- Bug#1051485: marked as done (frama-c FTBFS with why3 1.6.0)
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

Prev by Date: Bug#1051484: dose3 FTBFS with ocamlgraph 2.0.0
Next by Date: Processed: Bug#1051475 marked as pending in ledit
Previous by thread: Bug#1051484: marked as done (dose3 FTBFS with ocamlgraph 2.0.0)
Next by thread: Processed: Bug#1051485 marked as pending in frama-c
Index(es):
- Date
- Thread