Sorry for not seeing this earlier.

@nindanaoto What does linking to tinfo accomplish?

Well, I found that tinfo seems to be not necessary. As far as I remember, this was required by ABC, but removing that still goes well. I'm not sure about why I added this. May be this was my fault, and removing that is better.

@rgov May I ping you about these changes?

We are having problems using the current STP in KLEE, and these changes would help us with that.

Thank you!

@ccadar Nice to hear from you. Sorry for the delay. I've tried to adapt the "Don't link with tinfo" commit according to the latest CMake configuration. CI builds passed, so it seems to work... let me know if you have any trouble.

@rgov many thanks for the quick response!

I think there is another issue here with installing libabc-pic.so, and I will propose a PR shortly. Thanks again!