Dear sir:
    I am trying to extend spot by adding a new ltl-to-ba translation algorithm.  The brief idea is that I extend the formula structure in spot so that I can
use the parser for ltl formulas.
   Now I have finished the code and want to compile my codes with those in spot, but I am confused how I can achieve this. Does spot provides some interfaces that can help someone to extend it?
   Thanks very much for attention and I am expecting your reply.

Best
Jianwen