== Install ABC from source == 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. 2. Install Apache ant, if you don't already have it (http://ant.apache.org). 3. 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). 4. svn checkout svn://vsl.cis.udel.edu/abc/trunk abc 5. cd abc 6. 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. 7. Type "ant" and everything should build without warnings or errors and produce abc.jar. Type "ant test" to run a JUnit test suite. All tests should pass.