--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on April 2013 ---
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 ...