0 votos

UPPAAL: tipo de CPU incorrecto en el ejecutable

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?

1voto

yoliho Puntos 340

Los macs de Apple Silicon sólo pueden ejecutar código de 64 bits; los Intel de 64 bits se ejecutan a través de Rosetta.

Como dices en la pregunta estás intentando ejecutar una versión de 32 bits de UPPAAL. El mac no puede ejecutarlo y da el error esperado de Mal tipo de CPU en el ejecutable. Intel 32 bit y 64 bit son CPUs diferentes en lo que respecta a MacOS.

Mirando la página web de UPAALL necesitas ejecutar una versión de desarrollo de 4.1 o superior que es un ejecutable de 64 bits

AppleAyuda.com

AppleAyuda es una comunidad de usuarios de los productos de Apple en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X