I think the problem here is that we were allowing ocl-icd-libopencl1 and the Nvidia libopencl1 to be installed together.
There should only be one libopencl1 (OpenCL management library) installed on the system, but there can be more than one opencl-icd (Installable Client Driver).
This has been fixed to a certain extent in the current Nvidia drivers in Saucy as the Nvidia drivers now provides and conflicts on libopencl1. However, since the Nvidia driver includes libopencl1 and opencl-icd in one package, ocl-ic-libopencl, which pyopencl is built against, is not installable.
We need to separate libopencl1 out of the Nvidia (and AMD) drivers, or remove them completely.
I think the problem here is that we were allowing ocl-icd-libopencl1 and the Nvidia libopencl1 to be installed together.
There should only be one libopencl1 (OpenCL management library) installed on the system, but there can be more than one opencl-icd (Installable Client Driver).
This has been fixed to a certain extent in the current Nvidia drivers in Saucy as the Nvidia drivers now provides and conflicts on libopencl1. However, since the Nvidia driver includes libopencl1 and opencl-icd in one package, ocl-ic-libopencl, which pyopencl is built against, is not installable.
We need to separate libopencl1 out of the Nvidia (and AMD) drivers, or remove them completely.