source: CIVL/build_default.properties@ deb153b

1.23 2.0 main test-branch
Last change on this file since deb153b was 3ba2da1, checked in by Stephen Siegel <siegel@…>, 9 years ago

Merging in Yihao's bug fix for the memcpy undefined value checking
bug.

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

  • Property mode set to 100644
File size: 597 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=/Applications/eclipse/ticket758Branch
7hamcrest.jar=${root}/lib/hamcrest-core.jar
8jacoco.jar=${root}/src/jacoco/lib/jacocoant.jar
9junit.jar=${root}/lib/junit.jar
10antlr.jar=${root}/lib/antlr-4.4-complete.jar
11antlr.runtime.jar=${root}/lib/antlr-runtime-4.4.jar
12abc.jar=${workspace}/ABC/abc.jar
13gmc.jar=${workspace}/GMC/gmc.jar
14sarl.jar=${workspace}/SARL/sarl.jar
Note: See TracBrowser for help on using the repository browser.