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] Mac OS X PPC Beryllium binary distribution

  • Subject: [Frama-c-discuss] Mac OS X PPC Beryllium binary distribution
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
  • Date: Mon, 7 Sep 2009 12:55:07 +0200
Hello again, all.

Please find at the following URL a binary version of
Frama-C Beryllium 20090901 (+ patch for compilation
problems from earlier e-mail) for Mac OS X Leopard (10.5)
on PowerPC computers.

http://www.nakido.com/ADBFB6A5C2115F22E7FB46FBB8B48F4AD5C1C377

This release is likely to be the last one with binaries for this  
platform.
In fact, because of hardware renewal, it may cease to be supported
before the next release arrives. Therefore, if you are likely to want
to use it in the next months, it would be wise to try it and check
that it works for you in the next weeks.

Pascal

The README:

This is the binary release of Frama-C for Mac OS X. It contains
software which is provided as binaries as a convenience only. Each piece
of software is covered by its respective license. The SVN repository
of MacPorts of Aug 26, 2009 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.

In addition to software from MacPorts, this package contains alt-ergo  
0.9.

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 directories /usr/local/Frama-C_Be/bin
and /usr/local/Frama-C_Be/macports/bin in your path.
Once all this is done, you are set up.

To play the tutorial from http://frama-c.cea.fr/try_out.html, type:

frama-c-gui -slevel 10 first.c


Some known bugs specific to this binary distribution:

* 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_Be/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.
If someone knows how to fix this (probably in the fontconfig files),
please contact me.

* The package should include a Mac OS X-ish theme, to make appearance,
keybindings, ... closer to a native Mac OS X application.

Pascal Cuoq (First.Last at cea.fr)