| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0002373 | Frama-C | Opam | public | 2018-04-09 16:59 | 2018-07-11 15:40 | ||||
| Reporter | agrcs | ||||||||
| Assigned To | maroneze | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | closed | Resolution | fixed | ||||||
| Platform | Mac | OS | Mac OS | OS Version | 10.13.3 | ||||
| Product Version | Frama-C 17-Chlorine | ||||||||
| Target Version | Fixed in Version | Frama-C 17-Chlorine | |||||||
| Summary | 0002373: opam install why3 failed | ||||||||
| Description | Following 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 | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
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. |
|
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... |
|
maroneze (administrator) 2018-06-06 18:34 |
If you can upgrade to Frama-C 17 Chlorine, please consider trying it. You can also see if the following bug report can help you: https://bts.frama-c.com/view.php?id=2375 Also, considering this issue (https://github.com/Frama-C/Frama-C-snapshot/issues/8) on Github, it seems that the original installation problem may have been resolved. I'm marking this as resolved here in Mantis, if this is not the case feel free to change its status or post an update. |
| Notes |
| 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 | |
| 2018-06-06 18:29 | maroneze | Category | Kernel => Opam |
| 2018-06-06 18:34 | maroneze | Note Added: 0006563 | |
| 2018-06-06 18:34 | maroneze | Status | feedback => resolved |
| 2018-06-06 18:34 | maroneze | Resolution | open => fixed |
| 2018-06-06 18:34 | maroneze | Assigned To | correnson => maroneze |
| 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:37 | signoles | Status | closed => resolved |
| 2018-07-11 15:37 | signoles | Fixed in Version | Frama-C 16-Sulfur => |
| 2018-07-11 15:40 | signoles | Product Version | Frama-C 16-Sulfur => Frama-C 17-Chlorine |
| 2018-07-11 15:40 | signoles | Status | resolved => closed |
| 2018-07-11 15:40 | signoles | Fixed in Version | => Frama-C 17-Chlorine |
| Issue History |