Can not compile ESP-IDF Platform

[MedSim9906]

Hi, i want to build the esp-idf platform for WAMR. I followed the instructions from the esp-idf platform readme so i don't think i forgot something. Nevertheless i always run into errors for incompatible-pointer-types regarding the os_timespec structure.
Running the linux platform does work so i don't think it's an issue with WAMR itself but the connection between WAMR and ESP-IDF.

OS: Tried Fedora and Debian
WAMR Version: 2.4.3
WASI Version: 29
ESP_IDF Version: 6.1

esp_build.log

[MedSim9906]

The error seems to come from the latest release.
There is no error when using WAMR Version 2.4.1

[TianlongLiang]

I think it's from this pr: https://github.com/bytecodealliance/wasm-micro-runtime/pull/4347/files#diff-1ad154691fc2507782e916939647de761113562534537c39cbca1ba27bc7b6d3

[TianlongLiang]

diff --git a/core/shared/platform/esp-idf/platform_internal.h b/core/shared/platform/esp-idf/platform_internal.h
index a704bb0fb2e55f7d6cf20e598706dc49dc0239df..f36fc0d763408bcde227b9de96152bb4583a018b 100644
--- a/core/shared/platform/esp-idf/platform_internal.h
+++ b/core/shared/platform/esp-idf/platform_internal.h
@@ -1,44 +1,46 @@
 /*
  * Copyright (C) 2019 Intel Corporation.  All rights reserved.
  * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  */
 
 #ifndef _PLATFORM_INTERNAL_H
 #define _PLATFORM_INTERNAL_H
 
 #include <stdint.h>
 #include <stdarg.h>
 #include <stdbool.h>
 #include <string.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <ctype.h>
 #include <errno.h>
 #include <math.h>
 #include <unistd.h>
 #include <pthread.h>
+#include <time.h>
+#include <poll.h>
 #include <arpa/inet.h>
 #include <sys/socket.h>
 #include <sys/uio.h>
 #include <dirent.h>
 
 #include "esp_pthread.h"
 #include "esp_timer.h"
 #include "freertos/FreeRTOS.h"
 #include "freertos/task.h"
 
 #ifdef __cplusplus
 extern "C" {
 #endif
 
 #ifndef BH_PLATFORM_ESP_IDF
 #define BH_PLATFORM_ESP_IDF
 #endif
 
 typedef pthread_t korp_tid;
 typedef pthread_mutex_t korp_mutex;
 typedef pthread_cond_t korp_cond;
 typedef pthread_t korp_thread;
 typedef pthread_rwlock_t korp_rwlock;
 typedef unsigned int korp_sem;
 
@@ -124,40 +126,40 @@ typedef unsigned int korp_sem;
 
 #ifndef DT_MTD
 #define DT_MTD DTYPE_MTD
 #endif
 
 #ifndef DT_LNK
 #define DT_LNK DTYPE_LINK
 #endif
 
 #ifndef DT_SOCK
 #define DT_SOCK DTYPE_SOCK
 #endif
 
 static inline int
 os_getpagesize()
 {
     return 4096;
 }
 
 typedef int os_file_handle;
 typedef DIR *os_dir_stream;
 typedef int os_raw_file_handle;
 
 /* The below types are used in platform_api_extension.h,
    we just define them to make the compiler happy */
-typedef int os_poll_file_handle;
-typedef unsigned int os_nfds_t;
-typedef int os_timespec;
+typedef struct pollfd os_poll_file_handle;
+typedef nfds_t os_nfds_t;
+typedef struct timespec os_timespec;
 
 static inline os_file_handle
 os_get_invalid_handle(void)
 {
     return -1;
 }
 
 #ifdef __cplusplus
 }
 #endif
 
 #endif

Would you mind trying this patch and seeing if it works

[MedSim9906]

Thanks for your reply. I modified the platform.h like in my attatchments (i just made it a .c file so i can paste it here. on my pc its a header file)

platform_internal.c

esp_build_2.log

[TianlongLiang]

Given your log file, try remove the target_compile_options(${COMPONENT_LIB} PRIVATE "-Wno-format") in build-scripts/esp-idf/wamr/CMakeLists.txt should work(at least solve current error)

[MedSim9906]

That did in fact solve the error. But now it seems like there is an undefined reference to os_compare_file_handle in core/iwasm/libraries/libc-wasi/sandboxed-system-primitives/src/posix.c:577

esp_build_3.log