From 661f662cb07bd8ec2b1861c4a8cc42d83a350b4d Mon Sep 17 00:00:00 2001
From: Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com>
Date: Thu, 7 May 2020 11:28:48 +0200
Subject: [PATCH] Make a build with travis cache disabled

---
 .travis.yml | 29 ++++++++++++++---------------
 1 file changed, 14 insertions(+), 15 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index e5005b836..00e6b8d6b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,20 +6,20 @@
 dist: trusty
 sudo: required
 language: ocaml
-cache:
-  apt: true
-  directories:
-  - $HOME/.opam
-  - build/compcert
-  - build/sepcomp
-  - build/msl
-  - build/veric
-  - build/floyd
-  - build_beta/compcert
-  - build_beta/sepcomp
-  - build_beta/msl
-  - build_beta/veric
-  - build_beta/floyd
+# cache:
+#   apt: true
+#   directories:
+#   - $HOME/.opam
+#   - build/compcert
+#   - build/sepcomp
+#   - build/msl
+#   - build/veric
+#   - build/floyd
+#   - build_beta/compcert
+#   - build_beta/sepcomp
+#   - build_beta/msl
+#   - build_beta/veric
+#   - build_beta/floyd
 addons:
   apt:
     sources:
@@ -71,7 +71,6 @@ install:
 - opam show coq-compcert-64
 - travis_wait 15 opam install -j ${NJOBS} -y coq=${COQ_VERSION} ${EXTRA_OPAM}
 - opam install -j ${NJOBS} -y coq=${COQ_VERSION} coq-ext-lib coq-flocq
-- opam uninstall coq-compcert
 - travis_wait 10 opam install -j ${NJOBS} -y coq-compcert=${COMPCERT_VERSION}
 - travis_wait 10 opam install -j ${NJOBS} -y coq-compcert-64=${COMPCERT_VERSION}
 - ls -l  $(coqc -where)/user-contrib/compcert