Estoy utilizando el terminal en un MacBook M1 de Apple. Estoy ejecutando el terminal con Rosetta, tratando de ser compatible para una herramienta que no es para ARM. La herramienta en sí es la herramienta UPPAAL para Mac OS X de 32 bits, versión 4.0.13 . El programa se abre pero me da un error al intentar utilizarlo:
Cannot run program "/Users/Me/Uppaal/bin-Darvin/server": error=86, Bad CPU type in executable
Estoy recibiendo este error si trato de usar el script y si trato de ejecutar manualmente los ejecutables, incluso si estoy tratando de ejecutarlos con "arch -x86_64" antes de ellos. Reconozco que el problema se debe probablemente a que mi ordenador está basado en ARM, mientras que éste no es probablemente un código ARM. Sin embargo, ¿sería posible solucionar esto con Rosetta o alguna herramienta similar? ¿Quizás Rosetta no funciona correctamente en mi ordenador?