File tree Expand file tree Collapse file tree 4 files changed +33
-2
lines changed Expand file tree Collapse file tree 4 files changed +33
-2
lines changed Original file line number Diff line number Diff line change @@ -148,6 +148,8 @@ set_target_properties(
148
148
json-symtab-language
149
149
langapi
150
150
linking
151
+ memory-analyzer
152
+ memory-analyzer-lib
151
153
pointer-analysis
152
154
solvers
153
155
testing-utils
Original file line number Diff line number Diff line change @@ -93,8 +93,6 @@ add_subdirectory(json)
93
93
add_subdirectory (json-symtab-language )
94
94
add_subdirectory (langapi )
95
95
add_subdirectory (linking )
96
- add_subdirectory (memory-analyzer )
97
- add_subdirectory (memory-models )
98
96
add_subdirectory (pointer-analysis )
99
97
add_subdirectory (solvers )
100
98
add_subdirectory (util )
@@ -106,3 +104,4 @@ add_subdirectory(goto-instrument)
106
104
add_subdirectory (goto-analyzer )
107
105
add_subdirectory (goto-diff )
108
106
add_subdirectory (goto-harness )
107
+ add_subdirectory (memory-analyzer )
Original file line number Diff line number Diff line change
1
+ # Library
2
+ file (GLOB_RECURSE sources "*.cpp" "*.h" )
3
+ list (REMOVE_ITEM sources
4
+ ${CMAKE_CURRENT_SOURCE_DIR} /memory-analyzer_main.cpp
5
+ )
6
+ add_library (memory-analyzer-lib ${sources} )
7
+
8
+ generic_includes (memory-analyzer-lib )
9
+
10
+ target_link_libraries (memory-analyzer-lib
11
+ ansi-c
12
+ goto-programs
13
+ util
14
+ )
15
+
16
+
17
+ # Executable
18
+ add_executable (memory-analyzer memory_analyzer_main.cpp )
19
+ target_link_libraries (memory-analyzer memory-analyzer-lib )
Original file line number Diff line number Diff line change
1
+ if ("${CMAKE_CXX_COMPILER_ID} " STREQUAL "Clang" OR
2
+ "${CMAKE_CXX_COMPILER_ID} " STREQUAL "AppleClang" OR
3
+ "${CMAKE_CXX_COMPILER_ID} " STREQUAL "GNU"
4
+ )
5
+ # private is overwritten in the gdb_api test cases
6
+ set (CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-keyword-macro" )
7
+ elseif ("${CMAKE_CXX_COMPILER_ID} " STREQUAL "MSVC" )
8
+ # This would be the place to enable warnings for Windows builds, although
9
+ # config.inc doesn't seem to do that currently
10
+ endif ()
11
+
1
12
file (GLOB_RECURSE sources "*.cpp" "*.h" )
2
13
3
14
file (GLOB_RECURSE testing_utils "testing-utils/*.cpp" "testing-utils/*.h" )
You can’t perform that action at this time.
0 commit comments