CI: diverge from template to skip dependants

Author: Yishuai Li

.circleci/config.yml

@@ -1,6 +1,3 @@
-# This file was generated from `meta.yml`, please do not edit manually.
-# Follow the instructions on https://github.com/coq-community/templates to regenerate.
-
 version: 2.1
 
 jobs:
@@ -16,6 +13,8 @@ jobs:
       OPAMVERBOSE: 1
       OPAMYES: true
       TERM: xterm
+      SKIP_BUILD: |
+        coq-certicoq
     steps:
     - checkout
     - run:
@@ -49,6 +48,8 @@ jobs:
           PACKAGES=`opam list -s --depends-on coq-ext-lib --coinstallable-with $PINS`
           for PACKAGE in $PACKAGES
           do DEPS_FAILED=false
+             echo $SKIP_BUILD | tr ' ' '\n' | grep ^$PACKAGE$ > /dev/null &&
+               echo Skip $PACKAGE && continue
              opam install --deps-only $PACKAGE || DEPS_FAILED=true
              [ $DEPS_FAILED == true ] || opam install -t $PACKAGE
           done

meta.yml

@@ -4,7 +4,7 @@ shortname: coq-ext-lib
 opam_name: coq-ext-lib
 organization: coq-community
 community: true
-circleci: true
+circleci: false
 ci_test_dependants: true
 submodule: true