Bug 1520483 - why-jessie interface broken with FramaC
Summary: why-jessie interface broken with FramaC
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: why
Version: 27
Hardware: x86_64
OS: Linux
unspecified
unspecified
Target Milestone: ---
Assignee: Alan Dunn
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2017-12-04 14:58 UTC by Adrien Bustany
Modified: 2017-12-28 02:48 UTC (History)
2 users (show)

Fixed In Version: why-2.38-2.fc26 why-2.39-3.fc27
Clone Of:
Environment:
Last Closed: 2017-12-26 16:29:32 UTC
Type: Bug
Embargoed:


Attachments (Terms of Use)

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.


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