From 9da5aa8628d4e85fe234eabb8e710cc021c6fb4a Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 19 Jul 2024 15:41:12 +0200
Subject: [PATCH] Require Java 11 as expected by TLA Tools 1.8.0 development
version
---
.gitlab-ci.yml | 2 +-
tlatools/org.lamport.tlatools/build.gradle | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index eb9c706ab..a75c209c5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,4 +1,4 @@
-image: eclipse-temurin:8
+image: eclipse-temurin:11
variables:
GRADLE_ARGS: --no-daemon --stacktrace --warning-mode=all
diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle
index f39656b73..ef93cc2d6 100644
--- a/tlatools/org.lamport.tlatools/build.gradle
+++ b/tlatools/org.lamport.tlatools/build.gradle
@@ -6,8 +6,8 @@ project.version = '1.0.3-SNAPSHOT'
project.group = 'de.hhu.stups'
project.archivesBaseName = 'tlatools'
-project.sourceCompatibility = JavaVersion.VERSION_1_8
-project.targetCompatibility = JavaVersion.VERSION_1_8
+project.sourceCompatibility = JavaVersion.VERSION_11
+project.targetCompatibility = JavaVersion.VERSION_11
repositories {
mavenCentral()
--
GitLab