[Spot] Checkpn

I would to ask you a question about Checkpn. I compiled Spot (last version) and for Checkpn I do it like this : ./configure --with-spot=/usr/local/ And for make I get an error in main.cpp at this ligne spot::ltl::formula* f = spot::ltl::parse(ltl_string, pel); In fact I just add const to correct the error. But i get another error which i don't understand : /usr/local//include/spot/tgbaalgos/reachiter.hh:102: undefined reference to `spot::tgba_reachable_iterator::~tgba_reachable_iterator()' Could you help me to solve the problem ? And thank you in advance for response.