i would like to set up a webserver on my ESP32 Dev Module. Therefore I would like to use the following example on github esp-idf/components/esp_http_server at master · espressif/esp-idf · GitHub. Now I have to create the platformio.ini file. What should be the content of it?
Have a look at Espressif IoT Development Framework — PlatformIO latest documentation for the documentation for configuring ESP-IDF projects. Also since PlatformIO uses ESP-IDF v4.0 you should base yourself of that ESP-IDF branch, aka esp-idf/components/esp_http_server at release/v4.0 · espressif/esp-idf · GitHub.