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
0002373Frama-CKernelpublic2018-04-09 16:592018-04-11 11:01
Reporteragrcs 
Assigned Tocorrenson 
PrioritynormalSeverityminorReproducibilityalways
StatusfeedbackResolutionopen 
PlatformMacOSMac OSOS Version10.13.3
Product VersionFrama-C 16 Sulfur 
Target VersionFixed in Version 
Summary0002373: opam install why3 failed
DescriptionFollowing opam installation instructions at http://frama-c.com/install-sulfur-20171101.html#installing-frama-c-on-mac-os-x [^]
all ok when: opam install altgr-ergo why3=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫
[ERROR] The compilation of conf-gtksourceview failed at "pkg-config --short-errors --print-errors gtksourceview-2.0".

#=== ERROR while installing conf-gtksourceview.2 ==============================#
# opam-version 1.2.2
# os darwin
# command pkg-config --short-errors --print-errors gtksourceview-2.0
# path /Users/wenlongxie/.opam/system/build/conf-gtksourceview.2
# compiler system (4.06.1)
# exit-code 127
# env-file /Users/wenlongxie/.opam/system/build/conf-gtksourceview.2/conf-gtksourceview-1291-1872ec.env
# stdout-file /Users/wenlongxie/.opam/system/build/conf-gtksourceview.2/conf-gtksourceview-1291-1872ec.out
# stderr-file /Users/wenlongxie/.opam/system/build/conf-gtksourceview.2/conf-gtksourceview-1291-1872ec.err



=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫
The following actions were aborted
  ∗ install altgr-ergo 1.30
  ∗ install lablgtk 2.18.6
  ∗ install ocamlgraph 1.8.8
  ∗ install why3 0.88.3
  ∗ install why3-base 0.88.3
The following actions failed
  ∗ install conf-gtksourceview 2
No changes have been performed

=-=- conf-gtksourceview.2 troobleshooting -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫
=> This package relies on external (system) dependencies that may be missing. `opam depext conf-gtksourceview.2' may help
   you find the correct installation for your system.

ocaml is 4.06.1
opam is 1.2.2
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0006544)
virgile (developer)
2018-04-09 17:18

 disclaimer: I don't use MacOS X, hence I do not know to which extent opam supports this platform.

Did you try what opam is telling you at the end of the log, i.e. opam depext conf-gtksourceview.2 (opam depext conf-gtksourceview without the .2 should be sufficient though)? Basically, there is something wrong with the C libraries that Frama-C is using, and for which opam relies on external tools to do the installation. This should have been taken care of by the step 2 of the instructions, but it might be the case that some brew package changed a little bit. If opam's vision of the external world has been updated accordingly, the command above should get you back in track. Otherwise, I'm afraid that only someone with access to a MacOS X machine will be able to help you.
(0006545)
correnson (manager)
2018-04-11 11:01

 Hi, it seems that you have a problem with your gtk installation, not with your Frama-C !
Did the following step of the installation instructions really succeed on your machine ?

$ brew install gmp gtk+ gtksourceview libgnomecanvas

For info, on my Mac, I have this:

$ brew info gtksourceview
gtksourceview: stable 2.10.5 (bottled)
Text view with syntax, undo/redo, and text marks
https://projects.gnome.org/gtksourceview/ [^]
/usr/local/Cellar/gtksourceview/2.10.5_1 (229 files, 4.5MB)
  Poured from bottle on 2017-01-03 at 16:10:38
/usr/local/Cellar/gtksourceview/2.10.5_2 (230 files, 4.6MB)
  Poured from bottle on 2017-09-05 at 11:06:13
/usr/local/Cellar/gtksourceview/2.10.5_3 (230 files, 4.6MB) *
  Poured from bottle on 2018-03-26 at 11:39:10
From: https://github.com/Homebrew/homebrew-core/blob/master/Formula/gtksourceview.rb [^]
==> Dependencies
Build: pkg-config ✔, intltool ✘
Required: gettext ✔, gtk+ ✔, gtk-mac-integration ✔

This shall be enough for opam depext conf-gtksourceview.2 to be happy...

- Issue History
Date Modified Username Field Change
2018-04-09 16:59 agrcs New Issue
2018-04-09 17:18 virgile Note Added: 0006544
2018-04-09 17:18 virgile Assigned To => correnson
2018-04-09 17:18 virgile Status new => feedback
2018-04-11 11:01 correnson Note Added: 0006545

Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker