Dear experts,

I have some problems trying to run proof on two machines which have a shared home directory. I notice that the output of proof, launched in the second machine is the same as the output of proof, launched in the first machine. This may be caused because the ~/.proof directory is the same.

I tried on the second machine to change the .proof directory in this way:

gEnv->SetValue( “ProofServ.Sandbox”, “/data02/testa/.proof”);

But again I see the wrong output and the /data02/testa/.proof directory is empty.

Could anybody help me?

Thanks,

Marianna.

Hi Marianna,

What do you mean exactly by ‘PROOF output’?

The directory where the log files are?

Are you using PROOF-Lite?

Cheers, Gerri