| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0002377 | Frama-C | Opam | public | 2018-05-30 23:04 | 2018-07-11 15:39 | ||||
| Reporter | ramsdell | ||||||||
| Assigned To | maroneze | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | closed | Resolution | fixed | ||||||
| Platform | i686 | OS | Fedora | OS Version | 28 | ||||
| Product Version | Frama-C 16-Sulfur | ||||||||
| Target Version | Fixed in Version | Frama-C 17-Chlorine | |||||||
| Summary | 0002377: Frama-C incompatible with Coq 8.8.0 | ||||||||
| Description | Installation with opam worked well except that it deleted my modern version of Coq! | ||||||||
| Steps To Reproduce | Install Coq and then install frama-c | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
maroneze (administrator) 2018-06-01 16:17 Last edited: 2018-06-01 16:17 |
This is due to a necessary constraint blacklisting Coq >= 8.7 for Frama-C 16 Sulfur, otherwise Frama-C won't compile. The way opam works is that, when it cannot solve a constraint, it will try in several ways, including downgrading existing packages, as in your case. We have no direct control over the process. This Stack Overflow question has some suggestions, but they do not always work: https://stackoverflow.com/questions/33351326 Anyway, with the just released Frama-C 17 Chlorine, the constraint is no longer there, so you should be able to install both Coq 8.8 and Frama-C: opam update opam install frama-c.20180501 |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2018-05-30 23:04 | ramsdell | New Issue | |
| 2018-05-30 23:04 | ramsdell | Status | new => assigned |
| 2018-05-30 23:04 | ramsdell | Assigned To | => maroneze |
| 2018-05-31 09:10 | signoles | Category | Graphical User Interface => Opam |
| 2018-06-01 16:17 | maroneze | Note Added: 0006553 | |
| 2018-06-01 16:17 | maroneze | Status | assigned => resolved |
| 2018-06-01 16:17 | maroneze | Fixed in Version | => Frama-C 17-Chlorine |
| 2018-06-01 16:17 | maroneze | Resolution | open => fixed |
| 2018-06-01 16:17 | maroneze | Note Edited: 0006553 | View Revisions |
| 2018-07-11 15:33 | signoles | Fixed in Version | Frama-C 17-Chlorine => Frama-C 16-Sulfur |
| 2018-07-11 15:34 | signoles | Status | resolved => closed |
| 2018-07-11 15:36 | signoles | Fixed in Version | Frama-C 16-Sulfur => Frama-C 17-Chlorine |
| 2018-07-11 15:36 | signoles | Status | closed => resolved |
| 2018-07-11 15:39 | signoles | Status | resolved => closed |
| Issue History |