tjh.dev
1diff --git a/build.gradle b/build.gradle
2index d90fe4733f..26d1e3755d 100644
3--- a/build.gradle
4+++ b/build.gradle
5@@ -24,7 +24,6 @@ plugins {
6 id "com.diffplug.spotless" version "6.25.0"
7
8 // EISOP Checker Framework
9- id "org.checkerframework" version "0.6.43"
10 }
11
12 // Configure this project for use inside IntelliJ:
13@@ -56,7 +55,6 @@ subprojects {
14 apply plugin: "com.diffplug.spotless"
15 apply plugin: "checkstyle"
16 apply plugin: "pmd"
17- apply plugin: "org.checkerframework"
18
19 group = rootProject.group
20 version = rootProject.version
21@@ -87,7 +85,6 @@ subprojects {
22 compileOnly "io.github.eisop:checker-qual:$eisop_version"
23 compileOnly "io.github.eisop:checker-util:$eisop_version"
24 testCompileOnly "io.github.eisop:checker-qual:$eisop_version"
25- checkerFramework "io.github.eisop:checker:$eisop_version"
26
27 testImplementation("ch.qos.logback:logback-classic:1.5.7")
28 testImplementation 'org.junit.jupiter:junit-jupiter-api:5.11.0'
29@@ -531,6 +528,7 @@ if (jacocoEnabled.toBoolean()) {
30
31 @Memoized
32 def getChangedFiles() {
33+ return []
34 // Get the target and source branch
35 def anchor = "git merge-base HEAD origin/main".execute().getText()
36
37diff --git a/key.core/build.gradle b/key.core/build.gradle
38index 054104438c..8d13452edf 100644
39--- a/key.core/build.gradle
40+++ b/key.core/build.gradle
41@@ -196,7 +196,7 @@ task generateVersionFiles() {
42 // find names/SHAs for commits
43 static def gitRevParse(String args) {
44 try {
45- return "git rev-parse $args".execute().text.trim()
46+ return "@version@"
47 } catch (Exception e) {
48 return ""
49 }
50diff --git a/key.ncore/build.gradle b/key.ncore/build.gradle
51index 04eabab0a8..a99e8639c1 100644
52--- a/key.ncore/build.gradle
53+++ b/key.ncore/build.gradle
54@@ -14,19 +14,3 @@ tasks.withType(Test) {
55 enableAssertions = true
56 }
57
58-
59-checkerFramework {
60- if(System.getProperty("ENABLE_NULLNESS")) {
61- checkers = [
62- "org.checkerframework.checker.nullness.NullnessChecker",
63- ]
64- extraJavacArgs = [
65- "-AonlyDefs=^org\\.key_project\\.logic",
66- "-Xmaxerrs", "10000",
67- "-Astubs=$rootDir/key.util/src/main/checkerframework:permit-nullness-assertion-exception.astub",
68- "-AstubNoWarnIfNotFound",
69- "-Werror",
70- "-Aversion",
71- ]
72- }
73-}
74diff --git a/key.util/build.gradle b/key.util/build.gradle
75index 382a103b60..7187dc0236 100644
76--- a/key.util/build.gradle
77+++ b/key.util/build.gradle
78@@ -4,18 +4,3 @@ dependencies {
79 implementation("org.jspecify:jspecify:1.0.0")
80 }
81
82-checkerFramework {
83- if(System.getProperty("ENABLE_NULLNESS")) {
84- checkers = [
85- "org.checkerframework.checker.nullness.NullnessChecker",
86- ]
87- extraJavacArgs = [
88- "-AonlyDefs=^org\\.key_project\\.util",
89- "-Xmaxerrs", "10000",
90- "-Astubs=$projectDir/src/main/checkerframework:permit-nullness-assertion-exception.astub:checker.jar/junit-assertions.astub",
91- "-AstubNoWarnIfNotFound",
92- "-Werror",
93- "-Aversion",
94- ]
95- }
96-}