Fix build

cryspen · May 20, 2024 · 829c842 · 829c842
1 parent 4a6b53a
commit 829c842
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -56,10 +56,12 @@ set(hacl_VERSION_TWEAK "")
 # needed.
 # We copy a default config from config/default_config.cmake or
 # config/default_config_msvc.cmake
-if(USE_MSVC)
-    configure_file(${PROJECT_SOURCE_DIR}/config/default_config_msvc.cmake ${PROJECT_SOURCE_DIR}/build/config.cmake COPYONLY)
-else()
-     configure_file(${PROJECT_SOURCE_DIR}/config/default_config.cmake ${PROJECT_SOURCE_DIR}/build/config.cmake COPYONLY)
+if(NOT EXISTS ${PROJECT_SOURCE_DIR}/build/config.cmake)
+    if(USE_MSVC)
+        configure_file(${PROJECT_SOURCE_DIR}/config/default_config_msvc.cmake ${PROJECT_SOURCE_DIR}/build/config.cmake COPYONLY)
+    else()
+        configure_file(${PROJECT_SOURCE_DIR}/config/default_config.cmake ${PROJECT_SOURCE_DIR}/build/config.cmake COPYONLY)
+    endif()
 endif()
 
 # Now include the config.