--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on January 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problem building Frama-C Silicon from source (ubuntu 16.04)



Hi,

I am trying to install frama-c silicon (20161101) from source on Ubuntu
16.04. LTS.  I am stuck at  'sudo make' due to the following message:

*Ocamlc       src/plugins/security_slicing/security_slicing_parameters.cmi*
*ocamlfind: Package `lablgtk2.gnomecanvas' not found*
*share/Makefile.generic:70: recipe for target
'src/plugins/security_slicing/security_slicing_parameters.cmi' failed*
*make: *** [src/plugins/security_slicing/security_slicing_parameters.cmi]
Error 2*


I _do_ have the following packages already installed:

liblablgtk2-gl-ocaml
liblablgtk2-gnome-ocaml
liblablgtk2-ocaml
liblablgtk2-ocaml-dev
libgnomecanvas2-0
libgnomecanvas2-common
libgnomecanvas2-dev
libgnomecanvas2-dbg
ocaml
ocaml-native-compilers
graphviz
libzarith-ocaml-dev
libfindlib-ocaml-dev
liblablgtksourceview2-ocaml-dev
liblablgtk2-gnome-ocaml-dev


I will really appreciate help about what I may be missing here. Thanks.


Regards
Faraz.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20170105/df665226/attachment.html>