Bug#1051485: frama-c FTBFS with why3 1.6.0
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: