Bonjour,
J'ai installé spot sur macos(M2). Pour les logiciels cela a l'air de marcher. Par contre quand j'ai voulu uitiliser les bindings Python, j'ai eu des problèmes qui semblent dûs à l'architecture ARM. Voici mon test Python et le résulat:
----- import sys import os sys.path.insert(0, '/usr/local/lib/python3.10/site-packages') # homonymie avec un autre spot. import spot
f = spot.formula("FGa -> (GFb & GF(c & b & d & e))") ----- résultat ------- dali:~ filali$ cd /Users/filali ; /usr/bin/env /opt/homebrew/bin/python3 /Users/filali/.vscode/extensions/ms-python.python-2023.19.12901009/pythonFiles/lib/python/debugpy/adapter/../../debugpy/launcher 57565 -- /Users/filali/test_spot.py Traceback (most recent call last): File "/Users/filali/test_spot.py", line 4, in <module> import spot File "/usr/local/lib/python3.10/site-packages/spot/__init__.py", line 49, in <module> from spot.impl import * File "/usr/local/lib/python3.10/site-packages/spot/impl.py", line 10, in <module> from . import _impl ImportError: dlopen(/usr/local/lib/python3.10/site-packages/spot/_impl.cpython-310-darwin.so, 0x0002): tried: '/usr/local/lib/python3.10/site-packages/spot/_impl.cpython-310-darwin.so' (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64')), '/System/Volumes/Preboot/Cryptexes/OS/usr/local/lib/python3.10/site-packages/spot/_impl.cpython-310-darwin.so' (no such file), '/usr/local/lib/python3.10/site-packages/spot/_impl.cpython-310-darwin.so' (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64')) ------
Merci pour votre aide.
Mamoun Filali
PS (je pense avoir installé la version de dev.)
Mamoun FILALI-AMINE mamoun.filali@irit.fr writes:
ImportError: dlopen(/usr/local/lib/python3.10/site-packages/spot/_impl.cpython-310-darwin.so, 0x0002): tried: '/usr/local/lib/python3.10/site-packages/spot/_impl.cpython-310-darwin.so' (mach-o file, but is an incompatible architecture (have 'x86_64', need 'arm64')),
So it looks like you have compiled Spot with a compiler that produces binaries for the Intel architecture while Python is compiled for Arm?
I'm afraid I'm unfamiliar M2, I've just read that it is able to execute Intel binaries but I guess you cannot mix shared libraries with different architectures.
Best regards, Alexandre