--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Fluorine



I ran into a problem trying to install Opam with apt-get on Ubuntu 12.10:

student at cisc614:~$ sudo apt-get install ocaml opam
[sudo] password for student: 
Reading package lists... Done
Building dependency tree       
Reading state information... Done
E: Unable to locate package opam
student at cisc614:~$

Does anyone know what would cause that? Thanks,
Steve


On Aug 22, 2013, at 6:30 AM, Fran?ois Bobot <francois.bobot at cea.fr> wrote:

> On 22/08/2013 11:22, Roberto Bagnara wrote:
> > On 08/22/13 09:44, Boris Yakobowski wrote:
> >> The section "REQUIREMENTS / Ubuntu>= Lucid Lynx 10.04" of the INSTALL
> >> file should list all such requirements for apt. (At least it did the
> >> last time we checked.) But basically, you just need Lablgtk2, which is
> >> supplied by liblablgtksourceview2-ocaml-dev and
> >> liblablgtk2-gnome-ocaml-dev. All other dependencies mentioned in this
> >> section are optional.
> >
> > Well, they are, but without them the system is much less interesting.
> > A few months ago we tried, with my students, to build everything
> > from sources.  One of our objective was to installa everything
> > without root provileges (e.g., under ~/Frama-C).
> > We failed because, while most (all?) dependencies support the
> > specification of installation prefixes, several of them do not
> > support finding their dependencies in non-standard places.
> > In the end, we gave up.  If someone finds a way to install
> > Fluorine under Ubuntu 12.04/12.10/13.04 I would be glad to know.
> 
> 
> If you want to install Frama-C without root privilege and all its ocaml dependecies, you can use opam which is a source-based package manager for OCaml.
> 
> http://opam.ocamlpro.com/index.html
> 
> There is an up to date Frama-C package. When opam is installed, it is as simple as
> 
> opam install frama-c
> 
> 
> Best,
> 
> -- 
> Fran?ois
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss