--- layout: fc_discuss_archives title: Message 3 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 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>