Frama-C Bug Tracking System
Main | My View | View Issues | Change Log | Roadmap | Repositories
  

View Issue Details [ Jump to Notes ] [ Issue History ] [ Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002372Frama-CKernel > configurepublic2018-03-28 02:202019-07-05 11:41
Reportersthudium@mac.com 
Assigned Tovirgile 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformMacbook ProOSOS XOS Version10.3.3
Product VersionFrama-C 16-Sulfur 
Target VersionFixed in VersionFrama-C 19-Potassium 
Summary0002372: coq and ocaml conflict
DescriptionI cannot install frame-c.

The error report says that the installed version of coq and ocaml conflict with frama-c.

See attached txt file.
TagsNo tags attached.
Attached Filestxt file icon install framac terminal text.txt [^] (1,422 bytes) 2018-03-28 02:20 [Show Content]

- Relationships

-  Notes
(0006542)
sthudium@mac.com (reporter)
2018-03-28 09:39

 I switch to an earlier version of opam "using opam switch 4.03.0".

The frama-c installation then completed.

Apparently, the latest versions of frama-c and opam are not compatible.
(0006543)
virgile (developer)
2018-03-28 09:51

 Indeed, the current Frama-C version cannot be installed against OCaml 4.06. You should normally be able to compile it against OCaml 4.05, though.
(0006774)
virgile (developer)
2019-05-23 17:17

 Frama-C 9.0 is compatible with all released OCaml version up to 4.07

- Issue History
Date Modified Username Field Change
2018-03-28 02:20 sthudium@mac.com New Issue
2018-03-28 02:20 sthudium@mac.com Status new => assigned
2018-03-28 02:20 sthudium@mac.com Assigned To => virgile
2018-03-28 02:20 sthudium@mac.com File Added: install framac terminal text.txt
2018-03-28 09:39 sthudium@mac.com Note Added: 0006542
2018-03-28 09:51 virgile Note Added: 0006543
2019-05-23 17:17 virgile Note Added: 0006774
2019-05-23 17:17 virgile Resolution open => fixed
2019-05-23 17:17 virgile Fixed in Version => Frama-C 19-Potassium
2019-05-23 17:18 virgile Status assigned => resolved
2019-07-05 11:41 signoles Status resolved => closed

Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker