--- layout: fc_discuss_archives title: Message 38 from Frama-C-discuss on November 2011 ---
Hello, thanks for pointing me to homebrew for building Frama-c. However, "brew install atk glib pango cairo gdk-pixbuf" fails on Lion 10.7.2 with Error: Failed executing: ./configure --prefix=/usr/local/Cellar/atk/2.2.0 --disable-dependency-tracking --enable-introspection=no These existing issues may help you: https://github.com/mxcl/homebrew/issues/7654 Regards Jens On 26.11.2011, at 21:11, Ismael Vilas Boas wrote: well, i think that some dependencies here not installed, try update brew repo and try again: brew update if it doesn't work, try install manually, via brew, the three dependencies you need: brew install atk glib pango cairo gdk-pixbuf And retry, it may be a problem with dependencies order Ismael 2011/11/26 Stephen Siegel <siegel at udel.edu<mailto:siegel at udel.edu>> Thanks for you help. I'm making progress but ran into this problem (see below). I'm downloading new XCode now to see if it will solve the problem. I also removed /opt to get rid of all the Macports stuff in case that was interfering. -steve -------------------------------------- ~$ brew install frama-c Warning: You should upgrade to Xcode 3.2.6 ==> Installing frama-c dependency: gtk+ ==> Downloading http://ftp.gnome.org/pub/gnome/sources/gtk+/2.24/gtk+-2.24.6.tar File already downloaded in /Users/siegel/Library/Caches/Homebrew ==> ./configure --disable-debug --prefix=/usr/local/Cellar/gtk+/2.24.6 --disable checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes ... checking for BASE_DEPENDENCIES... no configure: error: Package requirements (glib-2.0 >= 2.27.3 atk >= 1.29.2 pango >= 1.20 cairo >= 1.6 gdk-pixbuf-2.0 >= 2.21.0) were not met: No package 'glib-2.0' found No package 'atk' found No package 'gdk-pixbuf-2.0' found Consider adjusting the PKG_CONFIG_PATH environment variable if you installed software in a non-standard prefix. Alternatively, you may set the environment variables BASE_DEPENDENCIES_CFLAGS and BASE_DEPENDENCIES_LIBS to avoid the need to call pkg-config. See the pkg-config man page for more details. ==> Exit Status: 1 http://github.com/mxcl/homebrew/blob/master/Library/Formula/gtk+.rb#L20 ==> Environment clang version 1.0.2 (http://llvm.org/svn/llvm-project/cfe/tags/Apple/clang-32 exported<http://llvm.org/svn/llvm-project/cfe/tags/Apple/clang-32%20exported>) Target: x86_64-apple-darwin10 HOMEBREW_VERSION: 0.8 HEAD: (none) HOMEBREW_PREFIX: /usr/local HOMEBREW_CELLAR: /usr/local/Cellar HOMEBREW_REPOSITORY: /usr/local HOMEBREW_LIBRARY_PATH: /usr/local/Library/Homebrew Hardware: dual-core 64-bit penryn OS X: 10.6.8 Kernel Architecture: i386 Ruby: 1.8.7-249 /usr/bin/ruby => /System/Library/Frameworks/Ruby.framework/Versions/1.8/usr/bin/ruby Xcode: 3.2.2 GCC-4.0: build 5493 GCC-4.2: build 5659 LLVM: build 2207 Clang: N/A MacPorts or Fink? false X11 installed? true ==> Build Flags CC: /usr/bin/gcc-4.2 CXX: /usr/bin/g++-4.2 LD: /usr/bin/gcc-4.2 CFLAGS: -O3 -march=core2 -msse4.1 -w -pipe CXXFLAGS: -O3 -march=core2 -msse4.1 -w -pipe CPPFLAGS: -I/usr/local/Cellar/libiconv/1.14/include -I/usr/local/Cellar/gettext/0.18.1.1/include<http://0.18.1.1/include> LDFLAGS: -L/usr/local/Cellar/libiconv/1.14/lib -L/usr/local/Cellar/gettext/0.18.1.1/lib<http://0.18.1.1/lib> MAKEFLAGS: -j2 PKG_CONFIG_PATH: /usr/local/Cellar/libiconv/1.14/lib/pkgconfig:/usr/local/Cellar/gettext/0.18.1.1/lib/pkgconfig<http://0.18.1.1/lib/pkgconfig> Error: Failed executing: ./configure --disable-debug --disable-dependency-tracking --prefix=/usr/local/Cellar/gtk+/2.24.6 --disable-glibtest These existing issues may help you: https://github.com/mxcl/homebrew/issues/7658 https://github.com/mxcl/homebrew/issues/8283 Otherwise, please report the bug: https://github.com/mxcl/homebrew/wiki/checklist-before-filing-a-new-issue We saved the configure log, please gist it if you report the issue: ~/Library/Logs/Homebrew/config.log ~$ On Nov 26, 2011, at 12:28 PM, Ismael Vilas Boas wrote: Hi, I made the package for homebrew that Pascal referred. If you want to use it to compile frama-c with GUI, you need to download the homebrew, running the script on terminal, /usr/bin/ruby -e "$(curl -fsSL https://raw.github.com/gist/323731)" then you must copy my script files, to be able to download and compile frama-c since they aren't yet published: cd /usr/local/Library/Formula/ sudo curl https://raw.github.com/ismaelvb/homebrew/890c894f26e826b71bc33c73bb1f5a4f393a0740/Library/Formula/gtk-gnutella.rb -o gtk-gnutella.rb sudo curl https://raw.github.com/ismaelvb/homebrew/master/Library/Formula/frama-c.rb -o frama-c.rb sudo curl https://raw.github.com/ismaelvb/homebrew/f0b08276fa4421adaee1b40c01065282306cb65a/Library/Formula/libgnomecanvas.rb -o libgnomecanvas.rb Then, and if everything is ok, you could only type: brew install frama-c And it should compile everything you need in the folder /usr/local/Cellar/frama-c. I also recommend to use sudo brew link frama-c to have it available in the PATH, ie. in the terminal without the full path. PS: It should compile ok in SL and Lion, the ones i tested. Ismael Vilas Boas _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss at lists.gforge.inria.fr<mailto:Frama-c-discuss at lists.gforge.inria.fr> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss at lists.gforge.inria.fr<mailto:Frama-c-discuss at lists.gforge.inria.fr> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss at lists.gforge.inria.fr<mailto:Frama-c-discuss at lists.gforge.inria.fr> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss