--- layout: fc_discuss_archives title: Message 35 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



Yes.

On Aug 22, 2013, at 1:45 PM, Maria Christofi <maria.christofis at gmail.com> wrote:

> 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
> _______________________________________________
> 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