## Location of the root abc checkout
abc.loc=../abc
libs.loc=../libs

jastadd.loc=../../JastAddJ
jastadd.exts.loc=../../JastAddExtensions

# ---- shouldn't need to edit beneath this line ---- #
Java7Frontend=${jastadd.loc}/Java7Frontend
frontend=${jastadd.loc}/Java1.4Frontend
frontend1.5=${jastadd.loc}/Java1.5Frontend
javabackend=${jastadd.loc}/Java1.4Backend
itds=${jastadd.exts.loc}/IntertypeDeclarations
backend=${jastadd.exts.loc}/JimpleBackend
backend1.5=${jastadd.exts.loc}/Jimple1.5Backend

soot.loc=${libs.loc}/sootclasses-trunk.jar
jasmin.loc=${libs.loc}/jasminclasses-custom.jar