Frama-C-discuss mailing list archives

ismael.vb at gmail.com (Ismael Vilas Boas) · Sun, 27 Nov 2011 16:13:19 +0000

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>

Frama-C-discuss mailing list archives

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