Compiler (http://compiler.santoslab.org)
Download and install Sireum by following the instructions at: http://www.sireum.org/download.
(Alternatively, you can install the compiler tools listed at: http://compiler.santoslab.org/tools)
Launch Compiler Development Environment (DE) (add
-hfor help to supply custom Eclipse command-line arguments such as configuring memory):sireum launch compilerdev
Pick a directory for your workspace when asked.
Add
SIREUM_HOME/apps/platform/javain Eclipe's Java Installed JREs preference page, and make it the default. In addition, set Eclipse's Java Compiler compliance level to 1.7. (If Eclipse shows you a dialog box indicating that "Subversive Native Library Not Available", it means that you do not have native SVN installed; click Ok to close the dialog box. You can correct this issue by setting SVN Interface Client to "SVNKit" in the Eclipse's Team->SVN preference page.)Download the StaticJava Compiler (sjc) project set file. Import the project set file. This should import two projects into your workspace:
There should not be any compile error.
Run the JUnit tests in
compiler-sjcandcompiler-examplesby right clicking each of the projects and select "Run As" and then "JUnit Test"; all tests should pass.