--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on January 2017 ---
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>