Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing frama-c on Mac


  • Subject: [Frama-c-discuss] installing frama-c on Mac
  • From: siegel at udel.edu (Stephen Siegel)
  • Date: Sun, 7 Apr 2013 09:17:45 -0700
  • In-reply-to: <CAOH62Jg8KeGbqL_L6-Co2RofRvT+KqkcTgTWv2yuzC7pE8aCQQ@mail.gmail.com>
  • References: <CAOH62JgFFuwTA_cQpPALG4wHx8-bmWGjPHN7+eji73Yooovqaw@mail.gmail.com> <CAOH62Jg8KeGbqL_L6-Co2RofRvT+KqkcTgTWv2yuzC7pE8aCQQ@mail.gmail.com>

I am trying to install Frama-C on Mac OS X 10.8.3.   I use Macports (sudo port install ...) whenever possible.  I ran into a problem attempting to install lablgtk2 with Macports, which involved pixbuf2 (see below).  Just wondering if anyone else has run into this or has any suggestions.  Thanks,
Steve


cat /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_graphics_gdk-pixbuf2/gdk-pixbuf2/main.log

...
:debug:activate activating directory: /opt/local/share/man
:debug:activate activating directory: /opt/local/share/man/man1
:debug:activate activating file: /opt/local/share/man/man1/gdk-pixbuf-csource.1.gz
:debug:activate activating file: /opt/local/share/man/man1/gdk-pixbuf-query-loaders.1.gz
:debug:activate Executing proc-post-org.macports.activate-activate-0
:info:activate dyld: Library not loaded: /opt/local/lib/libgio-2.0.0.dylib
:info:activate   Referenced from: /opt/local/bin/gdk-pixbuf-query-loaders
:info:activate   Reason: Incompatible library version: gdk-pixbuf-query-loaders requires version 3601.0.0 or later, but libgio-2.0.0.dylib provides version 3401.0.0
:error:activate org.macports.activate for port gdk-pixbuf2 returned: 
:debug:activate Error code: NONE
:debug:activate Backtrace: 
    while executing
"$post $targetname"
:info:activate Warning: targets not executed for gdk-pixbuf2: org.macports.activate
:error:activate Failed to install gdk-pixbuf2
:debug:activate could not read "/opt/local/share/man/man1/gdk-pixbuf-query-loaders.1.gz": no such file or directory
...