beryllium-OSX.html 1.18 KB
Newer Older
1
---
2
3
layout: installation_page
version: beryllium-osx
4
5
6
title: Installation instructions for Frama-C Beryllium release
---

7
<h1>Mac OS X Leopard installation for Frama-C Beryllium (released on 2009-09-02)</h1>
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

<p>
You need to be familiar with Unix to make use of this binary distribution.
Frama-C is not at this time packaged as an application bundle.
Mac OS X 10.5 (Leopard) or 10.6 (Snow Leopard) is required.
The binaries are known not to work on Mac OS X 10.4 (Tiger).
</p>
<p>
Please untar the archive as root in /<br />
It will <b>not</b> work from another location.
You should probably install the included DejaVu fonts 
(see below).
You should also put the directory /usr/local/Frama-C_Be/bin in your path.<br />
Once all this is done, you are set up.
</p>
<p>
One known bug specific to this binary distribution:
</p>
<ul>
<li>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.
</li>
</ul>