From bcbacbb9f79ac0117c97b6f4de813004d05ce1de Mon Sep 17 00:00:00 2001 From: boludoz Date: Mon, 18 Sep 2023 12:57:37 -0300 Subject: [PATCH] Update externals/CMakeLists.txt Co-authored-by: Andrea Pappacoda --- externals/CMakeLists.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/externals/CMakeLists.txt b/externals/CMakeLists.txt index ad0203667e..74d00dc2a2 100644 --- a/externals/CMakeLists.txt +++ b/externals/CMakeLists.txt @@ -15,7 +15,9 @@ set(BUILD_SHARED_LIBS OFF) set_directory_properties(PROPERTIES EXCLUDE_FROM_ALL ON) # Robin-map -add_subdirectory(robin-map) +if (NOT TARGET tsl::robin_map) + add_subdirectory(robin-map) +endif() # xbyak if ((ARCHITECTURE_x86 OR ARCHITECTURE_x86_64) AND NOT TARGET xbyak::xbyak)