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

[Frama-c-discuss] installing Frama-C/Why/Jessie



Hello,

To have .opam in another place than ~/.opam you can do:

$ export OPAMROOT=/some/path/.opam/
$ opam init

Then you can install new compilers versions and packages in the new 
location as usual.

Mohamed.

-- 
Senior R&D Engineer, OCamlPro
Research Associate, VALS team, LRI.
http://www.iguer.info


Le 23/08/2014 20:26, Stephen Siegel a ?crit :
> David, thanks, your advice worked.
>
> BTW, I was wondering if there is a way to tell opam where to install things.  Right now it has put everything in my home directory in .opam, but I am trying to configure this machine for multiple users and would like to put things in a central place like /usr/local.  Is there a way to tell opam to do that, or should I just create symlinks or something like that?
> Thanks,
> Steve
>
> On Aug 22, 2014, at 3:22 AM, David MENTRE <dmentre at linux-france.org> wrote:
>
>> Hello,
>>
>> Le 21/08/2014 23:18, Stephen Siegel a ?crit :
>>> But things go wrong when installing why.  It starts by downgrading frama-c to 20130601
>> Sorry, I won't be very helpful but I warned about this issue of why-0.34 not in opam in June and apparently this has not been sorted out:
>>   http://lists.gforge.inria.fr/pipermail/why-discuss/2014-June/000690.html
>>
>> My advice would be to install everything with opam except Why that you should install manually. I've done it, I don't know if it works or not.
>>
>> Good luck!
>> Best regards,
>> david
>>
>> _______________________________________________
>> 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