[Termtools] runtime environments for provers (was: new mu-term)

[Carsten Otto]

On Tue, Nov 27, 2007 at 10:29:43AM +0100, Johannes Waldmann wrote:
> Another choice is of course to let the user choose.
> Matchbox has options (with defaults) "--solver=minisat --tmpdir=/tmp"

A common choice is the use of environment variables. If the variable TMP
(or TEMP?) is set use the specified directory for temporary files. If
not just use "/tmp" as a safe default.
-- 
Carsten Otto
c-otto at gmx.de
www.c-otto.de
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20071127/ec2a41ba/attachment.pgp