--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on January 2017 ---
Hi, Opam is indeed the preferred way to install Frama-C, but thanks for the interesting feedback. We did check why installation was failing without Opam, and it seems that Debian/Ubuntu renames some OCamlfind Lablgtk packages. This will require some trickery in the configure to detect the name that should be used. On Fri, Jan 6, 2017 at 12:57 AM, Faraz Hussain <fh.faraz.hussain at gmail.com> wrote: > 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.cm >> <http://security_slicing_parameters.cm>i' failed* >> *make: *** [src/plugins/security_slicing/security_slicing_parameters.cm >> <http://security_slicing_parameters.cm>i] 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. >> >> >> >> >> >> > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss > -- Boris -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20170109/7b54c35b/attachment.html>