diff --git a/ci/docker/install/ubuntu_core.sh b/ci/docker/install/ubuntu_core.sh index 4382aa6aefd0..2b72199c5d29 100755 --- a/ci/docker/install/ubuntu_core.sh +++ b/ci/docker/install/ubuntu_core.sh @@ -48,3 +48,12 @@ if [[ $(lsb_release -r | grep 14.04) ]]; then else apt-get install -y cmake fi +# Note: we specify an exact cmake version to work around a cmake 3.10 CUDA 10 issue. +# Reference: https://github.com/clab/dynet/issues/1457 +# Testing builds without custom cmake workign around issue +# mkdir /opt/cmake && cd /opt/cmake +# wget -nv https://cmake.org/files/v3.12/cmake-3.12.4-Linux-x86_64.sh +# sh cmake-3.12.4-Linux-x86_64.sh --prefix=/opt/cmake --skip-license +# ln -s /opt/cmake/bin/cmake /usr/local/bin/cmake +# rm cmake-3.12.4-Linux-x86_64.sh +# cmake --version