Previous topic

Welcome to MDCF DML’s documentation

Next topic

Language Specification and Implementation

This Page

Setting Up Development Environment

  1. Download and install Sireum by following the instructions at:

    (Alternatively, you can install Java 7 SDK, and Eclipse with Scala IDE for Scala 2.10 and EGit plugins.)

  2. Launch Sireum Development Environment (DE) (add -h for help to supply custom Eclipse command-line arguments such as configuring memory):

    sireum launch sireumdev

    Pick a directory for your workspace when asked. Moreover, agree when asked to run Scala diagnostics; enable JDT Weaving for Scala IDE and then quit DE; relaunch Sireum DE.

  3. Add SIREUM_HOME/apps/platform/java in 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.)

  4. Download the DML in Scala (DMS) project set file. If you are a MDCF team member at GitHub with SSH key installed, you can use the project set file with write access instead.

    Import the project set file . This should import some projects into your workspace such as sireum-lib and mdcf-dms-test. There should not be any compile error.

    If errors persist somehow, try cleaning all projects. If it still fails, exit Eclipse and relaunch Sireum DE as follows:

    sireum launch sireumdev --args -clean

    (Please contact the project owners if still unsuccessful.)

  5. Run the JUnit test in mdcf-dms-test by right clicking the project and select “Run As” and then “JUnit Test”; all tests should pass.

  6. If you plan to commit code to the repository, import the following in the respective Eclipse preference pages (the files should already in your workspace after following Step 4):

    Make sure to run Java source clean up before committing Java code. Similarly, make sure to run Scala source formatter before committing Scala code. You can run the clean up and formatter on all source in a project wide by right clicking the project and then selecting Source -> Clean up... and Source -> Format, respectively. This also works at source folders and packages.