diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2019-08-20 17:59:23 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2019-08-20 17:59:23 +0000 |
| commit | 9a83721404652cea39e9f02ae3e3b5c964602a5c (patch) | |
| tree | 23e9541ce27049a103f6ed046be61592123e02c9 /lib/StaticAnalyzer/Core | |
| parent | 676fbe8105eeb6ff4bb2ed261cb212fcfdbe7b63 (diff) | |
Notes
Diffstat (limited to 'lib/StaticAnalyzer/Core')
| -rw-r--r-- | lib/StaticAnalyzer/Core/CMakeLists.txt | 75 |
1 files changed, 0 insertions, 75 deletions
diff --git a/lib/StaticAnalyzer/Core/CMakeLists.txt b/lib/StaticAnalyzer/Core/CMakeLists.txt deleted file mode 100644 index 167f78af6289..000000000000 --- a/lib/StaticAnalyzer/Core/CMakeLists.txt +++ /dev/null @@ -1,75 +0,0 @@ -set(LLVM_LINK_COMPONENTS support) - -# Link Z3 if the user wants to build it. -if(CLANG_ANALYZER_WITH_Z3) - set(Z3_LINK_FILES ${Z3_LIBRARIES}) -else() - set(Z3_LINK_FILES "") -endif() - -add_clang_library(clangStaticAnalyzerCore - APSIntType.cpp - AnalysisManager.cpp - AnalyzerOptions.cpp - BasicValueFactory.cpp - BlockCounter.cpp - BugReporter.cpp - BugReporterVisitors.cpp - CallEvent.cpp - Checker.cpp - CheckerContext.cpp - CheckerHelpers.cpp - CheckerManager.cpp - CommonBugCategories.cpp - ConstraintManager.cpp - CoreEngine.cpp - DynamicTypeMap.cpp - Environment.cpp - ExplodedGraph.cpp - ExprEngine.cpp - ExprEngineC.cpp - ExprEngineCXX.cpp - ExprEngineCallAndReturn.cpp - ExprEngineObjC.cpp - FunctionSummary.cpp - HTMLDiagnostics.cpp - IssueHash.cpp - LoopUnrolling.cpp - LoopWidening.cpp - MemRegion.cpp - PathDiagnostic.cpp - PlistDiagnostics.cpp - ProgramState.cpp - RangeConstraintManager.cpp - RangedConstraintManager.cpp - RegionStore.cpp - RetainSummaryManager.cpp - SarifDiagnostics.cpp - SimpleConstraintManager.cpp - SimpleSValBuilder.cpp - Store.cpp - SubEngine.cpp - SValBuilder.cpp - SVals.cpp - SymbolManager.cpp - TaintManager.cpp - WorkList.cpp - Z3ConstraintManager.cpp - - LINK_LIBS - clangAST - clangASTMatchers - clangAnalysis - clangBasic - clangCrossTU - clangLex - clangRewrite - ${Z3_LINK_FILES} - ) - -if(CLANG_ANALYZER_WITH_Z3) - target_include_directories(clangStaticAnalyzerCore SYSTEM - PRIVATE - ${Z3_INCLUDE_DIR} - ) -endif() |
