Parece que libOpenCL.so
é fornecido pelo pacote ocl-icd-opencl-dev
. Para instalar este pacote, execute:
sudo apt update
sudo apt install ocl-icd-opencl-dev
Agora o libOpenCL.so deve estar localizado em /usr/lib/x86_64-linux-gnu/libOpenCL.so