.gitlab-ci.yml

image: buildpack-deps:stable-scm

variables:
  OPAMJOBS: "2"

cache:
  paths:
    - opam-cache

before_script:
  - export HOME=$(pwd)
  - echo CI_RUNNER_TAGS=${CI_RUNNER_TAGS}
  - export OPAM_VARIANT=$(if echo $CI_RUNNER_TAGS | grep -q no-sandbox; then echo "plain"; else echo "sandbox"; fi)
  - echo OPAM_VARIANT=${OPAM_VARIANT}
  - export OPAM_VERSION=2.0.6
  - export OPAM_ROOT_DIR=${HOME}/opam-root-${COMPILER}-${OPAM_VERSION}-${OPAM_VARIANT}
  - export OPAM_ROOT_CACHE=${HOME}/opam-cache/cache-${COMPILER}-${OPAM_VERSION}-${OPAM_VARIANT}.tgz
  - export EXTRA_OPAM="ocamlbuild" # some packages build extracted code this way
  - apt-get update -qy
  - apt-get install unzip libgtksourceview2.0-dev libgtksourceview-3.0-dev libncurses5-dev curl jq ruby bubblewrap time libgmp-dev coinor-csdp -y
  - test -e $OPAM_ROOT_CACHE || scripts/opam-coq-init
  - curl -L https://github.com/ocaml/opam/releases/download/${OPAM_VERSION}/opam-${OPAM_VERSION}-x86_64-linux >/usr/local/bin/opam
  - chmod +x /usr/local/bin/opam
  - set -o pipefail

.opam-lint:
  script:
    - scripts/opam-coq-list-pr-files | xargs scripts/opam-coq-lint

.opam-build:
  script: |
    PR=${CI_BUILD_REF_NAME##pr-};
    echo "Github PR number: $PR";
    SKIP=$(set +o pipefail; curl https://api.github.com/repos/coq/opam-coq-archive/issues/$PR | jq -rc .body | grep ^ci-skip: | cat );
    echo "SKIP packages per user request: $SKIP";
    scripts/opam-coq-list-pr-files | xargs scripts/opam-coq-install-remove $OPAM_ROOT_CACHE $SKIP --
  artifacts:
    name: "$CI_JOB_NAME"
    when: on_failure
    paths:
      - log/
    expire_in: 1 week


opam-lint:4.05.0:
  extends: .opam-lint
  variables:
    COMPILER: "4.05.0"

opam-lint:4.07.1:
  extends: .opam-lint
  variables:
    COMPILER: "4.07.1"

opam-lint:4.09.0:
  extends: .opam-lint
  variables:
    COMPILER: "4.09.0"


opam-build:4.05.0:
  extends: .opam-build
  variables:
    COMPILER: "4.05.0"
  except:
    - web

opam-build:4.07.1:
  extends: .opam-build
  variables:
    COMPILER: "4.07.1"
  except:
    - web

opam-build:4.09.0:
  extends: .opam-build
  variables:
    COMPILER: "4.09.0"
  except:
    - web

opam-build:any:
  extends: .opam-build
  variables:
    COMPILER: "4.09.0"
    EXTRA_OPAM_OPTION: "--unlock-base"
  except:
    - web


opam-build-no-timeout:4.05.0:
  extends: .opam-build
  variables:
    COMPILER: "4.05.0"
  only:
    - web
  tags:
    - no-timeout

opam-build-no-timeout:4.07.1:
  extends: .opam-build
  variables:
    COMPILER: "4.07.1"
  only:
    - web
  tags:
    - no-timeout

opam-build-no-timeout:4.09.0:
  extends: .opam-build
  variables:
    COMPILER: "4.09.0"
  only:
    - web
  tags:
    - no-timeout

opam-build:any:
  extends: .opam-build
  variables:
    COMPILER: "4.09.0"
    EXTRA_OPAM_OPTION: "--unlock-base"
  except:
    - web
  tags:
    - no-timeout


json-data:
  image: nixos/nix
  cache: {}
  before_script: []
  script:
    - nix-shell --run "dune exec archive2web released extra-dev > coq-packages.json"
  artifacts:
    name: "$CI_JOB_NAME"
    paths:
      - coq-packages.json
    expire_in: 1 year