--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on January 2011 ---
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 |