make install failing on Darwin
Received from Jan Křetínský.
Dear Alexandre,
I tried to install Spot on MacBook with Mac OS 10.10.5 (with current Python installed as suggested) and in the last "make install" phase it says the thing below. Am I doing something wrong?
Thanks, Jan
[many things and then this...]
Making install in ltsmin
/bin/sh ../../libtool --tag=CXX --mode=link g++
-fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD
-std=c++11 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer
-no-undefined -o libspotltsmin.la -rpath /usr/local/lib ltsmin.lo
../../spot/libspot.la ../../ltdl/libltdlc.la -lpthread
libtool: link: g++ -dynamiclib -o .libs/libspotltsmin.0.dylib
.libs/ltsmin.o -Wl,-force_load,../../ltdl/.libs/libltdlc.a
../../spot/.libs/libspot.dylib -lpthread -O3 -Wl,-dylib_file
-Wl,/usr/local/lib/libbddx.0.dylib:/Users/jan/Downloads/spot-1.99.8/buddy/src/.libs/libbddx.dylib
-install_name /usr/local/lib/libspotltsmin.0.dylib
-compatibility_version 1 -current_version 1.0 -Wl,-single_module
Undefined symbols for architecture x86_64:
"_bdd_addref_nc", referenced from:
spot::ltsmin_model::kripke(std::__1::set<spot::formula,
std::__1::less<spot::formula>, std::__1::allocator<spot::formula> >
const*, std::__1::shared_ptr<spot::bdd_dict>, spot::formula, int)
const in ltsmin.o
spot::(anonymous namespace)::spins_kripke::succ_iter(spot::state
const*) const in ltsmin.o
spot::(anonymous
namespace)::spins_kripke::compute_state_condition(spot::state const*)
const in ltsmin.o
"_bdd_apply", referenced from:
spot::(anonymous
namespace)::spins_kripke::compute_state_condition(spot::state const*)
const in ltsmin.o
"_bdd_delref_nc", referenced from:
spot::ltsmin_model::kripke(std::__1::set<spot::formula,
std::__1::less<spot::formula>, std::__1::allocator<spot::formula> >
const*, std::__1::shared_ptr<spot::bdd_dict>, spot::formula, int)
const in ltsmin.o
spot::(anonymous namespace)::spins_kripke::~spins_kripke() in ltsmin.o
spot::(anonymous namespace)::spins_kripke::succ_iter(spot::state
const*) const in ltsmin.o
spot::(anonymous
namespace)::spins_kripke::compute_state_condition(spot::state const*)
const in ltsmin.o
"_bdd_ithvar", referenced from:
spot::ltsmin_model::kripke(std::__1::set<spot::formula,
std::__1::less<spot::formula>, std::__1::allocator<spot::formula> >
const*, std::__1::shared_ptr<spot::bdd_dict>, spot::formula, int)
const in ltsmin.o
spot::(anonymous
namespace)::spins_kripke::compute_state_condition(spot::state const*)
const in ltsmin.o
"_bdd_nithvar", referenced from:
spot::ltsmin_model::kripke(std::__1::set<spot::formula,
std::__1::less<spot::formula>, std::__1::allocator<spot::formula> >
const*, std::__1::shared_ptr<spot::bdd_dict>, spot::formula, int)
const in ltsmin.o
spot::(anonymous
namespace)::spins_kripke::compute_state_condition(spot::state const*)
const in ltsmin.o
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
make[2]: *** [libspotltsmin.la] Error 1
make[1]: *** [install-recursive] Error 1
make: *** [install-recursive] Error 1