Bug#755513: nvidia-opencl-dev: binary conflict with ocl-icd-libopencl1

[Stefano Rivera]

Control: found -1 ocl-icd-libopencl1/2.1.3-4

> But nvidia-opencl-dev conflicts with opencl-dev, and ocl-icd-liopencl1
> conflicts with libopencl1.
> There is no explicit conflict between each other.

As long as ocl-icd-liopencl1 is providing a file that conflicts with
nvidia-opencl-dev, they should conflict with each other.

> If you install ocl-icd-opencl-dev *after* nvidia-cuda-toolkit, the problem
> does not occur.

That's because ocl-icd-libopencl1 has Replaces: nvidia-libopencl1-dev

Both packages simply having Replaces, and no Conflicts/Breaks, could
work.

# dpkg-deb -c /var/cache/apt/archives/ocl-icd-libopencl1_2.1.3-4_amd64.deb | grep libOpenCL.so
-rw-r--r-- root/root     35200 2014-02-07 00:38 ./usr/lib/x86_64-linux-gnu/libOpenCL.so.1.0.0
lrwxrwxrwx root/root         0 2014-02-07 00:38 ./usr/lib/x86_64-linux-gnu/libOpenCL.so -> libOpenCL.so.1.0.0
lrwxrwxrwx root/root         0 2014-02-07 00:38 ./usr/lib/x86_64-linux-gnu/libOpenCL.so.1 -> libOpenCL.so.1.0.0

# dpkg-deb -c /var/cache/apt/archives/nvidia-opencl-dev_5.5.22-4_amd64.deb | grep libOpenCL.so
lrwxrwxrwx root/root         0 2014-05-25 01:36 ./usr/lib/x86_64-linux-gnu/libOpenCL.so -> libOpenCL.so.1

# dpkg-deb -c /var/cache/apt/archives/nvidia-libopencl1_340.24-2_amd64.deb | grep libOpenCL
-rw-r--r-- root/root     21712 2014-07-03 00:18 ./usr/lib/x86_64-linux-gnu/libOpenCL.so.1.0.0
lrwxrwxrwx root/root         0 2014-07-20 10:31 ./usr/lib/x86_64-linux-gnu/libOpenCL.so.1 -> libOpenCL.so.1.0.0


So,

Either nvidia-libopencl1-dev should gain a Replaces: ocl-icd-libopencl1.
Or ocl-icd-libopencl1 should Conflict on nvidia-libopencl1-dev, instead
of Replacing it.

The first option allows higher installability. The second option keeps
all the relationships confined to ocl-icd-libopencl1, which is the
package breaking policy (#679228).

SR

-- 
Stefano Rivera
  http://tumbleweed.org.za/
  H: +27 21 461 1230 C: +27 72 419 8559