CI: run the bigexpe on every arch (to compare the results)

.gitlab-ci.yml

@@ -6,8 +6,7 @@ stages:
 
 before_script:
   - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
-  - sudo apt-get update
-  - sudo apt-get install -y zathura graphviz time
+  - sudo apt-get update && sudo apt-get install -y zathura graphviz time
 
 # Specify the  packages version numbers  so that it  (hopefully) never
 # breaks. Also use  the sasa4.0.3 branch created for  this purpose and
@@ -19,11 +18,12 @@ expe-sasa.4.0.3:
     - 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
     - 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
     - make bigexpe -j 10
-  only:
-    - sasa.4.0.3
+    - mv expe/results/ expe/results_expe-sasa.4.0.3
+#    only:
+#      - sasa.4.0.3
   artifacts:
     paths:
-      - expe/results
+      - expe/results_expe-sasa.4.0.3
 
 # The same experiment using the lastest opam versions
 expe-current:
@@ -32,10 +32,11 @@ expe-current:
   script:
     - opam depext -y sasa
     - opam install -y sasa
-    - make 
+    - make bigxpe -j 5
+    - mv expe/results/ expe/results_expe-current
   artifacts:
     paths:
-      - expe/results
+      - expe/results_expe-curren
 
 # Ditto using the verimag-reactive-toolbox image where everything is already
 # installed
@@ -45,10 +46,11 @@ expe-dockver:
   before_script:
     - sudo apt-get install -y time
   script:
-    - make 
+    - make bigexpe -j 5
+    - mv expe/results/ expe/results_expe-docker
   artifacts:
     paths:
-      - expe/results
+      - expe/results_expe-docker
 
 coloring:
   image: jahierwan/verimag-reactive-toolbox
@@ -75,8 +77,9 @@ pages:
   script:
     - mkdir .public
     - cp -rf expe/results .public/
+    - cp -rf coloring-campaign/sasa/tools/simca/ .public/
     - cd .public
-    - tree  -h -H '.' -L 2 --noreport --charset utf-8 --prune 
+    - tree -h -H '.' -L 2 --noreport --charset utf-8 --prune ; ls -R
     - tree  -h -H '.' -L 2 --noreport --charset utf-8 --prune > index.html
     - cd ..
     - mv .public public