# Configuration for civl virtual machine
root=/opt/vsl
hamcrest.jar=${root}/lib/hamcrest-core-1.3.jar
jacoco.jar=${root}/src/jacoco/lib/jacocoant.jar
junit.jar=${root}/lib/junit-4.11.jar
sarl.jar=/opt/repos/sarl/trunk/sarl.jar
gmc.jar=/opt/repos/gmc/trunk/gmc.jar
abc.jar=/opt/repos/abc/trunk/abc.jar