'builtin_fp16.h' file not found

While following the instructions in tvm/apps/android_rpc at main · apache/tvm · GitHub for running RPC on android I got the error:

This occurred when I ran:

export ANDROID_HOME=[Path to your Android SDK, e.g., ~/Android/sdk]

cd apps/android_rpc

gradle clean build

Thanks for the help.

The file is at: tvm/3rdparty/compiler-rt at main · apache/tvm · GitHub. Would you like to add this to the include path and try again? If it solves your problem, would you like to send a PR for this fix? Thanks in advance!

This worked, thanks! I sent a PR.

Sorry there is an outrage in github, which made me unable to comment, so I paste the comment here

Thanks for the contribution! Alternatively, we might want to add the path in cmakefile (tvm/CMakeLists.txt at main · apache/tvm · GitHub). Would you like to double check? Thanks a lot!