Update setup script

eisop-plume-lib · Apr 3, 2024 · 8ecb2e7 · 8ecb2e7
1 parent 10eaa83
commit 8ecb2e7
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.setup-CF.sh b/.setup-CF.sh
@@ -11,12 +11,11 @@ export JAVA_HOME=${JAVA_HOME:-$(dirname $(dirname $(readlink -f $(which javac)))
 
 git -C /tmp clone --depth 1 -q https://github.com/plume-lib/plume-scripts.git
 
-export JSR308="${JSR308:-$(cd .. && pwd -P)}"
 export CHECKERFRAMEWORK="${CHECKERFRAMEWORK:-$(pwd -P)/../checker-framework}"
 
 ## Build Checker Framework
 /tmp/plume-scripts/git-clone-related eisop checker-framework ${CHECKERFRAMEWORK}
 
-(cd $CHECKERFRAMEWORK && ./gradlew assemble)
+(cd $CHECKERFRAMEWORK && ./gradlew assembleForJavac)
 
 echo Exiting "$(cd "$(dirname "$0")" && pwd -P)/$(basename "$0")" in `pwd`