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.)