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