Dear Spot team,
I am trying to get Spot 2.7.4 running on macOS (tarball installation), the
command-line tools works properly on terminal, however, trying to run
Python and C++ examples does not work.
*For C++:* output from on-the-fly Kripke structure example (from
https://spot.lrde.epita.fr/tut51.html)
$ g++ -std=c++14 kripkeTest.cc -lspot -o kripkeTest
Undefined symbols for architecture x86_64:
"_bdd_addref_nc", referenced from:
bdd::operator=(bdd const&) in kripkeTest-6ae779.o
bdd::bdd(bdd const&) in kripkeTest-6ae779.o
bdd::bdd(int) in kripkeTest-6ae779.o
"_bdd_apply", referenced from:
bdd_apply(bdd const&, bdd const&, int) in kripkeTest-6ae779.o
"_bdd_delref_nc", referenced from:
bdd::operator=(bdd const&) in kripkeTest-6ae779.o
bdd::~bdd() in kripkeTest-6ae779.o
"_bdd_not", referenced from:
bdd_not(bdd const&) in kripkeTest-6ae779.o
"_main", referenced from:
implicit entry/start for main executable
ld: symbol(s) not found for architecture x86_64
clang: *error: *linker command failed with exit code 1 (use -v to see
invocation)
(I could only run helloword.cc example)
*For Python:* trying to run example on Kripke structure using source code
from
https://spot.lrde.epita.fr/ipynb/ltsmin-dve.html
$ python3
Python 3.7.3 (v3.7.3:ef4ec6ed12, Mar 25 2019, 16:39:00)
[GCC 4.2.1 (Apple Inc. build 5666) (dot 3)] on darwin
Type "help", "copyright", "credits" or "license"
for more information.
>> import spot
>> import spot.ltsmin
>> spot.ltsmin.require('divine')
divine not available
(I think there has something to do with the path because I have to manually
add spot directory into pythonpath in order to be able to import spot even
if I use ./configure, make, make install)
Any insights would be appreciated.
Best regards,
Jiraphapa J.