Skip to content

Commit

Permalink
Fix gradle warnings
Browse files Browse the repository at this point in the history
  • Loading branch information
wmdietl committed Jan 2, 2025
1 parent 17baa22 commit 274b4ac
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 6 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/gradle-build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -22,4 +22,4 @@ jobs:
distribution: 'temurin'
java-version: ${{ matrix.java }}
- name: ./gradlew build javadoc
run: ./gradlew build
run: ./gradlew build javadoc
7 changes: 3 additions & 4 deletions build.gradle
Original file line number Diff line number Diff line change
Expand Up @@ -18,8 +18,6 @@ ext.versions = [
checkerFramework: "3.48.2",
]


sourceCompatibility = 1.8
def checkerframework_local = false // Set this variable to [true] while using local version of checker framework.

dependencies {
Expand All @@ -43,6 +41,7 @@ dependencies {
}

tasks.withType(JavaCompile).all {
sourceCompatibility = 1.8
options.compilerArgs.add("-Xlint:all")
}

Expand Down Expand Up @@ -87,7 +86,7 @@ test {
testLogging {
showStandardStreams = true
// Show the found unexpected diagnostics and expected diagnostics not found.
exceptionFormat "full"
exceptionFormat = "full"
events "failed"
}
}
Expand All @@ -97,7 +96,7 @@ clean.doFirst {
}

task printClasspath {
description 'Prints the runtime classpath of the checker. ' +
description = 'Prints the runtime classpath of the checker. ' +
'When typechecking, put the output of this task on either the ' +
'processor path or the classpath of the project being type-checed.'
doLast {
Expand Down
6 changes: 5 additions & 1 deletion templatefora-checker-qual/build.gradle
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,11 @@ task copySources(type: Copy) {
include '**/org/checkerframework/checker/templatefora/qual/**'

// Make files read only.
fileMode(0444)
filePermissions {
user.read = true
group.read = true
other.read = true
}

into file('src/main/java')
}
Expand Down

0 comments on commit 274b4ac

Please sign in to comment.