From 65d0da70a0baa8616ccf5e360e835ac6f00b4295 Mon Sep 17 00:00:00 2001
From: momo5502 <mauriceheumann@gmail.com>
Date: Thu, 27 Mar 2025 20:15:55 +0100
Subject: [PATCH] Fix rust cmake

---
 src/icicle/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/icicle/CMakeLists.txt b/src/icicle/CMakeLists.txt
index 747a9a7d..be4badc7 100644
--- a/src/icicle/CMakeLists.txt
+++ b/src/icicle/CMakeLists.txt
@@ -37,7 +37,7 @@ ExternalProject_Add(
     SOURCE_DIR ${CMAKE_CURRENT_LIST_DIR}
     BINARY_DIR ${CMAKE_CURRENT_LIST_DIR}
     CONFIGURE_COMMAND ""
-    BUILD_COMMAND ${CMAKE_COMMAND} -E env "CARGO_TARGET_DIR=${ICICLE_BUILD_DIR}" cargo build ${CARGO_OPTIONS} --lib $<IF:$<CONFIG:Debug>,-v,--release>
+    BUILD_COMMAND ${CMAKE_COMMAND} -E env "CARGO_TARGET_DIR=${ICICLE_BUILD_DIR}" cargo build ${CARGO_OPTIONS} --lib --profile $<IF:$<CONFIG:Debug>,dev,release>
     INSTALL_COMMAND ""
     USES_TERMINAL_CONFIGURE 1
     USES_TERMINAL_BUILD 1