diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index f17c6e54ced..09aa3763180 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -122,6 +122,6 @@ add_subdirectory(symtab2gb) add_subdirectory(libcprover-cpp) add_subdirectory(goto-bmc) -if(UNIX OR WITH_MEMORY_ANALYZER) +if((NOT WIN32 AND NOT APPLE) OR WITH_MEMORY_ANALYZER) add_subdirectory(memory-analyzer) endif() diff --git a/src/Makefile b/src/Makefile index 33895f29688..3721f1f9109 100644 --- a/src/Makefile +++ b/src/Makefile @@ -52,9 +52,9 @@ else detected_OS := $(shell sh -c 'uname 2>/dev/null || echo Unknown') endif -ifeq ($(detected_OS),Linux) +ifeq ($(WITH_MEMORY_ANALYZER),1) all: memory-analyzer.dir -else ifeq ($(WITH_MEMORY_ANALYZER),1) +else ifneq ($(filter-out Windows Darwin,$(detected_OS)),) all: memory-analyzer.dir endif