Le 3 févr. 2018 à 20:50, Tomasz Rybak <tomasz.rybak(a)post.pl> a
There can be many OpenCL providers. That's why I compile PyOpenCL
with as high version of OpenCL headers as there is in Debian.
Which is 100% fine, I’m glad you have these in Debian !
The only officially supported OpenCL management library (libopencl1)
is ocl-icd-libopencl1. This is AFAIK the only libopencl implementation
available in Debian main (i.e. fully free software). Linking to
anything else would mean that PyOpenCL depends on non-free software
and could not be in Debian main.
I guess I mis-explained - my issue is not with pyopencl, but rather
on the fact that installing nvidia-opencl-dev triggers installing
nvidia-libopencl1, which only supports OpenCL 1.2, while at the same time
the opencl-headers package declares OpenCL 2.0 support, which creates
So it’s just an incorrect dependency of the nvidia-opencl-dev or
If ocl-icd-libopencl1 was installed instead of nvidia-libopencl1it would
be ok, as that ICD loader really supports OpenCL 2 (and is free, which is a bonus).