.gitlab-ci.yml 450 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
image: ocaml/opam:ubuntu

variables:
  GIT_STRATEGY: clone

stages:
  - build
  - test
  
build_and_test:
  stage: build
  script:
    - sudo apt-get install -y libgmp-dev libmpfr-dev m4
    - opam install camlp4 ocamlfind
    - make
    - make install

test_opam_test:
  stage: test
  script:
    - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
    - opam update
    - opam install -y lutin