--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on January 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Lab installation problem



On 01/13/2011 01:48 PM, Boris Hollas wrote:
> Hello,
>
> we have Frama-C/Jessie Boron installed from source (using make install)
> in a computer lab. Why stores gwhy.cache in /tmp with the the first user
> to start Jessie as owner. Any subsequent user can't use Jessie because
> he doesn't own gwhy.cache. What can be done about this?
>    

I'm surprised because such cache problems are supposed to be solved
a long time ago. In particular cache is disabled by default.

May be you're using a too old version of Why ?

A quick workaround may be to change the mode of this file:

chmod a+w /tmp/gwhy.cache

Still I don't understand how this could happen

- Claude

-- 
Claude March?                          | tel: +33 1 72 92 59 69
INRIA Saclay - ?le-de-France           | mobile: +33 6 33 14 57 93
Parc Orsay Universit?                  | fax: +33 1 74 85 42 29
4, rue Jacques Monod - B?timent N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |