.gitlab-ci.yml


1
2
3
4
5
6
7
8
9
10
11
12
13

stages:
  - build_x86_64

build_x86_64:
  stage: build_x86_64
  image: "coqorg/coq"
  before_script:
    - opam switch 4.07.1+flambda
    - eval `opam config env`
    - opam install -y menhir
  script:
    - ./config_x86_64.sh
    - make -j "$NJOBS"