1. Install a Java 7 SDK if you have not already. Go to ​http://www.oracle.com/technetwork/java/javase/downloads/ for the latest from Oracle. On linux, you can optionally sudo apt-get install openjdk-7-jdk.

Install Apache ant, if you don't already have it (​http://ant.apache.org).

2. Download the tgz archive of VSL dependencies from ​http://vsl.cis.udel.edu/tools/vsl_depend, choosing the right .tgz according to your platform:

vsl_linux32-1.0.tgz - 32-bit linux vsl_linux64-1.0.tgz - 64-bit linux vsl_osx64-1.0.tgz - 64-bit osx

Unzip the .tgz file and you will have the folder vsl. Move vsl to /opt (you might need to use sudo for this. Also, if you don't already have a directory called /opt, you will have to create it with mkdir /opt).

3. Install Eclipse IDE for Java/EE developers, available at ​http://www.eclipse.org/downloads/

Install an SVN plugin in Eclipse (such as Subversive) if you have not already.

4. Install the symbolic algebra and reasoning library SARL. In Eclipse, select New Project...from SVN, use the archive ​svn://vsl.cis.udel.edu/sarl. After entering that, open it up and select the "trunk". After checking out trunk, name the project "SARL". Then follow the instructions in the INSTALL file for Eclipse installation. Build the sarl.jar from within Eclipse by right-clicking (or ctrl-clicking) on the build.xml file and selecting Run As->Ant Build.

5. From within Eclipse, select New Project...from SVN. The archive is ​svn://vsl.cis.udel.edu/abc. After entering that, open it up and select the "trunk". (It is simplest to just check out the trunk for the Eclipse project.)

6. Check out the trunk, and create the project using the New Java Project Wizard as usual, naming it "ABC". The .project, .classpath, and other Eclipse meta-data are already in the SVN archive, saving you a bunch of work.

7. Navigate to Preferences -> Java -> Build Path -> ClassPath Variables, and then select New to create a classpath variable VSL, and specify its value to be /opt/vsl. Navigate to Preferences -> Run/Debug -> String Substitution -> New, and then define an entry vsl_lib and set its value to be /opt/vsl/lib.

8. If your VSL dependencies path is not in /opt/vsl, then you need to create a build.properties file by copying the content from build_default.properties and modifying the value of entry "root" to be the path to your VSL dependencies folder.

9. Do a clean build. Everything should compile. To build the jar, right click (or ctrl-click on Mac) on build.xml and select Run As->Ant Build.

10. To run the JUnit tests through Eclipse: Select Run->Run Configurations... Create a new JUnit configuration called "ABC Tests". Select "Run all tests in the selected project..." and navigate to the "test" folder in the ABC project. Under the Arguments tab, type "-ea" (without the quotes) into the VM arguments field, to enable assertion checking. Under the Environment tab, create an entry DYLD_LIBRARY_PATH (OS X) or LD_LIBRARY_PATH (linux), specify its value by clicking Variables and choose vsl_lib from the list, or you may type ${vsl_lib} in the value entry. Click "Run" to run the tests.