Bug 1520483

Summary:	why-jessie interface broken with FramaC
Product:	[Fedora] Fedora	Reporter:	Adrien Bustany <adrien-xx-redhatbz>
Component:	why	Assignee:	Alan Dunn <amdunn>
Status:	CLOSED ERRATA	QA Contact:	Fedora Extras Quality Assurance <extras-qa>
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	27	CC:	amdunn, loganjerry
Target Milestone:	---
Target Release:	---
Hardware:	x86_64
OS:	Linux
Whiteboard:
Fixed In Version:	why-2.38-2.fc26 why-2.39-3.fc27	Doc Type:	If docs needed, set a value
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2017-12-26 16:29:32 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 Adrien Bustany 2017-12-04 14:58:22 UTC

Description of problem:
Invoking frama-c with the jessie plugin leads to an error message: "implementation mismatch on Project".

This was apparently already discussed with the upstream team in 2014, but no solution was found: https://lists.gforge.inria.fr/pipermail/why-discuss/2014-June/000689.html

Version-Release number of selected component (if applicable):
why-jessie-2.39-2.fc27.x86_64

Steps to Reproduce:
1. Install the frama-c and why-jessie
2. Run frama-c-gui -jessie file.c (where file.c is a random C file)

Comment 1 Adrien Bustany 2017-12-04 15:02:12 UTC

More recent discussions about this issue: https://lists.gforge.inria.fr/pipermail/why-discuss/2017-November/000713.html

I have little clue myself about OCaml, so I can't really tell why the opam version would be working, and the RPM version not...

Comment 2 Fedora Update System 2017-12-12 04:36:07 UTC

why-2.39-3.fc27 has been submitted as an update to Fedora 27. https://bodhi.fedoraproject.org/updates/FEDORA-2017-1f7e270688

Comment 3 Fedora Update System 2017-12-12 04:36:22 UTC

why-2.38-2.fc26 has been submitted as an update to Fedora 26. https://bodhi.fedoraproject.org/updates/FEDORA-2017-858d6ae577

Comment 4 Fedora Update System 2017-12-12 15:59:37 UTC

why-2.39-3.fc27 has been pushed to the Fedora 27 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-1f7e270688

Comment 5 Fedora Update System 2017-12-12 16:38:16 UTC

why-2.38-2.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-858d6ae577

Comment 6 Fedora Update System 2017-12-26 16:29:32 UTC

why-2.38-2.fc26 has been pushed to the Fedora 26 stable repository. If problems still persist, please make note of it in this bug report.

Comment 7 Fedora Update System 2017-12-28 02:48:26 UTC

why-2.39-3.fc27 has been pushed to the Fedora 27 stable repository. If problems still persist, please make note of it in this bug report.