search

utwente-fmt / ltsmin

The LTSmin model checking toolset
http://ltsmin.utwente.nl
BSD 3-Clause "New" or "Revised" License
53 stars 31 forks source link

SPOT compilation issue on MacOS #150

Open alaarman opened 6 years ago

alaarman commented 6 years ago

With SPOT 2.5_1 in src/pins2lts-dist/gcc

$ make libtool: link: g++ -std=gnu++11 -std=c++11 -std=gnu++11 -g -O2 -D_THREAD_SAFE -W -Wall -pipe -o etf2lts-dist ../etf2lts_dist-pins2lts-dist.o ../../pins-lib/modules/etf2lts_dist-etf-pins.o -Wl,-bind_at_load -L/opt/local/lib ../../pins-lib/.libs/libpins.a -lspot -lbddx ../../hre/.libs/libhre.a -lpopt -lz -ldl -lpthread Undefined symbols for architecture x86_64: "spot::translator::build_simplifier(std::shared_ptr const&)", referenced from: _ltsmin_ltl2spot in libpins.a(libltsmin_la-ltl2spot.o) "spot::parsed_formula::format_errors(std::basic_ostream<char, std::char_traits >&)", referenced from: _ltsmin_ltl2spot in libpins.a(libltsmin_la-ltl2spot.o) "spot::parse_infix_psl(std::__cxx11::basic_string<char, std::char_traits, std::allocator > const&, spot::environment&, bool, bool)", referenced from: _ltsmin_ltl2spot in libpins.a(libltsmin_la-ltl2spot.o) "spot::bdd_format_formula[abi:cxx11](std::shared_ptr const&, bdd)", referenced from: create_ltsmin_buchi(std::shared_ptr&, ltsmin_parse_env_s*) [clone .constprop.206] in libpins.a(libltsmin_la-ltl2spot.o) "spot::fnode::ap_name[abi:cxx11]() const", referenced from:

Meijuh commented 6 years ago

@alaarman which clang version are you using?