###############################################################################
# Indus, a program analysis and transformation toolkit for Java.
# Copyright (c) 2001, 2007 Venkatesh Prasad Ranganath
# 
# All rights reserved.  This program and the accompanying materials are made 
# available under the terms of the Eclipse Public License v1.0 which accompanies 
# the distribution containing this program, and is available at 
# http://www.opensource.org/licenses/eclipse-1.0.php.
# 
# For questions about the license, copyright, and software, contact 
# 	Venkatesh Prasad Ranganath at venkateshprasad.ranganath@gmail.com
#                                 
# This software was developed by Venkatesh Prasad Ranganath in SAnToS Laboratory 
# at Kansas State University.
###############################################################################
bin=bin
dist=dist
build.dir=build
docs=docs
remote.jdk.link=http://java.sun.com/j2se/1.4.2/docs/api/
remote.soot.link=http://www.sable.mcgill.ca/soot/doc/
local.jdk.link=http://127.0.0.1/docs/java/jdk-1.4.2/api/
local.soot.link=http://127.0.0.1/docs/compilers/soot-2.0-api
jarfile=indus.jar
debuglevel=lines

# Change the following to reflect the actual source locations.
project.home.this=Indus
project.home.staticanalyses=StaticAnalyses
project.home.slicer=JavaSlicer

# Following are the local properties that can be defined in localbuild.properties.
## define these suitably
##jars.dir=/usr/local/javaclasses
##banderaCommons.jars.dir=/home/venku/workspace/projects/Misc/banderaNG/lib/banderaCommons
##banderaToolFramework.jars.dir=/home/venku/workspace/projects/Misc/banderaNG/lib/banderaToolFramework

## define docbook.base if you want to build docbook documents.
##docbook.base=/home/venku/workspace/eclipse/DocbookAnt

## define doxygen.jar if you want to build doxygen documents.
##doxygen.jar=${jars.dir}/doxygen.jar

##specify the external java documentation to be linked to the generated javadocs via this property
##this variable should not be undefined.
##custom.javadoc.links=-link http://location1 -link http://location2
custom.javadoc.links=

