comparison src/tests/gov/nasa/jpf/configTestSite.properties @ 0:61d41facf527

initial v8 import (history reset)
author Peter Mehlitz <Peter.C.Mehlitz@nasa.gov>
date Fri, 23 Jan 2015 10:14:01 -0800
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:61d41facf527
1 # just a dummy for the config unit test
2
3 jpf.root=/Users/pcmehlitz/projects/jpf-v5
4
5 jpf.core = ${jpf.root}/jpf-core
6
7 #---------- installed extensions
8
9 ext.numeric=${jpf.root}/jpf-numeric
10 extensions=,${ext.numeric}
11
12 ext.swing=${jpf.root}/jpf-swing
13 extensions+=,${ext.swing}