fdcavalcanti commented on PR #16022:
URL: https://github.com/apache/nuttx/pull/16022#issuecomment-2802338038

   Hi @yamt thanks for the update!
   
   We still have a compilation issue to `esp32-devkitc:wamr_wasi_debug`, maybe 
related?
   
   See:
   ```
   Configuration/Tool: esp32-devkitc/wamr_wasi_debug
   2025-04-14 15:02:20
   
------------------------------------------------------------------------------------
     Cleaning...
     Configuring...
     Building NuttX...
     % Total    % Received % Xferd  Average Speed   Time    Time     Time  
Current
                                    Dload  Upload   Total   Spent    Left  Speed
   
     0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
     0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
   
   100 3646k    0 3646k    0     0  6209k      0 --:--:-- --:--:-- --:--:-- 
6209k
   100 5023k    0 5023k    0     0  7912k      0 --:--:-- --:--:-- --:--:-- 
28.6M
   wamr/core/iwasm/libraries/debug-engine/debug_engine.c: In function 
'control_thread_routine':
   Error: wamr/core/iwasm/libraries/debug-engine/debug_engine.c:121:56: error: 
passing argument 2 of 'wasm_create_gdbserver' from incompatible pointer type 
[-Werror=incompatible-pointer-types]
     121 |         wasm_create_gdbserver(control_thread->ip_addr, 
&control_thread->port);
         |                                                        
^~~~~~~~~~~~~~~~~~~~~
         |                                                        |
         |                                                        int *
   In file included from 
wamr/core/iwasm/libraries/debug-engine/debug_engine.h:10,
                    from 
wamr/core/iwasm/libraries/debug-engine/debug_engine.c:6:
   wamr/core/iwasm/libraries/debug-engine/gdbserver.h:54:48: note: expected 
'int32 *' {aka 'long int *'} but argument is of type 'int *'
      54 | wasm_create_gdbserver(const char *host, int32 *port);
         |                                         ~~~~~~~^~~~
   cc1: all warnings being treated as errors
   make[2]: *** [/github/workspace/sources/apps/Application.mk:239: 
debug_engine.c.github.workspace.sources.apps.interpreters.wamr.o] Error 1
   wamr/core/iwasm/libraries/debug-engine/gdbserver.c: In function 
'wasm_create_gdbserver':
   Error: wamr/core/iwasm/libraries/debug-engine/gdbserver.c:68:46: error: 
passing argument 3 of 'os_socket_bind' from incompatible pointer type 
[-Werror=incompatible-pointer-types]
      68 |     if (0 != os_socket_bind(listen_fd, host, port)) {
         |                                              ^~~~
         |                                              |
         |                                              int32 * {aka long int *}
   
   ......
   ```


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org

Reply via email to