From e1da0f709949506821952307a97628ede6f8504b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= Date: Thu, 15 Jun 2023 09:49:19 -0500 Subject: [PATCH 1/4] Chore: Fix Gradle build flagging Java 8 compatibility as "obsolete" This breaks every other CI --- Source/DafnyRuntime/DafnyRuntimeJava/build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle b/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle index 6d234c952a2..22976c95f98 100644 --- a/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle +++ b/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle @@ -15,7 +15,7 @@ dependencies { } group = 'dafny.lang' -sourceCompatibility = '1.8' +sourceCompatibility = '1.9' tasks.withType(JavaCompile) { options.encoding = 'UTF-8' From f17e841864161b6bcd5cd5aa7d3da2ea87668ecf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= Date: Thu, 15 Jun 2023 10:15:44 -0500 Subject: [PATCH 2/4] Update build.gradle --- Source/DafnyRuntime/DafnyRuntimeJava/build.gradle | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle b/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle index 22976c95f98..3a6966bdc73 100644 --- a/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle +++ b/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle @@ -15,7 +15,8 @@ dependencies { } group = 'dafny.lang' -sourceCompatibility = '1.9' +sourceCompatibility = '1.11' +targetCompatibility = '1.8' tasks.withType(JavaCompile) { options.encoding = 'UTF-8' From 648ff91814a8798f65de98ce7bb47142f54bc783 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= Date: Thu, 15 Jun 2023 10:59:19 -0500 Subject: [PATCH 3/4] Update build.gradle --- Source/DafnyRuntime/DafnyRuntimeJava/build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle b/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle index 3a6966bdc73..a1198b32412 100644 --- a/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle +++ b/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle @@ -16,7 +16,7 @@ dependencies { group = 'dafny.lang' sourceCompatibility = '1.11' -targetCompatibility = '1.8' +targetCompatibility = '1.11' tasks.withType(JavaCompile) { options.encoding = 'UTF-8' From bfae54d94dd7119add2db9e8236848b6779842f2 Mon Sep 17 00:00:00 2001 From: Mikael Mayer Date: Thu, 15 Jun 2023 12:00:25 -0500 Subject: [PATCH 4/4] Reverted back to Java 8 and remove warning as errors --- .github/workflows/xunit-tests-reusable.yml | 2 +- Source/DafnyRuntime/DafnyRuntimeJava/build.gradle | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/xunit-tests-reusable.yml b/.github/workflows/xunit-tests-reusable.yml index 88c0e74856f..986766d1f6d 100644 --- a/.github/workflows/xunit-tests-reusable.yml +++ b/.github/workflows/xunit-tests-reusable.yml @@ -62,7 +62,7 @@ jobs: run: | chmod +x Binaries/z3/bin/z3* - name: Build - run: dotnet build -warnaserror --no-restore ${{env.solutionPath}} + run: dotnet build --no-restore ${{env.solutionPath}} - name: Run DafnyCore Tests run: dotnet test --no-restore --logger "console;verbosity=normal" --logger trx --collect:"XPlat Code Coverage" Source/DafnyCore.Test - name: Run DafnyLanguageServer Tests diff --git a/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle b/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle index a1198b32412..6d234c952a2 100644 --- a/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle +++ b/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle @@ -15,8 +15,7 @@ dependencies { } group = 'dafny.lang' -sourceCompatibility = '1.11' -targetCompatibility = '1.11' +sourceCompatibility = '1.8' tasks.withType(JavaCompile) { options.encoding = 'UTF-8'