Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 209
    • Issues 209
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #258

Closed
Open
Created Apr 09, 2018 by mantis-gitlab-migration@mantis-gitlab-migration

opam install why3 failed

ID0002373: This issue was created automatically from Mantis Issue 2373. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0002373 Frama-C Opam public 2018-04-09 2018-07-11
Reporter agrcs Assigned To maroneze Resolution fixed
Priority normal Severity minor Reproducibility always
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

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

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking