Merge branch 'main' of...

Merge branch 'main' of ssh://git@gitlab.iri.upc.edu:2202/mobile_robotics/wolf_projects/wolf_installer.git into main

.gitlab-ci.yml

@@ -3,9 +3,14 @@ stages:          # List of stages for jobs, and their order of execution
   - test
 
 ############ YAML ANCHORS ############
+.script_gcc5_template: &script_gcc5_definition
+  - add-apt-repository ppa:ubuntu-toolchain-r/test
+  - apt-get update
+  - apt-get install gcc-snapshot
+  - apt-get install gcc-5 g++-5
+
 .script_install_template: &script_install_definition
   - apt-get update -y && apt-get install -y expect
-#  - ./auto_script_wolf
   - ./install_wolf.sh -a -f y -c y -d . -w .
 
 .script_test_template: &script_test_definition
@@ -30,6 +35,7 @@ installation-test-xenial:
   cache: []
   image: ubuntu:16.04
   script:
+    - *script_gcc5_definition
     - *script_install_definition
     - *script_test_definition