On Sun, Jun 22, 2025 at 11:48:34PM +0200, Jose Gomez wrote: > I also tried that but pthread header is not found. You obviously have to provide a pthread.h header file if that is required by the configuration you are using. It typically is provided by the OS you are using. Your configuration is OS-less, so I wonder what thinks you should have such a header! Segher
