From 4d11d6dc3bfcef3ecdf3f905dcf2fdbca259677e Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Wed, 13 Dec 2017 13:42:59 +0100
Subject: Circle CI: use cache for opam

---
 .circleci/config.yml | 55 +++++++++++++++++++++++++++++++++++++++++++++-------
 1 file changed, 48 insertions(+), 7 deletions(-)

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index fecabd7bc..7b68a0711 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -58,13 +58,15 @@ before_script: &before_script
   <<: *params
   steps:
     - checkout
-    # - restore_cache:
-    #     key: coq-opam-cache-{{ arch }}-v171208-
+    - restore_cache:
+        keys:
+          - coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}-
+          - coq-opam-cache-v1-{{ arch }}- # this grabs old cache if checksum doesn't match
     - run: *before_script
-    # - save_cache:
-    #     key: coq-opam-cache-{{ arch }}-v171208-static-deps
-    #     paths:
-    #       - ~/.opam
+    - save_cache:
+        key: coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}-
+        paths:
+          - ~/.opam
     - run: &build-configure
         name: Configure
         command: |
@@ -85,7 +87,6 @@ before_script: &before_script
     - persist_to_workspace:
         root: &workspace ~/
         paths:
-          - .opam
           - coq/
 
   environment: &build-variables
@@ -100,7 +101,15 @@ before_script: &before_script
     - checkout
     - attach_workspace:
         at: *workspace
+    - restore_cache:
+        keys:
+          - coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}-
+          - coq-opam-cache-v1-{{ arch }}- # this grabs old cache if checksum doesn't match
     - run: *before_script
+    - save_cache:
+        key: coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}-
+        paths:
+          - ~/.opam
     - run:
         name: Validate
         command: |
@@ -114,7 +123,15 @@ before_script: &before_script
     - checkout
     - attach_workspace:
         at: *workspace
+    - restore_cache:
+        keys:
+          - coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}-
+          - coq-opam-cache-v1-{{ arch }}- # this grabs old cache if checksum doesn't match
     - run: *before_script
+    - save_cache:
+        key: coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}-
+        paths:
+          - ~/.opam
     - run:
         name: Documentation
         command: |
@@ -131,7 +148,15 @@ before_script: &before_script
     - checkout
     - attach_workspace:
         at: *workspace
+    - restore_cache:
+        keys:
+          - coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}-
+          - coq-opam-cache-v1-{{ arch }}- # this grabs old cache if checksum doesn't match
     - run: *before_script
+    - save_cache:
+        key: coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}-
+        paths:
+          - ~/.opam
     - run:
         name: Test
         command: |
@@ -147,7 +172,15 @@ before_script: &before_script
   <<: *params
   steps:
     - checkout
+    - restore_cache:
+        keys:
+          - coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}-
+          - coq-opam-cache-v1-{{ arch }}- # this grabs old cache if checksum doesn't match
     - run: *before_script
+    - save_cache:
+        key: coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}-
+        paths:
+          - ~/.opam
     - run:
         name: Configure
         command: |
@@ -171,7 +204,15 @@ before_script: &before_script
     - checkout
     - attach_workspace:
         at: *workspace
+    - restore_cache:
+        keys:
+          - coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}-
+          - coq-opam-cache-v1-{{ arch }}- # this grabs old cache if checksum doesn't match
     - run: *before_script
+    - save_cache:
+        key: coq-opam-cache-v1-{{ arch }}-{{ checksum ".circleci/config.yml" }}-
+        paths:
+          - ~/.opam
     - run:
         name: Test
         command: |
-- 
cgit v1.2.3