build.properties

#version = 2.1

# name of the file containing the Code Generation Library
#cglib.file = cglib-nodep-2.2.jar

# version of the Code Generation Library
#cglib.version = 2.2

# name of the file containing the jdeb library
#jdeb.file = jdeb-0.7.jar

# directory containing source code
#dir.src = src

# directory containing source code of the precompiler
#dir.precompiler.src = precompiler

# directory containing all external libraries
#dir.lib = lib

# directory containing source code of tests and examples
#dir.test = test

# directory where Java binaries (class files) will be generated
#dir.build = bin

# directory where distribution packages (deb, rpm, jar) will be generated
#dir.dist = dist

# directory where Javadoc documentation will be generated
#dir.javadoc = javadoc

# temporary directory used to create a deb package
#dir.deb = debian

# temporary directory used to create an rpm package
#dir.rpm = rpm

# directory containing the documentation
#dir.doc = doc

# title of all Javadoc pages
#javadoc.title.window = Atomic RMI API

# title of the main Javadoc document
#javadoc.title.document = <h1>Atomic RMI</h1>

# footer of all Javadoc documents
#javadoc.bottom = 

# path for deploying generated jar files on Unix systems
#dir.system.jar = /usr/share/java

# path for deploying generated documentation on Unix systems
#dir.system.doc = /usr/share/doc

#example.host = localhost
#example.port = 1099

# name of the file containing the soot framework (precompiler only)
#soot.file = sootclasses-2.4.0.jar

# name of the file containing the jasmin library (precompiler only)
#jasmin.file = jasminclasses-2.4.0.jar

# name of the file containing the polyglot library (precompiler only)
#polyglot.file = polyglot-1.3.3.jar