No, it is not so simple. I think ping belongs to lwip static library you can check it with linker build logs "-lm -lgcc -lhal -lphy -lpp -lnet80211 -lwpa -lcrypto -lmain -lwps -laxtls -lsmartconfig -lmesh -lwpa2 -llwip_gcc -lstdc++ -Wl,--end-group "-L/tmp/arduino_build_359628" "...
So I searched lwip and tried to move it in order to force a rebuild :
Code: Select allfind . -name *lwip*
./2.3.0/tools/sdk/lwip
./2.3.0/tools/sdk/lwip/include/lwip
./2.3.0/tools/sdk/lwip/include/lwipopts.h
./2.3.0/tools/sdk/lwip/include/netif/wlan_lwip_if.h
./2.3.0/tools/sdk/lib/liblwip_gcc.a
./2.3.0/tools/sdk/lib/liblwip.a
mv ./2.3.0/tools/sdk/lib/liblwip_gcc.a ./2.3.0/tools/sdk/lib/liblwip_gcc.a.bak
~/.arduino15/packages/esp8266/hardware/esp8266 $ mv ./2.3.0/tools/sdk/lib/liblwip.a ./2.3.0/tools/sdk/lib/liblwip.a.bak
Unfortunately it is not rebuilt. Some SDK built libraries are provided in esp8266 arduino files and not rebuilt. wip is here :
https://github.com/esp8266/Arduino/tree ... ls/sdk/libI do not know espressif SDK at all, but maybe on one side we have all provided SDK libraries used by arduino projects. These files are built using espressisf SDK. And on the other side are Arduino core, libraries... other files built using arduino env.