--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on January 2017 ---
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>