Archer wrappers don't link against libarcher.so automatically

Question

Archer wrappers don't link against libarcher.so automatically

Closed this issue 8 years ago · 3 comments

@jprotze pointed out that we have always to manually add -larcher when linking a program compiled with Archer. It is necessary to modify the Archer wrapper to add the libarcher libarary when using the OMPT support version.

Answer 1 · 2017-03-11T22:45:32.000Z

Sounds good to me.

Answer 2 · 2017-03-12T01:07:38.000Z

I guess the resolve keyword is gone from the last commit msg... closing.

Answer 3 · 2017-03-12T01:09:06.000Z

In the guide it says that the keyword needs to be in the body of the pull request. I don't understand.