On Friday 21 November 2008 06:00:18 Rob Arthan wrote:
> It seems to work for me. How is it failing?
A rewrite failed.
However, I went through it all again more carefully and it has now gone
through OK. Not sure which of the things I changed made the difference.
The first attempt was done in the ProofPower build src directory. This time I
did it in a separate directory so I could pack it up and send it to you.
This failed more radically because I had PPHOME set to the previous
When I set PPHOME correctly the build went through OK .Presumably it would
then also have worked in original build directory.
So if you pick up the right ProofPower because you happen to be in the right
place, but PPHOME is not right, proof scripts may then fail mysteriously?
Anyway, thanks for your help, all seems now well so far, I'll try a complete
rebuild of my own stuff.
Proofpower mailing list