[ProofPower] OpenProofPower on Cygwin on Vista

Rob Arthan rda at lemma-one.com
Thu Feb 17 15:48:08 EST 2011

Building OpenProofPower-2.9.1w2 has been found to fail on Cygwin on Vista: a segmentation fault is reported in build.log and a stackdump pp-ml.exe.stackdump is producied beginning with the line

Exception: STATUS_ACCESS_VIOLATION at eip=610E384A

If this happens to you, then first of all make sure you aren't suffering from the problem with your Cygwin installation described here:


If that doesn't help, then you will need to change the file src/hol.mkf. I will put a patch on the website to do this soon, but that may not be for a few days (since I want to build a Vista system to test against first). If you would like a work-around sooner than that, then please e-mail me.

Many thanks to Anthony Hall for pointing this problem out and persevering through to a solution.



More information about the Proofpower mailing list