--- layout: fc_discuss_archives title: Message 40 from Frama-C-discuss on November 2011 ---
Hi, It looks like there's some problem with OSX default libpng, and it doesn't compile, at least, because of it. looks like there's some problem with brew package for gtk+, try to compile libpng by hand: curl -L -O http://sourceforge.net/projects/libpng/files/libpng15/1.5.6/libpng-1.5.6.tar.xz tar -xjf libpng-1.5.6.tar.xz cd libpng-1.5.6 && ./configure && make && make install && cd .. rm -rf libpng-1.5.6* and try to install brew again, it should do the trick. Ismael 2011/11/27 Stephen Siegel <siegel at udel.edu> > I'm stuck now on cairo. I have brew installed it, but it seems to be > missing the pdf option, which is required by gtk+. Can't seem to figure > out how to tell brew to use that option...any ideas? > Thx, > -s > > ~$ brew install frama-c > ==> 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 a thread-safe mkdir -p... ./install-sh -c -d > checking for gawk... no > checking for mawk... no > checking for nawk... no > checking for awk... awk > checking whether make sets $(MAKE)... yes > checking build system type... x86_64-apple-darwin10.8.0 > checking host system type... x86_64-apple-darwin10.8.0 > checking for native Win32... no > checking for gcc... /usr/bin/gcc-4.2 > checking whether the C compiler works... yes > checking for C compiler default output file name... a.out > checking for suffix of executables... > checking whether we are cross compiling... no > checking for suffix of object files... o > checking whether we are using the GNU C compiler... yes > checking whether /usr/bin/gcc-4.2 accepts -g... yes > checking for /usr/bin/gcc-4.2 option to accept ISO C89... none needed > checking for style of include used by make... GNU > checking dependency style of /usr/bin/gcc-4.2... none > checking whether we are using the GNU C++ compiler... yes > checking whether /usr/bin/g++-4.2 accepts -g... yes > checking dependency style of /usr/bin/g++-4.2... none > checking how to print strings... printf > checking for a sed that does not truncate output... /usr/bin/sed > checking for grep that handles long lines and -e... /usr/bin/grep > checking for egrep... /usr/bin/grep -E > checking for fgrep... /usr/bin/grep -F > checking for ld used by /usr/bin/gcc-4.2... /usr/bin/gcc-4.2 > checking if the linker (/usr/bin/gcc-4.2) is GNU ld... no > checking for BSD- or MS-compatible name lister (nm)... > /Developer/usr/bin/nm > checking the name lister (/Developer/usr/bin/nm) interface... BSD nm > checking whether ln -s works... yes > checking the maximum length of command line arguments... 196608 > checking whether the shell understands some XSI constructs... yes > checking whether the shell understands "+="... yes > checking how to convert x86_64-apple-darwin10.8.0 file names to > x86_64-apple-darwin10.8.0 format... func_convert_file_noop > checking how to convert x86_64-apple-darwin10.8.0 file names to toolchain > format... func_convert_file_noop > checking for /usr/bin/gcc-4.2 option to reload object files... -r > checking for objdump... objdump > checking how to recognize dependent libraries... pass_all > checking for dlltool... dlltool > checking how to associate runtime and link libraries... printf %s\n > checking for ar... ar > checking for archiver @FILE support... no > checking for strip... strip > checking for ranlib... ranlib > checking command to parse /Developer/usr/bin/nm output from > /usr/bin/gcc-4.2 object... ok > checking for sysroot... no > checking for mt... no > checking if : is a manifest tool... no > checking for dsymutil... dsymutil > checking for nmedit... nmedit > checking for lipo... lipo > checking for otool... otool > checking for otool64... no > checking for -single_module linker flag... yes > checking for -exported_symbols_list linker flag... yes > checking for -force_load linker flag... yes > checking how to run the C preprocessor... /usr/bin/gcc-4.2 -E > checking for ANSI C header files... yes > checking for sys/types.h... yes > checking for sys/stat.h... yes > checking for stdlib.h... yes > checking for string.h... yes > checking for memory.h... yes > checking for strings.h... yes > checking for inttypes.h... yes > checking for stdint.h... yes > checking for unistd.h... yes > checking for dlfcn.h... yes > checking for objdir... .libs > checking if /usr/bin/gcc-4.2 supports -fno-rtti -fno-exceptions... yes > checking for /usr/bin/gcc-4.2 option to produce PIC... -fno-common -DPIC > checking if /usr/bin/gcc-4.2 PIC flag -fno-common -DPIC works... yes > checking if /usr/bin/gcc-4.2 static flag -static works... no > checking if /usr/bin/gcc-4.2 supports -c -o file.o... yes > checking if /usr/bin/gcc-4.2 supports -c -o file.o... (cached) yes > checking whether the /usr/bin/gcc-4.2 linker (/usr/bin/gcc-4.2) supports > shared libraries... yes > checking dynamic linker characteristics... darwin10.8.0 dyld > checking how to hardcode library paths into programs... immediate > checking whether stripping libraries is possible... yes > checking if libtool supports shared libraries... yes > checking whether to build shared libraries... yes > checking whether to build static libraries... no > checking how to run the C++ preprocessor... /usr/bin/g++-4.2 -E > checking for ld used by /usr/bin/g++-4.2... /usr/bin/gcc-4.2 > checking if the linker (/usr/bin/gcc-4.2) is GNU ld... no > checking whether the /usr/bin/g++-4.2 linker (/usr/bin/gcc-4.2) supports > shared libraries... yes > checking for /usr/bin/g++-4.2 option to produce PIC... -fno-common -DPIC > checking if /usr/bin/g++-4.2 PIC flag -fno-common -DPIC works... yes > checking if /usr/bin/g++-4.2 static flag -static works... no > checking if /usr/bin/g++-4.2 supports -c -o file.o... yes > checking if /usr/bin/g++-4.2 supports -c -o file.o... (cached) yes > checking whether the /usr/bin/g++-4.2 linker (/usr/bin/gcc-4.2) supports > shared libraries... yes > checking dynamic linker characteristics... darwin10.8.0 dyld > checking how to hardcode library paths into programs... immediate > configure: creating ./config.lt > config.lt: creating libtool > checking for special C compiler options needed for large files... no > checking for _FILE_OFFSET_BITS value needed for large files... no > checking dependency style of /usr/bin/gcc-4.2... none > checking for nm... /Developer/usr/bin/nm > checking whether to enable maintainer-specific portions of Makefiles... no > checking for some Win32 platform... no > checking whether build environment is sane... yes > checking for library containing strerror... none required > checking for gcc... (cached) /usr/bin/gcc-4.2 > checking whether we are using the GNU C compiler... (cached) yes > checking whether /usr/bin/gcc-4.2 accepts -g... (cached) yes > checking for /usr/bin/gcc-4.2 option to accept ISO C89... (cached) none > needed > checking dependency style of /usr/bin/gcc-4.2... (cached) none > checking whether /usr/bin/gcc-4.2 and cc understand -c and -o together... > yes > checking whether make sets $(MAKE)... (cached) yes > checking for pkg-config... /usr/local/bin/pkg-config > checking pkg-config is at least version 0.9.0... yes > checking for BASE_DEPENDENCIES... yes > checking for CAIRO_BACKEND... yes > checking Whether to write dependencies into .pc files... no > checking for perl5... no > checking for perl... /usr/bin/perl > checking for indent... indent > checking for lstat... yes > checking for mkstemp... yes > checking for flockfile... yes > checking for getc_unlocked... yes > checking for localtime_r... yes > checking for _NL_TIME_FIRST_WEEKDAY... no > checking for _NL_MEASUREMENT_MEASUREMENT... no > checking for _NL_PAPER_HEIGHT... no > checking for _NL_PAPER_WIDTH... no > checking for sigsetjmp... yes > checking locale.h usability... yes > checking locale.h presence... yes > checking for locale.h... yes > checking for LC_MESSAGES... yes > checking libintl.h usability... yes > checking libintl.h presence... yes > checking for libintl.h... yes > checking for ngettext in libc... no > checking for bindtextdomain in -lintl... yes > checking for ngettext in -lintl... yes > checking for dgettext in -lintl... yes > checking for bind_textdomain_codeset... yes > checking for msgfmt... /usr/local/Cellar/gettext/0.18.1.1/bin/msgfmt > checking for dcgettext... yes > checking if msgfmt accepts -c... yes > checking for gmsgfmt... /usr/local/Cellar/gettext/0.18.1.1/bin/msgfmt > checking for xgettext... /usr/local/Cellar/gettext/0.18.1.1/bin/xgettext > checking for catalogs to be installed... af am ang ar as ast az az_IR be > be at latin bg bn bn_IN br bs ca ca at valencia crh cs cy da de dz el en_CA > en_GB eo es et eu fa fi fr ga gl gu he hi hr hu hy ia id io is it ja ka kk > kn ko ku li lt lv mai mi mk ml mn mr ms my nb nds ne nl nn nso oc or pa pl > ps pt pt_BR ro ru rw si sk sl sq sr sr at latin sr at ije sv ta te th tk tr tt > ug uk ur uz uz at cyrillic vi wa xh yi zh_CN zh_HK zh_TW > checking for extra flags to get ANSI library prototypes... none needed > checking for the BeOS... no > checking for HP-UX... no > checking for extra flags for POSIX compliance... none needed > checking for pkg-config... (cached) /usr/local/bin/pkg-config > checking pkg-config is at least version 0.16... yes > checking for GLIB - version >= 2.27.3... yes (version 2.28.8) > checking for bind_textdomain_codeset... (cached) yes > checking pwd.h usability... yes > checking pwd.h presence... yes > checking for pwd.h... yes > checking sys/time.h usability... yes > checking sys/time.h presence... yes > checking for sys/time.h... yes > checking for unistd.h... (cached) yes > checking ftw.h usability... yes > checking ftw.h presence... yes > checking for ftw.h... yes > checking for GNU ftw extensions... no > checking for ANSI C header files... (cached) yes > checking for an ANSI C-conforming const... yes > checking return type of signal handlers... void > checking for stdlib.h... (cached) yes > checking for unistd.h... (cached) yes > checking for sys/param.h... yes > checking for getpagesize... yes > checking for working mmap... yes > checking for mallinfo... no > checking for getresuid... no > checking for uid_t in sys/types.h... yes > checking for fd_set... yes, found in sys/types.h > checking for wchar.h... yes > checking for wctype.h... yes > checking for iswalnum... yes > checking if iswalnum() and friends are properly defined... no > checking for uxtheme.h... no > checking crt_externs.h usability... yes > checking crt_externs.h presence... yes > checking for crt_externs.h... yes > checking for _NSGetEnviron... yes > checking whether to build dynamic modules... yes > checking whether dynamic modules work... yes > checking immodules to build... > checking for sys/wait.h that is POSIX.1 compatible... yes > checking return type of signal handlers... (cached) void > checking sys/systeminfo.h usability... no > checking sys/systeminfo.h presence... no > checking for sys/systeminfo.h... no > checking sys/sysinfo.h usability... no > checking sys/sysinfo.h presence... no > checking for sys/sysinfo.h... no > checking for mediaLib 2.3... checking for mlib_ImageSetStruct in -lmlib... > no > checking for gdk-pixbuf-csource... /usr/local/bin/gdk-pixbuf-csource > checking for XOpenDisplay... yes > checking for XextFindDisplay... yes > checking for XRenderQueryExtension... yes > checking if <X11/extensions/XIproto.h> is needed for xReply... no > checking for XConvertCase... yes > checking for XInternAtoms... yes > checking for XAddConnectionWatch... yes > checking for XkbQueryExtension... yes > checking for XShapeCombineMask... yes > checking for XSyncQueryExtension... yes > checking for X11/extensions/sync.h... yes > checking for XShmAttach... yes > checking sys/ipc.h usability... yes > checking sys/ipc.h presence... yes > checking for sys/ipc.h... yes > checking sys/shm.h usability... yes > checking sys/shm.h presence... yes > checking for sys/shm.h... yes > checking X11/extensions/XShm.h... yes > checking for Xinerama support on XFree86... yes > checking Pango flags... -D_REENTRANT > -I/usr/local/Cellar/pango/1.28.4/include/pango-1.0 > -I/usr/local/Cellar/glib/2.28.8/include/glib-2.0 > -I/usr/local/Cellar/glib/2.28.8/lib/glib-2.0/include > -I/usr/local/Cellar/gettext/0.18.1.1/include-I/usr/local/Cellar/glib/2.28.8/include > -I/usr/local/Cellar/pixman/0.24.0/include/pixman-1 > -I/usr/local/include/freetype2 -I/usr/local/include > -I/usr/X11/include/cairo -I/usr/X11/include -I/usr/X11/include/libpng12 > -L/usr/local/Cellar/pango/1.28.4/lib -L/usr/local/Cellar/glib/2.28.8/lib > -L/usr/local/Cellar/gettext/0.18.1.1/lib -L/usr/X11/lib -lpangocairo-1.0 > -lpango-1.0 -lcairo -lgobject-2.0 -lgmodule-2.0 -lgthread-2.0 -lglib-2.0 > -lintl > Package libpng14 was not found in the pkg-config search path. > Perhaps you should add the directory containing `libpng14.pc' > to the PKG_CONFIG_PATH environment variable > Package 'libpng14', required by 'GdkPixbuf', not found > checking ATK flags... -D_REENTRANT > -I/usr/local/Cellar/atk/2.2.0/include/atk-1.0 > -I/usr/local/Cellar/glib/2.28.8/include/glib-2.0 > -I/usr/local/Cellar/glib/2.28.8/lib/glib-2.0/include > -I/usr/local/Cellar/gettext/0.18.1.1/include-I/usr/local/Cellar/glib/2.28.8/include -L/usr/local/Cellar/atk/2.2.0/lib > -L/usr/local/Cellar/glib/2.28.8/lib -L/usr/local/Cellar/gettext/ > 0.18.1.1/lib -latk-1.0 -lgobject-2.0 -lgthread-2.0 -lglib-2.0 -lintl > Package libpng14 was not found in the pkg-config search path. > Perhaps you should add the directory containing `libpng14.pc' > to the PKG_CONFIG_PATH environment variable > Package 'libpng14', required by 'GdkPixbuf', not found > checking for library containing gethostent... none required > checking for library containing setsockopt... none required > checking for library containing connect... none required > checking for struct sockaddr_un.sun_len... yes > checking for cups-config... /usr/bin/cups-config > checking cups/cups.h usability... yes > checking cups/cups.h presence... yes > checking for cups/cups.h... yes > checking for httpGetAuthString... yes > checking libpapi... checking for papiServiceCreate in -lpapi... no > checking cairo-pdf.h usability... no > checking cairo-pdf.h presence... no > checking for cairo-pdf.h... no > configure: error: > *** Can't find cairo-pdf.h. You must build Cairo with the pdf > *** backend enabled. > ==> Exit Status: 1 > http://github.com/mxcl/homebrew/blob/master/Library/Formula/gtk+.rb#L20 > ==> Environment > HOMEBREW_VERSION: 0.8 > HEAD: 783f073929173da86bea5e354607e4dcd4b0a9ce > 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.6 > GCC-4.0: build 5494 > GCC-4.2: build 5666 > LLVM: build 2335 > Clang: 1.7-77 > 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 3:11 PM, 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> > >> 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 >> > > _______________________________________________ > 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/20111127/37721b54/attachment-0001.htm>