From d99dfdb3ffce55e493b30656b826586a92d28570 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Thu, 6 Jun 2024 17:04:04 +0200 Subject: [PATCH] Try to fix compatibility with x86_64 (Intel) macOS systems --- de.prob.core/src/de/prob/cli/CliStarter.java | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java index e11c7c9b..8d987d58 100644 --- a/de.prob.core/src/de/prob/cli/CliStarter.java +++ b/de.prob.core/src/de/prob/cli/CliStarter.java @@ -106,8 +106,12 @@ public final class CliStarter { // which is bad in our case, // because x86_64 probcli under Rosetta 2 is much slower than native arm64 probcli.) command.add("arch"); - command.add("-arm64"); - command.add("-x86_64"); + // Use the generic -64 option instead of -arm64, + // because -arm64 causes an "Unknown architecture" error on x86_64 systems + // (contrary to what the arch(1) man page suggests). + // -64 corresponds to -arm64 on arm64 systems and -x86_64 on x86_64 systems, + // so it's always safe to use. + command.add("-64"); } command.add(executable); // command.add("-ll"); -- GitLab