Remove Travis build and related scripts

2 files changed, 1 insertions, 30 deletions

diff --git a/ci/build b/ci/build
index 3fe7e899..f2e62f0e 100755
--- a/ci/build
+++ b/ci/build
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# This script is used by .travis.yml and build-in-docker.
+# This script is used by CI and build-in-docker.
 
 set -eu
 
diff --git a/ci/install-cuda.sh b/ci/install-cuda.sh
deleted file mode 100644
index b785e737..00000000
--- a/ci/install-cuda.sh
+++ /dev/null
@@ -1,29 +0,0 @@
-#
-# Install CUDA.
-#
-# Version is given in the CUDA variable. If left empty, this script does
-# nothing. As variables are exported by this script, "source" it rather than
-# executing it.
-#
-
-if [ -n "$CUDA" ]; then
-    echo "Installing CUDA support"
-    travis_retry wget https://developer.download.nvidia.com/compute/cuda/repos/ubuntu1804/x86_64/cuda-repo-ubuntu1804_${CUDA}_amd64.deb
-    travis_retry sudo dpkg -i cuda-repo-ubuntu1804_${CUDA}_amd64.deb
-    travis_retry sudo apt-key adv --fetch-keys http://developer.download.nvidia.com/compute/cuda/repos/ubuntu1804/x86_64/7fa2af80.pub
-    travis_retry sudo apt-get update -qq
-    export CUDA_APT=${CUDA:0:4}
-    export CUDA_APT=${CUDA_APT/./-}
-
-    travis_retry sudo apt-get install --allow-unauthenticated -y cuda-command-line-tools-${CUDA_APT}
-    travis_retry sudo apt-get clean
-
-    export CUDA_HOME=/usr/local/cuda-${CUDA:0:4}
-    export LD_LIBRARY_PATH=${CUDA_HOME}/nvvm/lib64:${LD_LIBRARY_PATH}
-    export LD_LIBRARY_PATH=${CUDA_HOME}/lib64:${LD_LIBRARY_PATH}
-    export PATH=${CUDA_HOME}/bin:${PATH}
-
-    nvcc --version
-else
-    echo "CUDA is NOT installed."
-fi