Downloading and Installing the RESOLVE Compiler/Verifier
System Requirements:
The RESOLVE Compiler/Verifier only requires Java Runtime Environment 5.0
(JRE 1.5) or greater be installed on the system. However, making use of
the Java source files that the RESOLVE Compiler creates requires the
Java compiler, which is part of the Java Development Kit (JDK). This tutorial
includes instructions on how to compile and run the resulting java files, so
the JDK should also be installed.
If necessary, click HERE
to go to the Sun Java download page to get the most recent JDK
for your platform.
Operating Specific instruction for setting up the JDK and RESOLVE Compiler/
Verifier are linked at the bottom of the page.
Required Files:
Installation:
The RESOLVE Compiler/Verifier will run from the command line on Unix
or Windows. It can be also used via a plugin with the Eclipse IDE (available
for both Windows and Unix), but the resulting java files must still be compiled
from the command line. Click one of the links below for detailed instructions
for each platform.
Unix Instructions
Windows Instructions
Eclipse IDE Instructions
|