From c35c6c21c038deb4f911e88c15eecb0dab9bf258 Mon Sep 17 00:00:00 2001
From: Manuel Bentele <development@manuel-bentele.de>
Date: Fri, 7 Nov 2025 20:59:47 +0100
Subject: [PATCH 1/2] Add support for ARM64 target architecture on Linux

---
 .../BA_FeatureDependenciesCommon/feature.xml       | 14 +++++++++++++-
 .../BA_FeatureDependenciesDebugE4/feature.xml      |  9 ++++++++-
 .../BA_FeatureUltimateCommandLine/feature.xml      |  2 +-
 trunk/source/BA_FeatureUltimateCommon/feature.xml  | 12 +++---------
 trunk/source/BA_FeatureUltimateDebug/feature.xml   |  7 ++-----
 trunk/source/BA_FeatureWebBackend/feature.xml      |  2 +-
 trunk/source/BA_MavenParentUltimate/pom.xml        |  5 +++++
 7 files changed, 33 insertions(+), 18 deletions(-)

diff --git a/trunk/source/BA_FeatureDependenciesCommon/feature.xml b/trunk/source/BA_FeatureDependenciesCommon/feature.xml
index c7664bb6f25..164f525d642 100644
--- a/trunk/source/BA_FeatureDependenciesCommon/feature.xml
+++ b/trunk/source/BA_FeatureDependenciesCommon/feature.xml
@@ -4,7 +4,7 @@
       label="BA_FeatureDependenciesCommon"
       version="0.3.1"
       provider-name="Ultimate Program Analysis Team"
-      arch="x86_64">
+      arch="aarch64,x86_64">
 
    <plugin
          id="com.google.gson"
@@ -71,6 +71,12 @@
          os="linux"
          version="0.0.0"/>
 
+   <plugin
+         id="org.eclipse.cdt.core.linux.aarch64"
+         os="linux"
+         arch="aarch64"
+         version="0.0.0"/>
+
    <plugin
          id="org.eclipse.cdt.core.linux.x86_64"
          os="linux"
@@ -113,6 +119,12 @@
          id="org.eclipse.core.filesystem"
          version="0.0.0"/>
 
+   <plugin
+         id="org.eclipse.core.filesystem.linux.aarch64"
+         os="linux"
+         arch="aarch64"
+         version="0.0.0"/>
+
    <plugin
          id="org.eclipse.core.filesystem.linux.x86_64"
          os="linux"
diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
index 2e4a986b711..98dc0df037d 100644
--- a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
+++ b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
@@ -4,7 +4,7 @@
       label="BA_FeatureDependenciesDebugE4"
       version="0.3.1"
       provider-name="Ultimate Program Analysis Team"
-      arch="x86_64">
+      arch="aarch64,x86_64">
 
    <requires>
       <import feature="BA_FeatureDependenciesCommon"/>
@@ -231,6 +231,13 @@
          arch="x86_64"
          version="0.0.0"/>
 
+   <plugin
+         id="org.eclipse.swt.gtk.linux.aarch64"
+         os="linux"
+         ws="gtk"
+         arch="aarch64"
+         version="0.0.0"/>
+
    <plugin
          id="org.eclipse.swt.gtk.linux.x86_64"
          os="linux"
diff --git a/trunk/source/BA_FeatureUltimateCommandLine/feature.xml b/trunk/source/BA_FeatureUltimateCommandLine/feature.xml
index e28d1830fb9..fddd034683d 100644
--- a/trunk/source/BA_FeatureUltimateCommandLine/feature.xml
+++ b/trunk/source/BA_FeatureUltimateCommandLine/feature.xml
@@ -4,7 +4,7 @@
       label="BA_FeatureUltimateCommandLine"
       version="0.3.1"
       provider-name="Ultimate Program Analysis Team"
-      arch="x86_64">
+      arch="aarch64,x86_64">
 
    <requires>
       <import feature="BA_FeatureDependenciesCommon"/>
diff --git a/trunk/source/BA_FeatureUltimateCommon/feature.xml b/trunk/source/BA_FeatureUltimateCommon/feature.xml
index 17016763383..fffc85f57b6 100644
--- a/trunk/source/BA_FeatureUltimateCommon/feature.xml
+++ b/trunk/source/BA_FeatureUltimateCommon/feature.xml
@@ -5,7 +5,7 @@
       version="0.3.1"
       provider-name="Ultimate Program Analysis Team"
       os="linux,win32,macosx"
-      arch="x86_64">
+      arch="aarch64,x86_64">
 
    <requires>
       <import feature="BA_FeatureDependenciesCommon"/>
@@ -13,10 +13,7 @@
 
    <plugin
          id="de.uni_freiburg.informatik.ultimate.plugins.generator.icfgbuilder"
