43 lines · plain
1add_clang_library(clangAnalysisFlowSensitive2 AdornedCFG.cpp3 Arena.cpp4 ASTOps.cpp5 CNFFormula.cpp6 DataflowAnalysisContext.cpp7 DataflowEnvironment.cpp8 Formula.cpp9 FormulaSerialization.cpp10 HTMLLogger.cpp11 Logger.cpp12 RecordOps.cpp13 SimplifyConstraints.cpp14 SmartPointerAccessorCaching.cpp15 Transfer.cpp16 TypeErasedDataflowAnalysis.cpp17 Value.cpp18 WatchedLiteralsSolver.cpp19 DebugSupport.cpp20 21 DEPENDS22 clangAnalysisFlowSensitiveResources23 LINK_LIBS24 clangAnalysis25 clangAST26 clangASTMatchers27 clangBasic28 clangLex29 )30 31add_subdirectory(Models)32 33add_custom_command(OUTPUT HTMLLogger.inc34 COMMAND "${Python3_EXECUTABLE}" ${CLANG_SOURCE_DIR}/utils/bundle_resources.py35 ${CMAKE_CURRENT_BINARY_DIR}/HTMLLogger.inc36 HTMLLogger.html HTMLLogger.css HTMLLogger.js37 WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}38 COMMENT "Bundling HTMLLogger resources"39 DEPENDS ${CLANG_SOURCE_DIR}/utils/bundle_resources.py HTMLLogger.html HTMLLogger.css HTMLLogger.js40 VERBATIM)41add_custom_target(clangAnalysisFlowSensitiveResources DEPENDS HTMLLogger.inc)42set_target_properties(clangAnalysisFlowSensitiveResources PROPERTIES FOLDER "Clang/Misc")43