Arduino cannot execute

[CHNleing]

excuse me. I encountered a problem while testing the example. Aruino IDE tells me:
homekit/types.h: No such file or directory
homekit/homekit.h: No such file or directory
homekit/characteristics.h: No such file or directory

I installed through the management library

[CHNleing]

Found the problem.
I should put arduino_homekit_server.h on top

#include <Arduino.h>
#include <ESP8266WiFi.h>
#include <arduino_homekit_server.h>
#include <homekit/types.h>
#include <homekit/homekit.h>
#include <homekit/characteristics.h>

[euler271]

Libraries <homekit/types.h>, <homekit/homekit.h> and <homekit/characteristics.h> are not required for the example to work. The should be omitted from simple_led.ino. I recently created a pull request to fix this issue.

[Mixiaoxiao]

Thanks. I used a little bit intelligent IDE Sloeber(based on eclipse) to build this library and did not meet this issue.