source: CIVL/build_default.properties@ 20a83c7

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

added comments to build_default.properties; modified build.xml to use build_default.properties if build.properties is missing; updated INSTALL instructions accordingly.

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

  • Property mode set to 100644
File size: 510 bytes
Line 
1# This properties file will work fine for most users.
2# If you need to change anything, create your own file
3# called build.properties in this directory.
4# It will be read automatically in place of this one.
5root=/opt/vsl
6workspace=/Users/${user.name}/Documents/workspace
7hamcrest.jar=${root}/lib/hamcrest-core-1.3.jar
8jacoco.jar=${root}/src/jacoco/lib/jacocoant.jar
9junit.jar=${root}/lib/junit-4.11.jar
10abc.jar=${workspace}/ABC/abc.jar
11gmc.jar=${workspace}/GMC/gmc.jar
12sarl.jar=${workspace}/SARL/sarl.jar
Note: See TracBrowser for help on using the repository browser.