From 33361c1d51558417b7116c98c9e1bf90b2f3cd73 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Wed, 5 Oct 2022 13:18:27 +0000 Subject: [PATCH] winroom: remove ocaml Not needed. --- roles/winroom/tasks/PPJ-63220.yml | 4 +--- roles/winroom/tasks/ocaml.yml | 31 ------------------------------- 2 files changed, 1 insertion(+), 34 deletions(-) delete mode 100644 roles/winroom/tasks/ocaml.yml diff --git a/roles/winroom/tasks/PPJ-63220.yml b/roles/winroom/tasks/PPJ-63220.yml index 1e2ebf9..c490204 100644 --- a/roles/winroom/tasks/PPJ-63220.yml +++ b/roles/winroom/tasks/PPJ-63220.yml @@ -1,10 +1,8 @@ # Principi programskih jezikov # Klemen.Klanjscek@fri.uni-lj.si -# Windows, GNU/Linux, VS Code, Ocaml, Eclipse, Haskell, SWI-Prolog, rlwrap +# Windows, GNU/Linux, VS Code, Eclipse, Haskell, SWI-Prolog, rlwrap - include_tasks: vscode.yml -- include_tasks: ocaml.yml - include_tasks: Eclipse.yml - include_tasks: haskell.yml - include_tasks: swi-prolog.yml - diff --git a/roles/winroom/tasks/ocaml.yml b/roles/winroom/tasks/ocaml.yml deleted file mode 100644 index 0230f8b..0000000 --- a/roles/winroom/tasks/ocaml.yml +++ /dev/null @@ -1,31 +0,0 @@ -# TODO ugh -#- name: Install OCaml -# win_chocolatey: -# name: ocaml -#- name: Set Ocaml installer version -# set_fact: -# target_version: "1.0.1" -# -#- name: Check Ocaml install status -# win_stat: -# path: C:\Program Files (x86)\Thonny\thonny.exeasd -# register: file -# -#- when: not file.stat.exists -# block: -# # win_package fails to download for some reason -# - name: Download Ocaml -# win_get_url: -# url: https://github.com/diskuv/dkml-installer-ocaml/releases/download/v{{ target_version }}/setup-diskuv-ocaml-windows_x86_64-{{ target_version }}.exe -# dest: 'C:\' -# register: download -# -# - name: Install Ocaml -# win_package: -# path: "{{ download.dest }}" -# #arguments: /Verysilent /AllUsers -# -# - name: Remove temporary files -# win_file: -# path: "{{ download.dest }}" -# state: absent