--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on January 2017 ---
Hi, I just successfully installed Frama-C Silicon using the recommended OPAM method. Being able to specify the OPAM install directory using 'opam init --root=DIR' really helped me. (This is because OPAM's default directory is .opam in the user's home directory, which, in my case, has limited space.) Therefore, I don't need to build framac from source right now. Regards Faraz. On Thu, Jan 5, 2017 at 1:14 PM, Faraz Hussain <fh.faraz.hussain at gmail.com> wrote: > 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/a48da4ee/attachment.html>