--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on August 2013 ---
Did you do "add-apt-repository ppa:avsm/ppa && apt-get update " first? Maria Stephen Siegel <siegel at udel.edu> a ?crit?: >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 > > >_______________________________________________ >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