CI from new template

coq-community · Oct 5, 2021 · 43e979b · 43e979b
1 parent 92470dd
commit 43e979b
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -48,9 +48,11 @@ jobs:
         command: |
           PINS=$(opam list -s --pinned --columns=package | xargs | tr ' ' ,)
           PACKAGES=`opam list -s --depends-on coq-ext-lib --coinstallable-with $PINS`
-          if [ -n "$PACKAGES" ]
-          then opam install -t $PACKAGES
-          fi
+          for PACKAGE in $PACKAGES
+          do DEPS_FAILED=false
+             opam install --deps-only $PACKAGE || DEPS_FAILED=true
+             [ $DEPS_FAILED == true ] || opam install -t $PACKAGE
+          done
     - run:
         name: Uninstall package
         command: opam uninstall .