ansible: Cleanup & tools for RoFI and DIVINE for pds_deb

ansible/roles/pds_deb/tasks/main.yml

@@ -4,15 +4,19 @@
     path: /var/obj
     mode: 01777
 
-- name: "Install CUPS"
+- name: "Shells & utils"
   apt:
     pkg:
-      - cups
-      - cups-bsd  # lpr
       - ldap-utils  # ldapsearch
       - zsh
       - fish
 
+- name: "Install CUPS"
+  apt:
+    pkg:
+      - cups
+      - cups-bsd  # lpr
+
 - name: "Set CUPS server"
   lineinfile:
     insertafter: EOF
@@ -86,12 +90,41 @@
   when: known_hosts_service.changed
 
 - name: "sudo for ParaDiSe roots"
-  user:
-    append: true
-    groups:
-      - sudo
-    name: '{{item}}'
-  loop:
-    - xstill
-    - xrockai
-    - xbarnat
+  lineinfile:
+    path: /etc/group
+    regexp: '^(sudo:.*:)[^:]*$'
+    line: '\1:xstill,xbarnat,xrockai'
+    backrefs: true
+
+- name: "Dev tools"
+  apt:
+    pkg:
+      - make
+      - bmake
+      - python3
+      - cmake
+      - ninja-build
+      - gcc
+      - g++
+      - git
+      - darcs
+      - subversion
+      - mercurial
+
+- name: "RoFI dependencies"
+  apt:
+    pkg:
+      - libarmadillo-dev
+      - libvtk7-dev
+      - libvtk7-qt-dev
+      - qtdeclarative5-dev
+      - libgazebo9-dev
+      - z3
+      - libz3-dev
+      - doxygen
+      - graphviz
+      - python3-sphinx
+      - python3-breathe
+      - python3-sphinx-rtd-theme
+      - python3-recommonmark
+      - gcc-arm-none-eabi