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, type:
frama-c-gui \ -general-font "DejaVu Sans" \ -monospace-font "DejaVu Sans Mono" \ -slevel 10 first.c
Some known bugs specific to this binary distribution:
frama-c-gui \ -general-font "DejaVu Sans" \ -monospace-font "DejaVu Sans Mono" ...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.