view 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
line wrap: on
line source

# just a dummy for the config unit test

jpf.root=/Users/pcmehlitz/projects/jpf-v5

jpf.core = ${jpf.root}/jpf-core

#---------- installed extensions

ext.numeric=${jpf.root}/jpf-numeric
extensions=,${ext.numeric}

ext.swing=${jpf.root}/jpf-swing
extensions+=,${ext.swing}