Bug 2148391 - Missing runtime dependency ocaml-ppx-import
Summary: Missing runtime dependency ocaml-ppx-import
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: frama-c
Version: 37
Hardware: Unspecified
OS: Unspecified
unspecified
high
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2022-11-25 10:24 UTC by Kai A. Hiller
Modified: 2022-12-06 01:50 UTC (History)
2 users (show)

Fixed In Version: frama-c-26.0-1.fc37
Doc Type: If docs needed, set a value
Doc Text:
Clone Of:
Environment:
Last Closed: 2022-12-06 01:50:04 UTC
Type: Bug
Embargoed:


Attachments (Terms of Use)

Description Kai A. Hiller 2022-11-25 10:24:27 UTC
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:

Comment 1 Jerry James 2022-11-26 21:00:56 UTC
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.

Comment 2 Fedora Update System 2022-11-27 05:52:03 UTC
FEDORA-2022-23ea7d785f has been submitted as an update to Fedora 37. https://bodhi.fedoraproject.org/updates/FEDORA-2022-23ea7d785f

Comment 3 Fedora Update System 2022-11-28 02:31:04 UTC
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.

Comment 4 Fedora Update System 2022-12-06 01:50:04 UTC
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.


Note You need to log in before you can comment on or make changes to this bug.