--- layout: fc_discuss_archives title: Message 37 from Frama-C-discuss on November 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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>

> 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)
> 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
> LDFLAGS: -L/usr/local/Cellar/libiconv/1.14/lib -L/usr/local/Cellar/gettext/
> 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
>
> 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
> 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
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111126/d805fc7d/attachment-0001.htm>