set(FACTGEN_LIB_SOURCES
    ${CMAKE_CURRENT_LIST_DIR}/src/Assembly.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/Constants.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/ContextManager.hpp
    ${CMAKE_CURRENT_LIST_DIR}/src/ContextSensitivity.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/FactGenerator.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/FactWriter.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/Functions.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/Globals.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/InstructionVisitor.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/LlvmEnums.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/Options.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/Predicate.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/PredicateGroups.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/RefmodeEngine.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/RefmodeEngineImpl.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/RefmodeEngineImpl.hpp
    ${CMAKE_CURRENT_LIST_DIR}/src/Signatures.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/TypeAccumulator.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/TypeVisitor.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/Types.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/Variables.cpp
    ${CMAKE_CURRENT_LIST_DIR}/src/Wrapper.cpp
    PARENT_SCOPE)
