source: CIVL/build_default.properties@ d6665ab

1.23 2.0 main test-branch
Last change on this file since d6665ab was d6665ab, checked in by Manchun Zheng <zmanchun@…>, 13 years ago

Update .classpath: 1. to use VSL for specifying classpaths of required libraries; 2. to use ABC, GMC projects instead of their .jar's. Update build.xml to use build_default.properties which makes use of /opt/vsl. Update INSTALL instructions accordingly.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@227 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 294 bytes
Line 
1root=/opt/vsl
2workspace=/Users/zmanchun/Documents/workspace
3hamcrest.jar=${root}/lib/hamcrest-core-1.3.jar
4jacoco.jar=${root}/src/jacoco/lib/jacocoant.jar
5junit.jar=${root}/lib/junit-4.11.jar
6abc.jar=${workspace}/ABC/abc.jar
7gmc.jar=${workspace}/GMC/gmc.jar
8sarl.jar=${workspace}/SARL/sarl.jar
Note: See TracBrowser for help on using the repository browser.