From 81f17c88307d0a8c0124af80b1ca8124210ae518 Mon Sep 17 00:00:00 2001
From: Vladimir Still <git@vstill.eu>
Date: Fri, 18 Feb 2022 21:17:55 +0100
Subject: [PATCH] ansible: Cleanup & tools for RoFI and DIVINE for pds_deb
---
ansible/roles/pds_deb/tasks/main.yml | 57 ++++++++++++++++++++++------
1 file changed, 45 insertions(+), 12 deletions(-)
diff --git a/ansible/roles/pds_deb/tasks/main.yml b/ansible/roles/pds_deb/tasks/main.yml
index 36ba46b..d318356 100644
--- a/ansible/roles/pds_deb/tasks/main.yml
+++ b/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
--
GitLab