[Pkg-opencl-devel] Alternatives system for libOpenCL?

[Rebecca N. Palmer]

beignet doesn't provide a libopencl1 (beignet/libcl.so is the ICD); this 
is probably referring to Intel's CPU OpenCL implementation, which isn't 
in Debian (or Ubuntu - are you referring to the package distributed by 
Intel itself, https://software.intel.com/en-us/articles/opencl-drivers 
?) for licensing reasons.

The hardware-specific part is the ICD, not the libopencl1, but I do not 
know whether the Intel CPU package allows these to be installed 
separately.  Ordinary CPUs (but possibly not Xeon Phi?) can use 
pocl-opencl-icd instead.

Mixing packages built with versioned-symbols and unversioned-symbols 
libopencl1 has been known to break:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=743740