Stop building memory-analyzer on Mac and Windows

Enrico Steffinlongo · Enrico Steffinlongo · commit b62b90b9ce1a · 2023-09-27T15:12:40.000+01:00
diff --git 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()
