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.
Proofpower mailing list