Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111127/280a1952/attachment-0001.htm>