Using arduino-esp32 as a component to esp-idf in Eclipse seems to work well. I installed it exactly as the README suggests and it compiled first time. What is the recommended way to add Arduino libraries and ensure that make knows what to do with them? Many thanks.