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

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>