Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002372Frama-CKernel > configurepublic2018-03-28 02:202018-03-28 09:51
Reportersthudium@mac.com 
Assigned Tovirgile 
PrioritynormalSeveritymajorReproducibilityalways
StatusassignedResolutionopen 
PlatformMacbook ProOSOS XOS Version10.3.3
Product VersionFrama-C 16-Sulfur 
Target VersionFixed in Version 
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.

- 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


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker