From 4056f04d4b1a74248bd6783e0c07cf8a0b6ccc97 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 2 Jul 2024 13:47:26 +0200
Subject: [PATCH] Update to Tycho 3.0.5 to make tests work again

tycho-surefire-plugin 2.7.5 tries to use the javax.annotation package,
which no longer exists in Rodin 3.9's Eclipse version (it was replaced
by jakarta.annotation). tycho-surefire-plugin 3.0.5 seems to work fine.
Tycho 3 and later require Java 17 at build time, but this isn't a
problem anymore, because Rodin 3.9 itself already requires Java 17.
---
 tycho_build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tycho_build.gradle b/tycho_build.gradle
index 5913c9d6..0134d9d4 100644
--- a/tycho_build.gradle
+++ b/tycho_build.gradle
@@ -12,7 +12,7 @@
 apply plugin: 'base'
 
 import groovy.io.FileType
-project.ext.tychoVersion = "2.7.5"
+project.ext.tychoVersion = "3.0.5"
 
 try {
 	workspacePath = workspacePath
-- 
GitLab