After installation of frama-c using 'dnf install frama-c', it returns errors: $ frama-c [kernel] user error: cannot load plug-in 'gmp': cannot load module [kernel] user error: cannot load plug-in 'apron.apron': cannot load module [kernel] user error: cannot load plug-in 'apron.octMPQ': cannot load module [kernel] user error: cannot load plug-in 'apron.boxMPQ': cannot load module [kernel] user error: cannot load plug-in 'apron.polkaMPQ': cannot load module [kernel] user error: cannot load plug-in 'frama-c-value': cannot load module [kernel] user error: cannot load plug-in 'frama-c-jessie': cannot load module Even if I install why-jessie ('dnf install why-jessie'), it still shows the error about jessie: [kernel] user error: cannot load plug-in 'frama-c-jessie': cannot load module Version-Release number: frama-c-1.13-7.fc25 why-jessie-2.36-1.fc25
It looks like the modules have some undefined symbols. I will try to get this fixed ASAP. Sorry for the trouble.
The problem was actually in the ocaml-mlgmpidl package, which has not kept up with changes in ocaml infrastructure. I have updated it and also updated to the latest version of frama-c, since this breakage means nobody has been using the previous version on Fedora 26 anyway.
apron-0.9.11-6.1097.svn20160801.fc26, flocq-2.5.2-6.fc26, frama-c-1.14-1.fc26, gappalib-coq-1.3.2-4.fc26, ocaml-mlgmpidl-1.2.1-0.21.20150921.fc26, why-2.38-1.fc26, why3-0.87.3-3.fc26 has been pushed to the Fedora 26 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2017-7be55a4bd6
apron-0.9.11-6.1097.svn20160801.fc25, frama-c-1.14-1.fc25, ocaml-mlgmpidl-1.2.1-0.21.20150921.fc25, why-2.38-1.fc25 has been pushed to the Fedora 25 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2017-237df63a79
Problem disappeared. Thank you!
apron-0.9.11-6.1097.svn20160801.fc26, flocq-2.5.2-6.fc26, frama-c-1.14-1.fc26, gappalib-coq-1.3.2-4.fc26, ocaml-mlgmpidl-1.2.1-0.21.20150921.fc26, why-2.38-1.fc26, why3-0.87.3-3.fc26 has been pushed to the Fedora 26 stable repository. If problems still persist, please make note of it in this bug report.
apron-0.9.11-6.1097.svn20160801.fc25, frama-c-1.14-1.fc25, ocaml-mlgmpidl-1.2.1-0.21.20150921.fc25, why-2.38-1.fc25 has been pushed to the Fedora 25 stable repository. If problems still persist, please make note of it in this bug report.