diff --git a/Dockerfile b/Dockerfile index 5e96db45811f3ad3f55129ab6966c0656bba16e8..f94d185539412d73681f14f789ba142c110ccbb6 100644 --- a/Dockerfile +++ b/Dockerfile @@ -185,6 +185,7 @@ RUN cd /root && \ RUN git clone https://github.com/KhronosGroup/OpenCL-Headers.git /usr/src/khronos-OpenCL-headers-repo && \ mkdir -p /usr/src/khronos-OpenCL-headers/ && \ mv /usr/src/khronos-OpenCL-headers-repo/CL /usr/src/khronos-OpenCL-headers/opencl && \ + ln -s /usr/src/khronos-OpenCL-headers/opencl /usr/src/khronos-OpenCL-headers/CL && \ rm -rf /usr/src/khronos-OpenCL-headers-repo COPY ./crossbuild /usr/bin/crossbuild