From b1e814384332a9609c476c641fee6986bf634481 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Thu, 18 Jul 2024 14:07:50 +0200 Subject: [PATCH] Require Java 8 as expected by TLA Tools version 1.5.7 --- tlatools/build.gradle | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tlatools/build.gradle b/tlatools/build.gradle index 058e19f2b..0fd5da00e 100644 --- a/tlatools/build.gradle +++ b/tlatools/build.gradle @@ -6,8 +6,8 @@ project.version = '1.0.3-SNAPSHOT' project.group = 'de.hhu.stups' project.archivesBaseName = 'tlatools' -project.sourceCompatibility = '1.7' -project.targetCompatibility = '1.7' +project.sourceCompatibility = JavaVersion.VERSION_1_8 +project.targetCompatibility = JavaVersion.VERSION_1_8 repositories { mavenCentral() -- GitLab