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
0002375Frama-COpampublic2018-05-23 12:142018-07-11 15:40
ReporterNewUser 
Assigned Tomaroneze 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSMac OSOS Version
Product Version 
Target VersionFixed in VersionFrama-C 17-Chlorine 
Summary0002375: Issues while installation of Frama-C using OPAM
DescriptionI am having trouble while installation of frame-C on MacOS. I am trying to install it via OPAM.
I have installed all the dependencies also e.g
(brew install gmp gtk+ gtksourceview libgnomecanvas) but still it is not working.
please see the attached file for detailed error message
TagsNo tags attached.
Attached Files? file icon Terminal Saved Output [^] (3,508 bytes) 2018-05-23 12:14 [Show Content]
? file icon framaC_Output [^] (9,610 bytes) 2018-06-04 13:37 [Show Content]
? file icon Frama-CUpgrade [^] (33,883 bytes) 2018-06-04 14:03 [Show Content]

- Relationships

-  Notes
(0006552)
maroneze (developer)
2018-05-28 18:26

 From the error messages, all I can see is that there seems to be an issue with pkg-config: either it is not installed, or not working properly

Did you run the command suggested at the end of the log? If so, what did that output? Please try:

    opam depext conf-pkg-config.1.0


For some context concerning opam:

- Some opam packages rely on external (as in, non-OCaml) packages, such as pkg-config. Whenever this is the case, opam cannot install the packages directly (since they're not OCaml code). opam has a convention of creating a helper package "conf-<package name>" to detect if the external package is installed. It serves only to ensure the dependency is there, but it doesn't actually install the external package.

- opam has a tool called "depext" which helps installing such external dependencies. This tool needs to be installed (via `opam install depext`). Then, typing `opam depext pkg-config` will make opam try to install the external package, usually by calling a native tool, such as apt, yum, or brew. You can do it yourself, the advantage of depext is that it knows (in most cases) the name of the package to be installed.

If you install pkg-config yourself, or via `opam depext pkg-config`, you might be able to then install Frama-C. If so, please report, so that we will add "pkg-config" to the list of packages to be installed.
(0006555)
NewUser (reporter)
2018-06-04 13:39

 No...the problem is not solved.
I have tried to reinstall all the things but now it couldn't install frame-c.
See the new attached file.
(0006556)
NewUser (reporter)
2018-06-04 14:04

 And if try to upgrade to the latest frame-c version then still error occurs.
see the attached upgrade file
(0006559)
maroneze (developer)
2018-06-05 10:20

 Thanks for the log files. These are different and mostly unrelated issues, but in any way they are progressing.

- In the first case (file from 13:39), Frama-C 17 Chlorine was not available, so you had a conflict related to Coq 8.8 (incompatible with all but the most recent Frama-C) and Frama-C, which prevented opam from finding a compatible version.

- In the second case (file from 14:04), the specific error message is this one:

# ocamlfind: Conflict with file: /Users/fauzia/.opam/system/lib/alt-ergo/altErgoLib.cmx

I'm not familiar enough with macOS to know exactly what causes it, but it seems it could be related to trying to install a package that is somehow already installed (?). It is possible that by completely uninstalling alt-ergo (manually erasing its directory if necessary afterwards), and then trying to install it again, the issue could be resolved.

I'll check with our macOS developers, but in any case, you can try to install alt-ergo on its own, sort any remaining issues, and then try to install Frama-C. It shouldn't be far now.
(0006560)
maroneze (developer)
2018-06-05 19:54

 A macOS colleague recommended starting from scratch to avoid issues with leftover files:

opam switch 4.06.1

opam init

eval `opam config env`

And then install Frama-C.
(0006561)
NewUser (reporter)
2018-06-05 23:15

 I have tried to reinstall and update all the things. But frama-c-gui was not working.
There was some problem with gtk on my laptop so I tried this command

gdk-pixbuf-query-loaders --update-cache

and frama-c-gui is working fine now, accidentally.
Thank you for all the help
(0006562)
maroneze (developer)
2018-06-06 08:31

 Good to know it worked in the end! It's unfortunate though that it was that hard.

We are working towards providing a Frama-C Homebrew package, which should make things easier in the future. It does require some dependencies to also exist as Homebrew packages though, which may slow things down.
(0006576)
signoles (manager)
2018-07-11 15:34

 Fixed in Frama-C Sulfur.

- Issue History
Date Modified Username Field Change
2018-05-23 12:14 NewUser New Issue
2018-05-23 12:14 NewUser File Added: Terminal Saved Output
2018-05-28 18:26 maroneze Note Added: 0006552
2018-05-28 18:26 maroneze Assigned To => maroneze
2018-05-28 18:26 maroneze Status new => assigned
2018-05-31 09:10 signoles Category Kernel => Opam
2018-06-04 13:37 NewUser File Added: framaC_Output
2018-06-04 13:39 NewUser Note Added: 0006555
2018-06-04 14:03 NewUser File Added: Frama-CUpgrade
2018-06-04 14:04 NewUser Note Added: 0006556
2018-06-05 10:20 maroneze Note Added: 0006559
2018-06-05 19:54 maroneze Note Added: 0006560
2018-06-05 23:15 NewUser Note Added: 0006561
2018-06-06 08:31 maroneze Note Added: 0006562
2018-06-06 08:31 maroneze Status assigned => resolved
2018-06-06 08:31 maroneze Resolution open => fixed
2018-07-11 15:33 signoles Fixed in Version => Frama-C 16-Sulfur
2018-07-11 15:34 signoles Status resolved => closed
2018-07-11 15:34 signoles Note Added: 0006576
2018-07-11 15:40 signoles Fixed in Version Frama-C 16-Sulfur => Frama-C 17-Chlorine

Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker