Help me understand adding 'compound' libraries like esp8266/Arduino

Libraries
1

I’m pretty new to platformio, moving from Arduino IDE.

I’m converting an Arduino project to ESP8266. Many libraries within GitHub - esp8266/Arduino: ESP8266 core for Arduino are required by my project. I don’t find these libraries within the PIO registry.

I added the repo via lib_deps like

platform = espressif8266
board = esp01_1m
framework = arduino

lib_deps =
    https://github.com/esp8266/Arduino.git#3.1.1

The repo contains multiple libraries, many of which I’m using in my project.
I’ve read Dependency Management and many of the other docs. I’m struggling to get the include directive paths correct.

Here’s the simplest version:

#include <Arduino.h>
#include <Arduino/libraries/EEPROM.h>
#include <Ticker.h>

The libraries aren’t found during build. I’m a bit stuck and would appreciate some guidance.

2

Update:

I’m currently reading Espressif 8266 — PlatformIO v6.1 documentation

This might lead me to the answer. Guidance is still appreciated.

3

The above docs answer my question. The includes now work as expected.

4

Libraries that are in the Arduino core are automatically added to the build process when an include to them are detected. No further declarations are needed.

No. An Arduino core is not a library.