--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on November 2014 ---
We had a Frama-C Fluorine (20130601) release, Why3 Verification Platform 0.81 in a OS X Mountain Lion Version 10.8.2. In order to install the Neon release, we updated to: - OS X Yosemite Version 10.10 - XCode 6.1 - opam 1.2.0 - ocaml 4.02.1 After uninstalling the Fluorine release and updating and upgrading the OPAM, we executed the command "opam install frama-c", but an error occorred and the corresponding message is listed below. We tried to solve the problem following the lablgtk.2.18.3 troubleshooting (we installed the gtk+ 2.0 with "brew"). We tried the install the lablgtk.2.18.3 with brew and opam, but without success. We tried to install the frama-c again, but the same error remains. How to solve this problem? Best regards, Rovedy, Nanci ### stderr ### # + gcc -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -c -DG_DISABLE_ASSERT -DG_DISABLE_CAST_CHECKS -D_REENTRANT -DORBIT2=1 -D_REENTRANT -I/opt/X11/include -I/opt/X11/include/cairo -I/opt/X11/include/pixman-1 -I/opt/X11/include/libpng15 -I/opt/X11/include -I/opt/X11/include/freetype2 -I/opt/X11/include -I/opt/local/include/libglade-2.0 -I/opt/local/include/librsvg-2.0 -I/opt/local/includ...[truncated] # clang: error: unknown argument: '-fno-defer-pop' # make[1]: *** [ml_gdkpixbuf.o] Error 2 # make: *** [world] Error 2 =-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The following failed - install lablgtk.2.18.3 Due to the errors, the following have been cancelled - install ocamlgraph.1.8.5 - install frama-c.20140301 =-=- lablgtk.2.18.3 troubleshooting -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= => This package requires gtk+ 2.0 development packages installed on your system => To solve pkg-config issues, you may need to do 'export PKG_CONFIG_PATH=/opt/X11/lib/pkgconfig' (macports) or 'export PKG_CONFIG_PATH=/usr/local/lib/pkgconfig' (homebrew) and retry -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20141117/d621f08d/attachment.html>