The output of make obviously shows an error, that's why no binary file is generated. The problem probably is your call to ADD_CUSTOM_COMMAND where you depend on another library. Did you check that the file libABBInterpreter.a really exists?