Make a build with travis cache disabled

.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