Frama-C make error
<p>My environment setup is Ubuntu 14.04 LTS x86_64:</p>

<p>After I "./configure" and followed by "make", errors as follows:</p>

<pre><code>Ocamlc       src/plugins/value/gui_eval.cmi
Ocamlc       src/plugins/value/gui_eval.cmo
Ocamlc       src/plugins/value/gui_callstacks_filters.cmi
Ocamlc       src/plugins/value/gui_callstacks_filters.cmo
Ocamlc       src/plugins/value/register_gui.cmi
Ocamlc       src/plugins/value/register_gui.cmo
File "src/plugins/value/register_gui.ml", line 224, characters 26-52:
Error: Unbound module GtkButtonProps
make: *** [src/plugins/value/register_gui.cmo] Error 2
</code></pre>

<p>Full log is given here:</p>

<p><a href="http://pastebin.com/7D0KRZh3" rel="nofollow">http://pastebin.com/7D0KRZh3</a></p>