build.properties 455 Bytes
Newer Older
1
disl.home=${examples.basedir}/..
2 3 4
lib.path=${disl.home}/lib
bin.path=${disl.home}/bin

5
disl.launcher.path=${bin.path}/disl.py
6 7 8 9 10 11 12
disl.server.path=${lib.path}/disl-server.jar
shvm.server.path=${lib.path}/dislre-server.jar
shvm.dispatch.path=${lib.path}/dislre-dispatch.jar

src.app=src-app
src.inst=src-inst

13 14 15
build.dir=build
build.app=${build.dir}/app
build.inst=${build.dir}/inst
16

17 18
app.path=${build.dir}/example-app.jar
inst.path=${build.dir}/example-inst.jar