.gitlab-ci.yml 1.07 KB
Newer Older
1
2
3
4
5
6
7
8
9
image: ocaml/opam:ubuntu

variables:
  GIT_STRATEGY: clone

stages:
  - build
  - test
  
erwan's avatar
erwan committed
10
build:
11
12
13
  stage: build
  script:
    - sudo apt-get install -y libgmp-dev libmpfr-dev m4
erwan's avatar
erwan committed
14
15
16
17
18
    - opam repo add opam-ocaml-org "https://opam.ocaml.org"
    - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
    - opam update
    - opam install -y camlp4 ocamlfind camlidl oasis mlgmpidl
    - opam install rdbg lustre-v6
19
20
21
22
23
24
    - make
    - make install

test_opam_test:
  stage: test
  script:
25
26
27
28
29
30
31
32
33
34
35
    - sudo apt-get install -y libgmp-dev libmpfr-dev m4
    - opam repo add opam-ocaml-org "https://opam.ocaml.org"
    - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
    - opam update
    - opam install -y lutin

xxx:
  stage: test
  script:
    - sudo apt-get install -y libgmp-dev libmpfr-dev m4
    - opam repo add opam-ocaml-org "https://opam.ocaml.org"
36
37
38
39
    - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
    - opam update
    - opam install -y lutin