--- util/memory.cpp.orig 2021-08-17 11:14:21.000000000 -0700 +++ util/memory.cpp 2021-08-17 11:15:10.000000000 -0700 @@ -71,6 +71,14 @@ #if defined(__APPLE__) #include + +#if MAC_OS_X_VERSION_MAX_ALLOWED < 1080 +# define MACH_TASK_BASIC_INFO_COUNT TASK_BASIC_INFO_COUNT +# define mach_task_basic_info_data_t task_basic_info_data_t +# define MACH_TASK_BASIC_INFO TASK_BASIC_INFO +# define mach_task_basic_info task_basic_info +#endif + #endif namespace lean {