--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on January 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c-discuss Digest, Vol 103, Issue 2





Yes, I also did did it using opam under ubuntu 16.04 64





At 2017-01-06 19:00:09, frama-c-discuss-request at lists.gforge.inria.fr wrote:
>Send Frama-c-discuss mailing list submissions to
>	frama-c-discuss at lists.gforge.inria.fr
>
>To subscribe or unsubscribe via the World Wide Web, visit
>	http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss
>or, via email, send a message with subject or body 'help' to
>	frama-c-discuss-request at lists.gforge.inria.fr
>
>You can reach the person managing the list at
>	frama-c-discuss-owner at lists.gforge.inria.fr
>
>When replying, please edit your Subject line so it is more specific
>than "Re: Contents of Frama-c-discuss digest..."
>
>
>Today's Topics:
>
>   1. Problem building Frama-C Silicon from source	(ubuntu 16.04)
>      (Faraz Hussain)
>   2. Re: Problem building Frama-C Silicon from source	(ubuntu
>      16.04) (Faraz Hussain)
>
>
>----------------------------------------------------------------------
>
>Message: 1
>Date: Thu, 5 Jan 2017 13:14:19 -0700
>From: Faraz Hussain <fh.faraz.hussain at gmail.com>
>To: Frama-C public discussion <frama-c-discuss at lists.gforge.inria.fr>
>Subject: [Frama-c-discuss] Problem building Frama-C Silicon from
>	source	(ubuntu 16.04)
>Message-ID:
>	<CALOET+D9tjRo_FpPOD0ZebP6DGC_CYZwQYodHvcxgaAdmTYfrw at mail.gmail.com>
>Content-Type: text/plain; charset="utf-8"
>
>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-0001.html>
>
>------------------------------
>
>Message: 2
>Date: Thu, 5 Jan 2017 16:57:17 -0700
>From: Faraz Hussain <fh.faraz.hussain at gmail.com>
>To: Frama-C public discussion <frama-c-discuss at lists.gforge.inria.fr>
>Subject: Re: [Frama-c-discuss] Problem building Frama-C Silicon from
>	source	(ubuntu 16.04)
>Message-ID:
>	<CALOET+Dpi7j39n9dR=THUiLFS7JPwZZ8WDUuryowLCfL0jy7Pg at mail.gmail.com>
>Content-Type: text/plain; charset="utf-8"
>
>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-0001.html>
>
>------------------------------
>
>Subject: Digest Footer
>
>_______________________________________________
>Frama-c-discuss mailing list
>Frama-c-discuss at lists.gforge.inria.fr
>http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss
>
>------------------------------
>
>End of Frama-c-discuss Digest, Vol 103, Issue 2
>***********************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20170107/6baacf5c/attachment.html>