-         download-size="0"
-         install-size="0"
-         version="0.0.0"
-         unpack="false"/>
+         version="0.0.0"/>
 
    <plugin
          id="de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker"
@@ -184,10 +181,7 @@
 
    <plugin
          id="edu.uci.ics.jung"
-         download-size="0"
-         install-size="0"
-         version="0.0.0"
-         unpack="false"/>
+         version="0.0.0"/>
 
    <plugin
          id="de.uni_freiburg.informatik.ultimate.plugins.blockencoding"
diff --git a/trunk/source/BA_FeatureUltimateDebug/feature.xml b/trunk/source/BA_FeatureUltimateDebug/feature.xml
index 29eab45e5d5..ff58401d64f 100644
--- a/trunk/source/BA_FeatureUltimateDebug/feature.xml
+++ b/trunk/source/BA_FeatureUltimateDebug/feature.xml
@@ -5,7 +5,7 @@
       version="0.3.1"
       provider-name="Ultimate Program Analysis Team"
       os="linux,win32,macosx"
-      arch="x86_64">
+      arch="aarch64,x86_64">
 
    <requires>
       <import feature="BA_FeatureDependenciesDebugE4"/>
@@ -31,9 +31,6 @@
 
    <plugin
          id="edu.uci.ics.jung"
-         download-size="0"
-         install-size="0"
-         version="0.0.0"
-         unpack="false"/>
+         version="0.0.0"/>
 
 </feature>
diff --git a/trunk/source/BA_FeatureWebBackend/feature.xml b/trunk/source/BA_FeatureWebBackend/feature.xml
index adb70b028b9..c8d67e8fd16 100644
--- a/trunk/source/BA_FeatureWebBackend/feature.xml
+++ b/trunk/source/BA_FeatureWebBackend/feature.xml
@@ -4,7 +4,7 @@
       label="BA_FeatureWebBackend"
       version="0.3.1"
       provider-name="Ultimate Program Analysis Team"
-      arch="x86_64">
+      arch="aarch64,x86_64">
 
    <requires>
       <import feature="BA_FeatureDependenciesCommon" version="0.0.0"/>
diff --git a/trunk/source/BA_MavenParentUltimate/pom.xml b/trunk/source/BA_MavenParentUltimate/pom.xml
index f171c4993bd..e0be7963a6a 100644
--- a/trunk/source/BA_MavenParentUltimate/pom.xml
+++ b/trunk/source/BA_MavenParentUltimate/pom.xml
@@ -195,6 +195,11 @@
 							<ws>win32</ws>
 							<arch>x86_64</arch>
 						</environment>
+						<environment>
+							<os>linux</os>
+							<ws>gtk</ws>
+							<arch>aarch64</arch>
+						</environment>
 						<environment>
 							<os>linux</os>
 							<ws>gtk</ws>

From d3f26fb82a9942c06a7319e90d1a23275f72ba9c Mon Sep 17 00:00:00 2001
From: Manuel Bentele <development@manuel-bentele.de>
Date: Tue, 3 Feb 2026 15:23:42 +0100
Subject: [PATCH 2/2] Add support for ARM64 target architecture on macOS

---
 trunk/source/BA_FeatureDependenciesDebugE4/feature.xml | 7 +++++++
 trunk/source/BA_MavenParentUltimate/pom.xml            | 5 +++++
 2 files changed, 12 insertions(+)

diff --git a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
index 98dc0df037d..ba4565ee895 100644
--- a/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
+++ b/trunk/source/BA_FeatureDependenciesDebugE4/feature.xml
@@ -224,6 +224,13 @@
          id="org.eclipse.swt"
          version="0.0.0"/>
 
+   <plugin
+         id="org.eclipse.swt.cocoa.macosx.aarch64"
+         os="macosx"
+         ws="cocoa"
+         arch="aarch64"
+         version="0.0.0"/>
+
    <plugin
          id="org.eclipse.swt.cocoa.macosx.x86_64"
          os="macosx"
diff --git a/trunk/source/BA_MavenParentUltimate/pom.xml b/trunk/source/BA_MavenParentUltimate/pom.xml
index e0be7963a6a..78bd9c757c1 100644
--- a/trunk/source/BA_MavenParentUltimate/pom.xml
+++ b/trunk/source/BA_MavenParentUltimate/pom.xml
@@ -205,6 +205,11 @@
 							<ws>gtk</ws>
 							<arch>x86_64</arch>
 						</environment>
+						<environment>
+							<os>macosx</os>
+							<ws>cocoa</ws>
+							<arch>aarch64</arch>
+						</environment>
 						<environment>
 							<os>macosx</os>
 							<ws>cocoa</ws>