1 2 3 4 5 6 7 8 9
add_custom_target(AntlrSmt2 COMMAND ${ANTLR_BINARY} ${CMAKE_CURRENT_SOURCE_DIR}/Smt2.g -fo ${CMAKE_CURRENT_BINARY_DIR} DEPENDS Smt2.g ) #add_dependencies(... AntlrSmt2)