Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Lab installation problem

  • Subject: [Frama-c-discuss] Lab installation problem
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
  • Date: Thu, 13 Jan 2011 14:04:28 +0100
  • In-reply-to: <1294922885.2666.9.camel@iti27>
  • References: <1294922885.2666.9.camel@iti27>
> 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?

Curiously, intf/cache.ml does not refer to /tmp explicitly (perhaps the
file is opened in the directory pointed to by environment variable $TMP).
It's worth a try.

Regardless, src/hypotheses_filtering.ml does refer explicitly to /tmp,
so several instances of gwhy can probably not reliably be used on
the same computer.

Without recompiling, I only see chroot-based solutions. That would involve
copying (or more intelligently, hardlinking) a lot of files. Good luck.

Pascal