fix: account for refactor

header files moved in mbedtls
priyasiddharth · Oct 16, 2024 · d6054dd · d6054dd
1 parent ab5d520
commit d6054dd
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -65,5 +65,8 @@ set(VERIFY_CMD ${CMAKE_CURRENT_BINARY_DIR}/verify)
 include_directories(BEFORE ${CMAKE_CURRENT_BINARY_DIR}/seahorn/include/
                            ${SEAHORN_ROOT}/include
                            ${MBEDTLS_DIR}/include/mbedtls
-                           ${MBEDTLS_DIR}/tf-psa-crypto/include/)             
+                           ${MBEDTLS_DIR}/tf-psa-crypto/include/
+                           ${MBEDTLS_DIR}/tf-psa-crypto/core/
+                           ${MBEDTLS_DIR}/tf-psa-crypto/drivers/builtin/include/
+                           ${MBEDTLS_DIR}/tf-psa-crypto/drivers/builtin/src/)             
 add_subdirectory(seahorn)
diff --git a/mbedtls b/mbedtls
diff --git a/seamock b/seamock