Merge pull request #18 from demikernel/bugfix-cmake-target

Bad CMake Target for LibOS Catnip
microsoft · Jun 8, 2021 · 8f2ccc1 · 8f2ccc1
2 parents 275e056 + ef7fb94
commit 8f2ccc1
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/src/rust/catnip_libos/CMakeLists.txt b/src/rust/catnip_libos/CMakeLists.txt
@@ -1,6 +1,6 @@
 cmake_minimum_required(VERSION 3.10)
 
-set(CATNIP_LIBOS_TARGET catnip_libos)
+set(CATNIP_LIBOS_TARGET dmtr-libos-catnip)
 set(CATNIP_LIBOS_SUFFIX src/rust/catnip_libos)
 set(CATNIP_LIBOS_BINARY_DIR ${CMAKE_BINARY_DIR}/${CATNIP_LIBOS_SUFFIX})
 set(CATNIP_LIBOS_SOURCE_DIR ${CMAKE_SOURCE_DIR}/${CATNIP_LIBOS_SUFFIX})
@@ -28,8 +28,4 @@ ExternalProject_Add(${CATNIP_LIBOS_TARGET}
 function(target_add_catnip TARGET)
 	add_dependencies(${TARGET} catnip_libos)
 	target_link_libraries(${TARGET} ${CATNIP_LIBOS_DYNLIB}) 
-endfunction(target_add_catnip)
-
-
-
-
+endfunction(target_add_catnip)