diff --git a/Builds/CMake/deps/dilithium.cmake b/Builds/CMake/deps/dilithium.cmake index 43f075139..91c12caad 100644 --- a/Builds/CMake/deps/dilithium.cmake +++ b/Builds/CMake/deps/dilithium.cmake @@ -30,6 +30,11 @@ ExternalProject_Get_Property(dilithium_src SOURCE_DIR) set(dilithium_src_SOURCE_DIR "${SOURCE_DIR}") set(dilithium_src_BINARY_DIR "${BINARY_DIR}") +execute_process( + COMMAND + mkdir -p "${dilithium_src_SOURCE_DIR}/ref" +) + # Check if the api.h file exists set(API_H_PATH "${dilithium_src_SOURCE_DIR}/ref/api.h") if(EXISTS "${API_H_PATH}")