# Annotations/Javari Project
# Global properties file that contains absolute paths to all known projects.

# This file must contain absolute paths for each project.
# Environment variables can be used, but must be enclosed in brackets
# and prefixed with 'env.' as such: ${env.PATH}

# ${workspace} contains the top-level checkouts.

# If this property file is included from elsewhere, ${workspace} should
# already be defined (and hopefully to an absolute pathname, such as by
# starting with ${basedir}); in that case, this definition has no effect.
workspace : ..

annotation-tools : ${workspace}/annotation-tools
afu : ${annotation-tools}/annotation-file-utilities
asmx : ${annotation-tools}/asmx
scene-lib : ${annotation-tools}/scene-lib

# Compiler.  For annotations-compiler builds, use:   antfile="make/build.xml"
annotations-compiler : ${workspace}/jsr308-langtools
annotations-disassembler : ${workspace}/jsr308-langtools

# Other tools
javarifier : ${workspace}/javarifier
checkers : ${workspace}/checker-framework/checkers
javari-annotated-jdk : ${checkers}/jdk/javari

# Annotations/Javari Project
# Global properties file that contains absolute paths to all known projects.

# This file must contain absolute paths for each project.
# Environment variables can be used, but must be enclosed in brackets
# and prefixed with 'env.' as such: ${env.PATH}

# ${workspace} contains the top-level checkouts.

# If this property file is included from elsewhere, ${workspace} should
# already be defined (and hopefully to an absolute pathname, such as by
# starting with ${basedir}); in that case, this definition has no effect.
workspace : ..

annotation-tools : ${workspace}/annotation-tools
afu : ${annotation-tools}/annotation-file-utilities
asmx : ${annotation-tools}/asmx
scene-lib : ${annotation-tools}/scene-lib

# Compiler.  For annotations-compiler builds, use:   antfile="make/build.xml"
annotations-compiler : ${workspace}/jsr308-langtools
annotations-compiler-jar : ${workspace}/jsr308-langtools/dist/lib/javac.jar
annotations-disassembler : ${workspace}/jsr308-langtools

# Other tools
javarifier : ${workspace}/javarifier
checkers : ${workspace}/checker-framework/checkers
javari-annotated-jdk : ${checkers}/jdk/javari

Add a separate variable for the javac.jar file. At the moment javarifier puts this into the JAVAC_JAR environment variable, which is then used by the insert-annotations-to-source script. Can we make this dependency more local?
Add a separate variable for the javac.jar file.
At the moment javarifier puts this into the JAVAC_JAR environment
variable, which is then used by the insert-annotations-to-source
script. Can we make this dependency more local?
