From 5596cd2a457926419b408a5356f2a8da060b2208 Mon Sep 17 00:00:00 2001
From: Anton Trunov
Date: Wed, 29 May 2019 18:45:07 +0300
Subject: Remove support for Travis CI

Mathcomp switched to Gitlab CI via coqbot, see here:
https://github.com/math-comp/math-comp/pull/353#issuecomment-497017174
---
 .travis.yml | 44 --------------------------------------------
 1 file changed, 44 deletions(-)
 delete mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index f350c3a..0000000
--- a/.travis.yml
+++ /dev/null
@@ -1,44 +0,0 @@
-dist: trusty
-sudo: required
-language: c
-cache:
-  apt: true
-  directories:
-  - $HOME/.opam
-addons:
-  apt:
-    sources:
-    - avsm
-    packages:
-    - opam
-    - aspcud
-env:
-  global:
-  - NJOBS=2
-  - COMPILER="4.05.0"
-  # Main test targets
-  matrix:
-  - TEST_TARGET="v8.6"
-  - TEST_TARGET="v8.7"
-  - TEST_TARGET="v8.8"
-  - TEST_TARGET="master"
-
-install:
-- opam init -j ${NJOBS} --compiler=${COMPILER} -n -y
-- eval $(opam config env)
-- opam config var root
-- opam install -j ${NJOBS} -y ocamlfind camlp5 ${EXTRA_OPAM}
-- opam list
-- git clone --depth 1 -b ${TEST_TARGET} https://github.com/coq/coq.git coq-${TEST_TARGET}
-- cd coq-${TEST_TARGET}
-- ./configure -native-compiler no -local -coqide no
-- make -j ${NJOBS}
-- cd -
-
-script:
-- echo 'Building Mathcomp...' && echo -en 'travis_fold:start:mathcomp.build\\r'
-- export PATH=`pwd`/coq-${TEST_TARGET}/bin:$PATH
-- cd mathcomp
-- make Makefile.coq
-- make -f Makefile.coq -j ${NJOBS} all
-- echo -en 'travis_fold:end:mathcomp.build\\r'
-- 
cgit v1.2.3