| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0002372 | Frama-C | Kernel > configure | public | 2018-03-28 02:20 | 2018-03-28 09:51 |
|
| Reporter | sthudium@mac.com | |
| Assigned To | virgile | |
| Priority | normal | Severity | major | Reproducibility | always |
| Status | assigned | Resolution | open | |
| Platform | Macbook Pro | OS | OS X | OS Version | 10.3.3 |
| Product Version | Frama-C 16 Sulfur | |
| Target Version | | Fixed in Version | | |
|
| Summary | 0002372: coq and ocaml conflict |
| Description | I cannot install frame-c.
The error report says that the installed version of coq and ocaml conflict with frama-c.
See attached txt file. |
| Tags | No tags attached. |
|
| Attached Files |  install framac terminal text.txt [^] (1,422 bytes) 2018-03-28 02:20 [Show Content] [Hide Content]Last login: Tue Mar 27 16:33:59 on ttys001
Stephens-MacBook-Pro:~ sthudium$ opam install frama-c
The following dependencies couldn't be met:
- frama-c -> coq
- frama-c -> frama-c-base (= 20150201 | = 20151002 | = 20160502 | = 20161101 | = 20170501)
Your request can't be satisfied:
- coq.8.7.0 is in conflict with frama-c.20171101
- coq.8.7.1 is in conflict with frama-c.20171101
- coq.8.7.1+1 is in conflict with frama-c.20171101
- coq.8.7.1+2 is in conflict with frama-c.20171101
- coq.8.7.2 is in conflict with frama-c.20171101
- frama-c-base.20150201 is not available because your system doesn't comply with ocaml-version >= "4.0" & ocaml-version != "4.02.0" & ocaml-version < "4.04.0".
- frama-c-base.20151002 is not available because your system doesn't comply with ocaml-version >= "4.0" & ocaml-version != "4.02.0" & ocaml-version != "4.02.2" & ocaml-version < "4.04.0".
- frama-c-base.20160502 is not available because your system doesn't comply with ocaml-version >= "4.00.1" & ocaml-version != "4.02.0" & ocaml-version != "4.02.2" & ocaml-version < "4.04.0".
- frama-c-base.20161101 is not available because your system doesn't comply with ocaml-version >= "4.02.3" & ocaml-version < "4.06".
- frama-c-base.20170501 is not available because your system doesn't comply with ocaml-version >= "4.02.3" & ocaml-version < "4.06".
No solution found, exiting
Stephens-MacBook-Pro:~ sthudium$
|
|
Relationships 
Relationships