--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on November 2011 ---
Hello, a test binary release is available: http://www.mediafire.com/?617jeg57723y8ca $ md5 frama-c-Nitrogen-20111001pl1-OSX_intel.tar.bz2 MD5 (frama-c-Nitrogen-20111001pl1-OSX_intel.tar.bz2) = 92a7862d765bce41f655d88dd0bc730b $ cksum frama-c-Nitrogen-20111001pl1-OSX_intel.tar.bz2 2147480529 137404520 frama-c-Nitrogen-20111001pl1-OSX_intel.tar.bz2 This release incorporates patchlevel1 from: http://blog.frama-c.com/public/nitrogen_patchlevel_1 The README file follows. Pascal __________________________ This is the binary release of Frama-C for Mac OS X. In addition to software from MacPorts, this package contains OCaml 3.12.1 and alt-ergo 0.93. Please untar the archive as root in / It will *not* work from another location. You should probably install the included DejaVu fonts (see the first bug in the following list). You should also put the directory /usr/local/Frama-C/bin in your path. Once all this is done, you are set up. To play the tutorial from http://frama-c.com/try_out.html, type: frama-c-gui -slevel 10 first.c If you wish to compile external plug-ins, you must use the provided OCaml compiler in /usr/local/Frama-C/ocaml-3.12.1p. The OCaml compiler was compiled on Snow Leopard. This package's binaries can be expected to work on Lion, but it is untested whether compilation of external plug-ins will work on Lion. Some known bugs with this binary distribution: * frama-c-gui requires the X11 server to be installed. * The display of unicode characters is broken with the default settings. A workaround is to install the "DejaVu Sans" and "DejaVu Sans Mono" fonts provided in the folder /usr/local/Frama-C/dejavu_fonts. To install the fonts, open the files "DejaVuSans.ttf" and "DejaVuSansMono.ttf" and click the button "Install font" that appears in the Font Book dialog. Note: this workaround shouldn't be necessary. When it is used by the system (as opposed to pango), the Monaco font (for instance) falls back to another more complete font for the unicode characters that are missing. * The package should include a Mac OS X-ish theme, to make appearance, keybindings, ... closer to a native Mac OS X application. * On first use, the GUI takes a long time: This is not specific to this distribution. Some fonts need to be generated in ~/.fontconfig. These are cached for subsequent use. The fine print: This distribution contains software provided as binaries as a convenience only. Each piece of software is covered by its respective license. The SVN repository of MacPorts of October 11, 2011 should be considered as the reference for the distributed software. The MacPorts SVN repository contains links to source code, for those pieces of software which make this a condition to re-distribution. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111129/af65804e/attachment.htm>