>>>>> Philip Rooke <[email protected]> writes:
> (As an aside, I am not quite sure what ./acprep proof does. Would you > expect me to be able to run it? I did try it and got a cmake error, > followed this failure with ./acprep gitclean which then failed with a git > error. But maybe this is just something local for your setup). Proof does a stress build, which I invoke with "tools/proof". I don't expect users to ever run this, since it's proven nearly impossible for me to keep it working over here. Nonetheless, it must fully pass before Ledger will be released. The more platforms I can get it to run to completion on, the better. John
