config.yml.mustache

# 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:
  build:
    parameters:
      coq:
        type: string
    docker:
    - image: <<parameters.coq>>
    resource_class: medium
    environment:
      OPAMJOBS: 2
      OPAMVERBOSE: 1
      OPAMYES: true
      TERM: xterm
    steps:
    - checkout
{{# submodule }}
    - run:
        name: Pull submodules
        command: git submodule update --init --recursive
{{/ submodule }}
    - run:
        name: Configure environment
        command: echo . ~/.profile >> $BASH_ENV
    - run:
        name: Install dependencies
        command: |
{{# ci_extra_dev }}
          opam repo -a --set-default add coq-extra-dev https://coq.inria.fr/opam/extra-dev
{{/ ci_extra_dev }}
          opam update
          opam install --deps-only .
    - run:
        name: List installed packages
        command: opam list
    - run:
        name: Build, test, and install package
        command: opam install -t .
{{& circleci_after_script }}
{{# ci_test_dependants }}
    - run:
        name: Test dependants
        command: |
          PINS=$(opam list -s --pinned --columns=package | xargs | tr ' ' ,)
          PACKAGES=`opam list -s --depends-on {{ opam_name }}{{^ opam_name }}coq-{{ shortname }}{{/ opam_name }} --coinstallable-with $PINS`
          for PACKAGE in $PACKAGES
          do DEPS_FAILED=false
             opam install --deps-only $PACKAGE || DEPS_FAILED=true
             [ $DEPS_FAILED == true ] || opam install -t $PACKAGE
          done
{{/ ci_test_dependants }}
    - run:
        name: Uninstall package
        command: opam uninstall .

workflows:
  version: 2
  test:
    jobs:
{{# tested_coq_opam_versions }}
    - build:
        name: "{{ repo }}{{^ repo }}Coq{{/ repo }} {{ version }}"
        coq: "{{ repo }}{{^ repo }}coqorg/coq{{/ repo }}:{{ version }}"
{{/ tested_coq_opam_versions }}