--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on April 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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
...