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

[Frama-c-discuss] Rép: Re: installing Fluorine



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