main
| Line | |
|---|
| 1 | # Configuration for civl virtual machine
|
|---|
| 2 | root=/opt/vsl
|
|---|
| 3 | hamcrest.jar=${root}/lib/hamcrest-core.jar
|
|---|
| 4 | jacoco.jar=${root}/src/jacoco/lib/jacocoant.jar
|
|---|
| 5 | junit.jar=${root}/lib/junit.jar
|
|---|
| 6 | antlr.jar=${root}/lib/antlr-4.4-complete.jar
|
|---|
| 7 | antlr.runtime.jar=${root}/lib/antlr-runtime-4.4.jar
|
|---|
| 8 | sarl.jar=/opt/repos/sarl/trunk/sarl.jar
|
|---|
| 9 | gmc.jar=/opt/repos/gmc/trunk/gmc.jar
|
|---|
| 10 | abc.jar=/opt/repos/abc/trunk/abc.jar
|
|---|
| 11 | javaversion=11
|
|---|
| 12 | nthreads=4
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.