settings.gradle

buildscript {
  if (JavaVersion.current() == JavaVersion.VERSION_1_8) {
    throw new Error("The Checker Framework can't be built with Java 8.")
  }
}

rootProject.name = 'checker-framework'
include 'checker'
include 'javacutil'
include 'dataflow'
include 'framework'
include 'checker-qual'
include 'checker-qual-android'
include 'checker-util'
include 'framework-test'
includeBuild ('../annotation-tools/annotation-file-utilities') {
  if (!file('../annotation-tools/annotation-file-utilities').exists()) {
    exec {
      executable 'checker/bin-devel/clone-related.sh'
    }
  }
}