Merge pull request #7958 from tautschnig/bugfixes/memory-analyzer-config

Restrict memory-analyzer build to Linux x86_64/i386

Author: Enrico Steffinlongo

CMakeLists.txt

@@ -199,7 +199,9 @@ function(cprover_default_properties)
      XCODE_ATTRIBUTE_CODE_SIGN_IDENTITY ${CBMC_XCODE_ATTRIBUTE_CODE_SIGN_IDENTITY})
 endfunction()
 
-if(CMAKE_SYSTEM_NAME STREQUAL Linux)
+if(CMAKE_SYSTEM_NAME STREQUAL Linux AND
+    (CMAKE_SYSTEM_PROCESSOR STREQUAL "x86_64" OR
+     CMAKE_SYSTEM_PROCESSOR STREQUAL "i386"))
 set(WITH_MEMORY_ANALYZER_DEFAULT ON)
 else()
 set(WITH_MEMORY_ANALYZER_DEFAULT OFF)

regression/Makefile

@@ -66,16 +66,17 @@ DIRS = cbmc-shadow-memory \
        book-examples \
        # Empty last line
 
-ifeq ($(OS),Windows_NT)
-    detected_OS := Windows
-else
+ifndef WITH_MEMORY_ANALYZER
+  ifeq ($(OS),Windows_NT)
+    WITH_MEMORY_ANALYZER = 0
+  else
     detected_OS := $(shell sh -c 'uname 2>/dev/null || echo Unknown')
-endif
-
-ifeq ($(detected_OS),Linux)
-  ifneq ($(WITH_MEMORY_ANALYZER),0)
-    # only set if it wasn't explicitly unset
-    WITH_MEMORY_ANALYZER=1
+    detected_ARCH := $(shell sh -c 'uname -m 2>/dev/null || echo Unknown')
+    ifeq ($(filter-out Linux_x86_64 Linux_i386,$(detected_OS)_$(detected_ARCH)),)
+      WITH_MEMORY_ANALYZER = 1
+    else
+      WITH_MEMORY_ANALYZER = 0
+    endif
   endif
 endif
 

src/CMakeLists.txt

@@ -122,6 +122,6 @@ add_subdirectory(symtab2gb)
 add_subdirectory(libcprover-cpp)
 add_subdirectory(goto-bmc)
 
-if((NOT WIN32 AND NOT APPLE) OR WITH_MEMORY_ANALYZER)
+if(WITH_MEMORY_ANALYZER)
 add_subdirectory(memory-analyzer)
 endif()

src/Makefile

@@ -46,16 +46,22 @@ all: cbmc.dir \
      symtab2gb.dir \
      # Empty last line
 
-ifeq ($(OS),Windows_NT)
-  detected_OS := Windows
-else
-  detected_OS := $(shell sh -c 'uname 2>/dev/null || echo Unknown')
+ifndef WITH_MEMORY_ANALYZER
+  ifeq ($(OS),Windows_NT)
+    WITH_MEMORY_ANALYZER = 0
+  else
+    detected_OS := $(shell sh -c 'uname 2>/dev/null || echo Unknown')
+    detected_ARCH := $(shell sh -c 'uname -m 2>/dev/null || echo Unknown')
+    ifeq ($(filter-out Linux_x86_64 Linux_i386,$(detected_OS)_$(detected_ARCH)),)
+      WITH_MEMORY_ANALYZER = 1
+    else
+      WITH_MEMORY_ANALYZER = 0
+    endif
+  endif
 endif
 
 ifeq ($(WITH_MEMORY_ANALYZER),1)
   all: memory-analyzer.dir
-else ifneq ($(filter-out Windows Darwin,$(detected_OS)),)
-  all: memory-analyzer.dir
 endif
 
 ###############################################################################

unit/Makefile

@@ -201,16 +201,17 @@ SRC += analyses/ai/ai.cpp \
        util/xml.cpp \
        # Empty last line
 
-ifeq ($(OS),Windows_NT)
-    detected_OS := Windows
-else
+ifndef WITH_MEMORY_ANALYZER
+  ifeq ($(OS),Windows_NT)
+    WITH_MEMORY_ANALYZER = 0
+  else
     detected_OS := $(shell sh -c 'uname 2>/dev/null || echo Unknown')
-endif
-
-ifeq ($(detected_OS),Linux)
-  ifneq ($(WITH_MEMORY_ANALYZER),0)
-    # only set if it wasn't explicitly unset
-    WITH_MEMORY_ANALYZER=1
+    detected_ARCH := $(shell sh -c 'uname -m 2>/dev/null || echo Unknown')
+    ifeq ($(filter-out Linux_x86_64 Linux_i386,$(detected_OS)_$(detected_ARCH)),)
+      WITH_MEMORY_ANALYZER = 1
+    else
+      WITH_MEMORY_ANALYZER = 0
+    endif
   endif
 endif