Anyone is welcome to contribute fixes to the ProofPower development. Patches are a convenient way of distributing bug fixes.
To apply a patch:
Download the compressed patch file into any directory of your choice, e.g., /tmp
Change directory to the ProofPower build directory, e.g.,
Uncompress the patch, piping the output into patch -p1 -b -B orig/, e.g.,
gunzip -c /tmp/patch-3.1.rda.20170310.diff.gz | patch -p1 -b -B orig/
This will update the relevant source files, taking back-up copies in the directory orig.
If you do accidentally overwrite the HTML index file. You can recreate it by rerunning ./configure as if you wanted to reinstall all the packages you have installed and then running ./install +d, which will just rebuild the HTML index file without building or installing any of the packages.
|Compressed Patch File||Patch Description File||patch-3.1.rda.20170310.diff.gz||Support build on Mac OS Sierra|