On 18 Aug 2012, at 22:14, Jon Lockhart wrote: > Rob, > > I got a trouble shooting question for you. Been going through the learning > documentation this weekend, currently still on the first tutorial wanting to > make sure I soak it all in before moving to HOL and Z, but I seem to be > running into a problem with one of the commands. Every time I try to use the > save_and_quit() ML command in the execution Window the whole system freezes > up.
Thanks to Jon for pointing this out and proviing further details. I now have a fix for this problem, whereby what caused a busy wait on some operating systems will actually stop xpp responding to the user on a recent Debian release. I have attached a patch which should work on any version downloaded in the last 18 months or so. To use the patch, copy it into /tmp say, then go to your ProofPower build directory (where config and install live) and do: gunzip -c /tmp/patch-2.9.1w2.rda.120821.gz | patch -p1 -b -B orig/ then do: PPTARGETS=xpp ./configure ./install -d Regards, Rob.
patch-2.9.1w2.rda.120821.gz
Description: GNU Zip compressed data
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com