Frama-C-discuss mailing list archives

jens.gerlach at first.fraunhofer.de (Jens Gerlach) · Sun, 27 Nov 2011 12:49:54 +0000

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

Frama-C-discuss mailing list archives

[Frama-c-discuss] installing Nitrogen release on Mac