Description of problem: Frama-C does not start and complains about missing dependency ppx_import instead. ocaml-ppx-import should be runtime requirement of the frama-c package. Version-Release number of selected component (if applicable): 25.0-6.fc37 Steps to Reproduce: 1. Install Frama-C on a machine that does not already have ocaml-ppx-import installed 2. Run Frama-C and observe it complain about missing package ppx_import Actual results: Frama-C outputs the error: [kernel] User Error: [findlib] package 'ppx_import' not found (required by `frama-c.kernel') Expected results: Frama-C starts without errors. Additional info:
Thanks for the bug report, Kai. I am working on an update to Frama-C 26.0 Iron, and will include a fix for this issue in that build.
FEDORA-2022-23ea7d785f has been submitted as an update to Fedora 37. https://bodhi.fedoraproject.org/updates/FEDORA-2022-23ea7d785f
FEDORA-2022-23ea7d785f has been pushed to the Fedora 37 testing repository. Soon you'll be able to install the update with the following command: `sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2022-23ea7d785f` You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2022-23ea7d785f See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
FEDORA-2022-23ea7d785f has been pushed to the Fedora 37 stable repository. If problem still persists, please make note of it in this bug report.