Apply suggestions from code review

.travis.yml.mustache

@@ -14,6 +14,7 @@ language: shell
       echo \"Build triggered by ${TRAVIS_EVENT_TYPE}\"
       export PS4='+ \e[33;1m(\$0 @ line \$LINENO) \$\e[0m '
       set -ex  # -e = exit on failure; -x = trace for debug
+      opam repo -a --set-default add coq-extra-dev https://coq.inria.fr/opam/extra-dev
       opam update -y
       opam pin add ${PACKAGE} . -y -n -k path
       opam install ${PACKAGE} -y -j ${NJOBS} --deps-only

config.yml.mustache

@@ -24,7 +24,7 @@ jobs:
     - run:
         name: Install dependencies
         command: |
-          opam repo -a add coq-extra-dev https://coq.inria.fr/opam/extra-dev
+          opam repo -a --set-default add coq-extra-dev https://coq.inria.fr/opam/extra-dev
           opam update
           opam install --deps-only .
     - run:
@@ -33,6 +33,7 @@ jobs:
     - run:
         name: Build, test, and install package
         command: opam install -t .
+{{# ci_test_dependants }}
     - run:
         name: Test dependants
         command: |
@@ -41,6 +42,7 @@ jobs:
           if ! [ -z "$PACKAGES" ]
           then opam install -t $PACKAGES
           fi
+{{/ ci_test_depentants }}
     - run:
         name: Uninstall package
         command: opam uninstall .

generate.sh

@@ -51,6 +51,15 @@ for f in "$srcdir"/{,.}*.mustache; do
                 continue
             fi
             ;;
+	config.yml)
+	    mustache='{{ circleci }}'
+	    bool=$(get_yaml meta.yml <<<"$mustache")
+            if [ -n "$bool" ] && [ "$bool" != false ]; then
+                mkdir -p -v .circleci && target=".circleci/$target"
+            else
+                continue
+            fi
+            ;;
         default.nix)
             mustache='{{ tested_coq_nix_versions }}'
             bool=$(get_yaml meta.yml <<<"$mustache")