diff --git a/compilers/concrete-compiler/compiler/CMakeLists.txt b/compilers/concrete-compiler/compiler/CMakeLists.txt index 55332d196..60b38a8bd 100644 --- a/compilers/concrete-compiler/compiler/CMakeLists.txt +++ b/compilers/concrete-compiler/compiler/CMakeLists.txt @@ -82,7 +82,7 @@ ExternalProject_Add( BUILD_ALWAYS true BUILD_COMMAND cargo build -p concrete-optimizer-cpp --profile release BINARY_DIR "${CONCRETE_OPTIMIZER_DIR}" - INSTALL_COMMAND "" + INSTALL_COMMAND cp ${CONCRETE_OPTIMIZER_STATIC_LIB} ${CMAKE_LIBRARY_OUTPUT_DIRECTORY} LOG_BUILD ON LOG_OUTPUT_ON_FAILURE ON)