.gitlab-ci.yml 2.14 KB
Newer Older
erwan's avatar
erwan committed
1
2
3
4
5
6
7
8
stages:
  - reproduce
  - test
  - deploy 


before_script:
  - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
erwan's avatar
Fix CI    
erwan committed
9
  - sudo apt-get update
erwan's avatar
erwan committed
10
  - sudo apt-get install -y zathura graphviz time
erwan's avatar
erwan committed
11

12
13
14
# Specify the  packages version numbers  so that it  (hopefully) never
# breaks. Also use  the sasa4.0.3 branch created for  this purpose and
# avoid to break because of API changes (in Algo)
erwan's avatar
erwan committed
15
16
17
18
19
expe-sasa.4.0.3:
  image: ocaml/opam2:ubuntu
  stage: reproduce
  script:
    - opam depext -y ocamlgraph.1.8.8 camlidl.1.07 mlgmpidl.1.2.12 lutils.1.50.0 rdbg.1.188.4 lustre-v6.6.101.17 lutin.2.71.1 sasa.4.0.3
erwan's avatar
erwan committed
20
    - opam install -y ocamlgraph.1.8.8 camlidl.1.07 mlgmpidl.1.2.12 lutils.1.50.0 rdbg.1.188.4 lustre-v6.6.101.17 lutin.2.71.1 sasa.4.0.3
21
    - make bigexpe -j 10
22
23
  only:
    sasa.4.0.3
erwan's avatar
erwan committed
24
25
  artifacts:
    paths:
erwan's avatar
erwan committed
26
      - expe/results
erwan's avatar
erwan committed
27
28
29
30
31
32
33
34
35
36
37

# The same experiment using the lastest opam versions
expe-current:
  image: ocaml/opam2:ubuntu
  stage: test
  script:
    - opam depext -y sasa
    - opam install -y sasa
    - make 
  artifacts:
    paths:
erwan's avatar
erwan committed
38
      - expe/results
erwan's avatar
erwan committed
39
40
41
42
43
44
45

# Ditto using the verimag-sync-tools image where everything is already
# installed
expe-dockver:
  image: jahierwan/verimag-sync-tools
  stage: test
  before_script:
erwan's avatar
erwan committed
46
    - sudo apt-get install -y time
erwan's avatar
erwan committed
47
48
49
50
  script:
    - make 
  artifacts:
    paths:
erwan's avatar
erwan committed
51
      - expe/results
52

53
coloringecj:
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
  image: jahierwan/verimag-sync-tools
  stage: reproduce
  script:
    - cd coloring-campaign
    - git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git
    - cp coloring_campaign.ml sasa/tools/simca/
    - cp Makefile sasa/tools/simca/
    - cd sasa/tools/simca
    - make
    - make cmxs
    - make log -j 10
  artifacts:
    paths:
      - coloring-campaign/sasa/tools/simca/

    
erwan's avatar
erwan committed
70
71
72
73
74
75
76
pages:
  stage: deploy
  before_script:
    - apt-get update
    - apt-get install tree
  script:
    - mkdir .public
erwan's avatar
erwan committed
77
    - cp -rf expe/results .public/
erwan's avatar
erwan committed
78
    - cd .public
erwan's avatar
erwan committed
79
    - tree  -h -H '.' -L 2 --noreport --charset utf-8 --prune 
erwan's avatar
erwan committed
80
81
82
83
84
85
86
87
88
    - tree  -h -H '.' -L 2 --noreport --charset utf-8 --prune > index.html
    - cd ..
    - mv .public public
  artifacts:
    paths:
      - public