Hi Noah,

> I would think a better default location for the pocl cache (linux) would 
> be derived from $TMPDIR rather than $HOME.

It used to be under /tmp, but then someone had an issue with a 
multi-node NFS-mounted system with CPUs with incompatible ISA getting 
the same binaries, IIRC.

I'm really not sure what would be the best overall default for it . A 
/tmp/XXX dir that is unique per node?

This might be related: https://github.com/pocl/pocl/issues/430

BR,
-- 
Pekka

_______________________________________________
pocl-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/pocl-devel

Reply via email to