diff --git a/Dockerfile b/Dockerfile index 07dabcb7f25f67ab3d9f508a1b0f1b85fb013c55..5e96db45811f3ad3f55129ab6966c0656bba16e8 100644 --- a/Dockerfile +++ b/Dockerfile @@ -182,7 +182,10 @@ RUN cd /root && \ unzip /root/openlogic-openjdk-8u272-b10-mac-x64.zip && \ rm -rf /root/openlogic-openjdk-8u272-b10-mac-x64.zip -RUN git clone https://github.com/KhronosGroup/OpenCL-Headers.git /usr/src/khronos-OpenCL-headers +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 && \ + rm -rf /usr/src/khronos-OpenCL-headers-repo COPY ./crossbuild /usr/bin/crossbuild