#How to build
- Download the Proof Pad source from one of the methods provided above.
- Download and compile
RSyntaxTextArea
. Export it to a .jar and add it to the build path for Proof Pad. - If you're not on OS X, download Orange Extensions and add that to the build path. (Orange stubs out the OS X specific function calls so that the OS X specific code doesn't have to be removed to compile on Windows/Linux. You could, alternatively, comment out the large block of code in Main.java surrounded by
if (isMac)
.) - Download ACL2 for your platform and unzip it somewhere.
- Edit the path to ACL2 in
GenerateCache.java
to point to your local installation of ACL2. Compile and run that file. It will producecache.dat
in the main project directory. - Compile and run
org.proofpad.Main
.
If you encounter any problems with these build instructions, email me at calebegg@gmail.com.