[AutoTVM] How to set up OpenCL when tuning Mali GPU?

I’m trying to auto tune Mali GPU but in config.cmake, what do I set for OPENCL? It seems ARM has discontinued their OpenCL driver and replaced it w/ ACL. And I don’t think I’m supposed to point it to OpenCL SDK on Mac (I’m using Mac). So in this case, what do I do here?

If I just set OPENCL to ON and run tune_relay_mobile_gpu.py, it couldn’t find available devices, which are definitely connected because I can run CPU tuning.

did you manage to solve this?