1.23
2.0
main
test-branch
| 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.
|
|---|
| 5 | root=/opt/vsl
|
|---|
| 6 | workspace=/Users/${user.name}/Documents/workspace
|
|---|
| 7 | hamcrest.jar=${root}/lib/hamcrest-core.jar
|
|---|
| 8 | jacoco.jar=${root}/src/jacoco/lib/jacocoant.jar
|
|---|
| 9 | junit.jar=${root}/lib/junit.jar
|
|---|
| 10 | antlr.jar=${root}/lib/antlr-4.4-complete.jar
|
|---|
| 11 | antlr.runtime.jar=${root}/lib/antlr-runtime-4.4.jar
|
|---|
| 12 | abc.jar=${workspace}/ABC/abc.jar
|
|---|
| 13 | gmc.jar=${workspace}/GMC/gmc.jar
|
|---|
| 14 | sarl.jar=${workspace}/SARL/sarl.jar
|
|---|
| 15 | javaversion=11
|
|---|
| 16 | nthreads=4
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
