.gitlab-ci.yml 683 Bytes
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
25
26
27
28
    - 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