Bug 2148391

Summary:	Missing runtime dependency ocaml-ppx-import
Product:	[Fedora] Fedora	Reporter:	Kai A. Hiller <V02460>
Component:	frama-c	Assignee:	Jerry James <loganjerry>
Status:	CLOSED ERRATA	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	high	Docs Contact:
Priority:	unspecified
Version:	37	CC:	Andre.MARONEZE, loganjerry
Target Milestone:	---
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
Whiteboard:
Fixed In Version:	frama-c-26.0-1.fc37	Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2022-12-06 01:50:04 UTC	Type:	Bug
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:

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.