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.