linker error

[hojatk]

Hej,

I get this error when I tried to make.
It seems that the linker does not recognize spot libraries.
Do you think I can fix it somehow?

[ 16%] Building CXX object CMakeFiles/dipot-ui.dir/ui/automat.cpp.o
[ 33%] Linking CXX static library libdipot-ui.a
[ 33%] Built target dipot-ui
Scanning dependencies of target dipot-format
[ 50%] Building CXX object CMakeFiles/dipot-format.dir/format/cformat.cpp.o
[ 66%] Linking CXX static library libdipot-format.a
[ 66%] Built target dipot-format
Scanning dependencies of target dipot
[ 83%] Building CXX object CMakeFiles/dipot.dir/dipot.cpp.o
[100%] Linking CXX executable dipot
libdipot-ui.a(automat.cpp.o): In function dipot::Automat::run()': /home/h/o/hojatk/Downloads/spot/include/spot/tl/parse.hh:123: undefined reference to spot::default_environment::instance()'
libdipot-ui.a(automat.cpp.o): In function dipot::Automat::run()': /home/h/o/hojatk/Downloads/divine/dipot-master/ui/automat.cpp:10: undefined reference to spot::parse_infix_psl(std::__cxx11::basic_string<char, std::char_traits, std::allocator > const&, spot::environment&, bool, bool)'
/home/h/o/hojatk/Downloads/divine/dipot-master/ui/automat.cpp:11: undefined reference to spot::parsed_formula::format_errors(std::ostream&)' /home/h/o/hojatk/Downloads/divine/dipot-master/ui/automat.cpp:15: undefined reference to spot::translator::run(spot::formula)'
libdipot-ui.a(automat.cpp.o): In function spot::fnode::destroy() const': /home/h/o/hojatk/Downloads/spot/include/spot/tl/formula.hh:137: undefined reference to spot::fnode::destroy_aux() const'
libdipot-ui.a(automat.cpp.o): In function spot::translator::translator(spot::option_map const*)': /home/h/o/hojatk/Downloads/spot/include/spot/twaalgos/translate.hh:82: undefined reference to spot::postprocessor::postprocessor(spot::option_map const*)'
/home/h/o/hojatk/Downloads/spot/include/spot/twaalgos/translate.hh:84: undefined reference to spot::translator::setup_opt(spot::option_map const*)' /home/h/o/hojatk/Downloads/spot/include/spot/twaalgos/translate.hh:85: undefined reference to spot::translator::build_simplifier(std::shared_ptrspot::bdd_dict const&)'
libdipot-ui.a(automat.cpp.o): In function spot::translator::~translator()': /home/h/o/hojatk/Downloads/spot/include/spot/twaalgos/translate.hh:91: undefined reference to spot::tl_simplifier::~tl_simplifier()'
libdipot-ui.a(automat.cpp.o): In function void __gnu_cxx::new_allocator<spot::bdd_dict>::construct<spot::bdd_dict>(spot::bdd_dict*)': /usr/include/c++/5/ext/new_allocator.h:120: undefined reference to spot::bdd_dict::bdd_dict()'
libdipot-ui.a(automat.cpp.o): In function void __gnu_cxx::new_allocator<spot::bdd_dict>::destroy<spot::bdd_dict>(spot::bdd_dict*)': /usr/include/c++/5/ext/new_allocator.h:124: undefined reference to spot::bdd_dict::~bdd_dict()'
libdipot-format.a(cformat.cpp.o): In function (anonymous namespace)::c_format_printer::print_atomic_propositions(std::shared_ptr<spot::twa_graph> const&)': /home/h/o/hojatk/Downloads/divine/dipot-master/format/cformat.cpp:26: undefined reference to spot::operator<<(std::ostream&, spot::formula const&)'
libdipot-format.a(cformat.cpp.o): In function (anonymous namespace)::c_format_printer::print_state(unsigned int, std::shared_ptr<spot::twa_graph> const&)': /home/h/o/hojatk/Downloads/divine/dipot-master/format/cformat.cpp:62: undefined reference to bddtruepp'
/home/h/o/hojatk/Downloads/divine/dipot-master/format/cformat.cpp:83: undefined reference to bddfalsepp' libdipot-format.a(cformat.cpp.o): In function (anonymous namespace)::c_format_printer::print_edge_label(std::shared_ptrspot::twa_graph const&, spot::twa_graph_edge_data const&, unsigned int, bool, unsigned int)':
/home/h/o/hojatk/Downloads/divine/dipot-master/format/cformat.cpp:123: undefined reference to spot::bdd_to_formula(bdd, std::shared_ptr<spot::bdd_dict>)' libdipot-format.a(cformat.cpp.o): In function bdd::bdd(bdd const&)':
/home/h/o/hojatk/Downloads/spot/include/bddx.h:505: undefined reference to bdd_addref_nc' libdipot-format.a(cformat.cpp.o): In function bdd::~bdd()':
/home/h/o/hojatk/Downloads/spot/include/bddx.h:527: undefined reference to bdd_delref_nc' libdipot-format.a(cformat.cpp.o): In function bdd::bdd(int)':
/home/h/o/hojatk/Downloads/spot/include/bddx.h:563: undefined reference to bdd_addref_nc' libdipot-format.a(cformat.cpp.o): In function bdd_apply(bdd const&, bdd const&, int)':
/home/h/o/hojatk/Downloads/spot/include/bddx.h:752: undefined reference to bdd_apply' libdipot-format.a(cformat.cpp.o): In function bdd_implies(bdd const&, bdd const&)':
/home/h/o/hojatk/Downloads/spot/include/bddx.h:773: undefined reference to bdd_implies' libdipot-format.a(cformat.cpp.o): In function bdd::operator=(bdd&&)':
/home/h/o/hojatk/Downloads/spot/include/bddx.h:984: undefined reference to bdd_delref_nc' libdipot-format.a(cformat.cpp.o): In function spot::fnode::nth(unsigned int) const':
/home/h/o/hojatk/Downloads/spot/include/spot/tl/formula.hh:269: undefined reference to spot::fnode::report_non_existing_child()' libdipot-format.a(cformat.cpp.o): In function spot::formula::ap_nameabi:cxx11 const':
/home/h/o/hojatk/Downloads/spot/include/spot/tl/formula.hh:1517: undefined reference to `spot::fnode::ap_nameabi:cxx11 const'
collect2: error: ld returned 1 exit status
CMakeFiles/dipot.dir/build.make:96: recipe for target 'dipot' failed
make[2]: *** [dipot] Error 1
CMakeFiles/Makefile2:142: recipe for target 'CMakeFiles/dipot.dir/all' failed
make[1]: *** [CMakeFiles/dipot.dir/all] Error 2
Makefile:127: recipe for target 'all' failed
make: *** [all] Error 2

---